253 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Philip Monk	336214cd9b	[ares] fix atom initialization bug	2023-02-02 20:58:11 -07:00
Edward Amsden	697180606b	Merge pull request #14 from urbit/eamsden/2stackz-fixes ... [ares][unifying equality] simplify, document, remove bugs and redundancies	2023-02-02 18:49:37 -06:00
Edward Amsden	3ee28adb93	[ares][unifying equality] add fast pointer and cached mug checks outside the loop	2023-02-02 18:47:53 -06:00
Edward Amsden	4ddcb1e07c	[ares][unifying equality] memcmp for indirect atoms requires bytesize	2023-02-02 18:30:34 -06:00
Philip Monk	ac6103da99	[ares] style fixes	2023-02-02 17:19:45 -07:00
Edward Amsden	4edd3a6fb3	Merge branch 'status' into philip/jets	2023-02-02 13:51:44 -06:00
Edward Amsden	06fe914c34	[ares] simplify unifying equality, remove redundant checks, and better document	2023-02-02 13:37:04 -06:00
Edward Amsden	e04329f2b6	[ares][2stackz] missing pop of work stack when pointer equality is discovered	2023-02-02 12:06:25 -06:00
Edward Amsden	9c09e81779	Merge pull request #13 from urbit/philip/prints ... Fixes and printing functions	2023-02-02 12:04:58 -06:00
Edward Amsden	4600b4b5b3	Merge branch 'status' into philip/prints	2023-02-02 11:55:37 -06:00
Philip Monk	23e33cfd11	add note to raw_slot	2023-02-02 10:54:31 -07:00
Edward Amsden	a5ff1d31e0	Merge pull request #11 from urbit/dev/ares-review ... Comments and bugfixes from Ares review	2023-02-02 11:42:03 -06:00
Philip Monk	69b4bbeeae	add naive jet dashboard with two jets	2023-02-01 21:36:37 -07:00
Philip Monk	b88190f119	rename axis->slot to reduce confusion	2023-02-01 21:35:30 -07:00
Philip Monk	d55db12c12	implement Debug trait for nouns	2023-02-01 21:35:07 -07:00
Philip Monk	999e1e29d7	east/west typo	2023-02-01 20:06:49 -07:00
Edward Amsden	b7fac596c3	[ares] get rid of warnings	2023-02-01 18:42:38 -06:00
Edward Amsden	140dcf4e28	[ares] rust formatting	2023-02-01 18:37:48 -06:00
Edward Amsden	4eb99cc2d4	[ares] Some cleanup	2023-02-01 18:36:43 -06:00
Edward Amsden	665a2f5672	[ares] Source code for cue-and-then-jam benchmark	2023-02-01 18:35:05 -06:00
Edward Amsden	fc048c8e8b	[ares] Update cargo.lock	2023-02-01 18:34:38 -06:00
Edward Amsden	a5f36ec6d3	[ares]: Cue-and-then-jam the solid pill works and is fast	2023-02-01 18:34:21 -06:00
Edward Amsden	903ffe694c	[ares] Add noun acyclicality check	2023-02-01 18:33:42 -06:00
Edward Amsden	dabafb685d	[ares/2stackz]: Add comment about split stack frames per Joe	2023-02-01 18:30:05 -06:00
Edward Amsden	d555967563	[ares]: import custom murmur3 and add feature flag for acyclic check	2023-02-01 18:28:47 -06:00
Edward Amsden	223b946199	[ares] comment explaining why unifying equality does not, in fact, infinite loop	2023-01-30 19:27:41 -06:00
Edward Amsden	9d97c2d29f	[ares] bugfixes in unifying equality	2023-01-30 19:27:02 -06:00
Edward Amsden	ea5e538d10	Merge pull request #10 from urbit/philip/dec ... add decrement test and make it pass	2023-01-27 15:55:04 -06:00
Philip Monk	6f5e87aa05	add decrement test and make it pass	2023-01-27 13:41:35 -07:00
Edward Amsden	9920fc15af	current state for inspection	2023-01-26 18:02:49 -06:00
Edward Amsden	1f8a80197a	Merge branch 'master' into doc/spec-ska-safety	2023-01-26 17:48:32 -06:00
Edward Amsden	47c28f65c4	codegen: compiles, doesn't run properly, is a tangled mess	2023-01-06 19:15:12 -06:00
Edward Amsden	3435439299	[wip] registerized interpreter	2022-12-15 22:48:46 -06:00
Edward Amsden	3c5d2519dd	linearization compiles	2022-12-02 12:31:34 -06:00
Edward Amsden	f1cfdeb8a7	[wip] linearization appears done, will make it compile tomorrow	2022-12-01 23:13:37 -06:00
Ted Blackman	638b761e93	it compiles now	2022-11-29 23:59:04 -06:00
Edward Amsden	2b18091c28	changes	2022-11-29 20:44:51 -06:00
Edward Amsden	e16aaa2004	ddcg: running destination-driven-cg/ska nock linearization now works	2022-10-03 17:51:01 -05:00
Edward Amsden	25958a8402	ska spec: interpreter for linearized nock	2022-09-19 20:53:49 -05:00
Edward Amsden	f4da14c8cd	ska spec: clean up old code generation stuff	2022-09-14 22:33:45 -05:00
Edward Amsden	6b8d1cb431	ska spec: code style	2022-09-14 22:33:21 -05:00
Edward Amsden	8a502b9d20	ska spec: remove old non-dd code generator	2022-09-14 22:27:11 -05:00
Edward Amsden	0b6c4f8a1d	ska spec: proper equality tests, proper crashing for 0	2022-09-14 22:05:21 -05:00
Edward Amsden	c42c28215d	ska spec: hast should use rsh not mas	2022-09-14 21:47:50 -05:00
Edward Amsden	4264b7fb40	ska spec: make degen.hoon less degenerate	2022-09-14 21:26:05 -05:00
Edward Amsden	0b741475a9	destination-driven codegen spec compiles	2022-09-14 18:51:52 -05:00
Edward Amsden	892a490fca	Merge pull request #6 from urbit/doc/persistent-memory-proposal ... Spec: persistent memory	2022-08-25 13:49:18 -04:00
Edward Amsden	05a4910370	Merge branch 'master' into doc/persistent-memory-proposal	2022-08-25 12:48:53 -05:00
Edward Amsden	390bd52919	persistence specification: import prose from bounty	2022-08-25 12:47:18 -05:00
Edward Amsden	132b732544	wip: hoon spec for code generation with ska characteristics	2022-08-25 12:39:28 -05:00