2685 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Paul Driver	3943f3fd95	some debugging convenience, proper handling of non-cons nock 5, fixed memo coded	2018-02-18 12:53:07 -08:00
Paul Driver	2a247cb859	some bugfixes, can compute memoizing fibonacci	2018-02-14 15:56:00 -08:00
Joshua Reagan	fde425fddf	Typo in 4k Nock spec ... Ted's correction somehow didn't make it in! Just to reiterate, however, on typo version of the spec, `#[2 b c]` reduces to b, which clearly isn't right. I noticed this, complained in urbit-meta, and Ted pointed me to the github discussion.	2018-02-14 13:57:56 -06:00
Paul Driver	f0d1ee8d4f	same-as-literal opcodes	2018-02-14 09:18:53 -08:00
Paul Driver	8adc247d48	slam and slat	2018-02-13 14:32:32 -08:00
Paul Driver	10413983ba	lit0 and lit1 bytecodes	2018-02-13 14:17:47 -08:00
Paul Driver	a8af4dbfb5	copy-reduced interpreter can run ackermann	2018-02-13 13:54:56 -08:00
Paul Driver	b116b22bc6	retain-bytecode refactor compiles	2018-02-12 15:19:11 -08:00
Paul Driver	3ea0b3c515	stash - finished writing interpreter branches for new retaining opcodes	2018-02-12 13:21:20 -08:00
Paul Driver	945371ae46	i have a new idea... stash	2018-02-07 10:26:06 -08:00
Paul Driver	2b7f5f23b3	in-progress adding general copy elimination	2018-02-06 11:50:14 -08:00
Paul Driver	c87954b4f8	optimized some copy/quot pairs	2018-02-05 17:04:41 -08:00
Paul Driver	a60d2844c1	exorcise c stack from _n_burn	2018-02-05 15:26:17 -08:00
Paul Driver	d50f36bd51	byte version of skip, optimized stack ops	2018-02-05 13:34:11 -08:00
Paul Driver	a8b4012f15	byte versions of frag/kick	2018-02-05 11:20:34 -08:00
Paul Driver	389261be10	try compiling away all fragment axes	2018-02-05 10:27:39 -08:00
Paul Driver	17a166fa83	bytecode interpreter can run nock decrement	2018-02-02 15:28:07 -08:00
Paul Driver	232d2cccf8	fixing compile errors and warnings	2018-02-01 09:21:10 -08:00
Paul Driver	9610d59874	cleanup, comments	2018-02-01 09:04:47 -08:00
Paul Driver	9a5bd10871	wish, some bugfixes, numbered the opcodes	2018-01-31 15:10:58 -08:00
Paul Driver	62dc052760	think-o in stack hints, clarify case 6 in compiler	2018-01-31 09:36:35 -08:00
Paul Driver	8038366b52	fix memo compilation, implement several hint opcodes	2018-01-31 09:24:56 -08:00
Paul Driver	9c7f855eee	kick and tick	2018-01-30 18:15:55 -08:00
Paul Driver	0e3180aea0	stash - writing it down	2018-01-30 16:27:04 -08:00
Ted Blackman	5c5374c1fd	Merge pull request #918 from urbit/helptext ... help text: added -N and removed -L	2018-01-29 12:06:21 -08:00
Ted Blackman	c1725e2cf2	Prevent Ames from sending and receiving remote packets if remote networking is disabled	2018-01-29 12:03:37 -08:00
Paul Driver	d214d00e89	slightly odd syntax on _song_atom	2018-01-29 10:52:47 -08:00
Ted Blackman	87e250e90f	help text: added -N and removed -L	2018-01-29 10:21:46 -08:00
Paul Driver	665e0899ad	revert unification redesign, memoize-by-pointer for large equality traverses	2018-01-29 10:16:20 -08:00
Paul Driver	70f6cd4df5	unification redesign -- initial recursive version	2018-01-26 11:49:56 -08:00
Paul Driver	674af1842d	whoops, left these unused macros in	2018-01-24 15:42:23 -08:00
Paul Driver	3be6b258b0	be more unified about unification (and fix a crash)	2018-01-24 15:27:21 -08:00
Paul Driver	ed41d43a94	use explicit stack in jam	2018-01-24 13:16:44 -08:00
Paul Driver	e7a7db6b84	check heads first in sing and friends	2018-01-24 13:14:56 -08:00
C. Guy Yarvin	cd5b3503b4	Fix typo pointed out by Ted.	2018-01-24 11:13:28 -08:00
C. Guy Yarvin	8ed991462b	Preliminary Nock 4 spec.	2018-01-23 18:56:59 -08:00
Paul Driver	714d7e7608	use explicit stack in unifying equals	2018-01-23 17:22:27 -08:00
Joseph Bryan	23d878f0b8	show prompt after ctrl-c	2018-01-15 22:29:36 -05:00
C. Guy Yarvin	44f22dd143	Remove unused code.	2018-01-15 18:24:11 -08:00
Ted Blackman	20c9485349	Merge pull request #909 from urbit/dns-arg ... added -H ames bootstrap domain	2017-12-14 13:07:14 -08:00
Ted Blackman	49a3bc4ffa	added -H ames bootstrap domain	2017-12-13 15:13:44 -08:00
Anton Dyudin	cc9d8e3ebf	Merge remote-tracking branch 'curt/retrofit-release'	2017-12-07 12:47:21 -08:00
C. Guy Yarvin	3e77ed0b8d	Preadapt for sm->mc and fs->sk rune changes.	2017-12-07 09:53:43 -08:00
C. Guy Yarvin	2b8c046b13	Cache ++blow.	2017-12-07 08:49:55 -08:00
Anton Dyudin	d829a27b4f	bumped version	2017-12-06 21:24:25 -08:00
C. Guy Yarvin	98c28965cf	Clean up %H.	2017-12-06 21:18:23 -08:00
C. Guy Yarvin	7cebac8144	Merge remote-tracking branch 'origin/retrofit' into retrofit-redefault	2017-12-06 16:38:40 -08:00
C. Guy Yarvin	cb46432b9b	Support ^% switch to ++aq instead of ++ap.	2017-12-06 16:33:49 -08:00
C. Guy Yarvin	62b20b56ee	Support long ~$ symbols.	2017-12-06 16:33:24 -08:00
cgyarvin	5abae22b6c	Merge pull request #905 from urbit/git-retro ... New pill URL format and search through old commits	2017-12-06 09:40:48 -08:00