30 Commits

Author	SHA1	Message	Date
Joe Bryan	e80f557a53	wip: less verbose	2024-05-30 16:10:19 -04:00
Joe Bryan	42ba994464	wip: line: prevent infinite loop in phi-elimination	2024-05-30 16:09:34 -04:00
Joe Bryan	aaf4bb41de	wip: phi-elimination no longer memes (?), but very slow	2024-05-29 23:47:26 -04:00
Joe Bryan	35f82ab9b2	wip: linearizer slogs	2024-05-29 23:47:10 -04:00
Joe Bryan	2e7072782a	wip: take2: faster	2024-05-29 23:45:59 -04:00
Joe Bryan	93182641e2	wip: take2: meme's	2024-05-29 23:44:47 -04:00
Joe Bryan	26f4c12d12	wip: fewer callsites, better logging	2024-05-26 22:50:16 -04:00
Joe Bryan	be7a28e9e2	wip: slow	2024-05-21 23:06:22 -04:00
Joe Bryan	8e16c3ec46	wip: broken	2024-05-21 23:06:13 -04:00
Edward Amsden	c2264c340a	ska: additional notes+drafting for loop memoization	2024-05-21 23:06:13 -04:00
Edward Amsden	f62b176b83	wip: draft/notes for loop memoization	2024-05-21 23:06:07 -04:00
Joe Bryan	473d04e92f	print callsite -> call spots where possible[	2024-05-06 13:26:49 -04:00
Joe Bryan	9abde9cf9b	further tweaks spot printing	2024-05-03 09:45:38 -04:00
Joe Bryan	50446371c8	adds TODO comment from meeting	2024-05-02 23:05:26 -04:00
Joe Bryan	0ea423efff	tweaks spot/path printing code in ska	2024-05-02 23:05:01 -04:00
Joe Bryan	b07a04600e	adds spot-hint printing and minor fixes	2024-05-02 18:51:29 -04:00
Edward Amsden	d62f9b69cb	codegen: memoization and memory trimming finalization	2024-05-01 16:12:23 -05:00
Edward Amsden	1b4222aa95	codegen: debugging memory usage	2024-04-22 22:50:48 -05:00
Edward Amsden	3c23e19d2b	codegen: successfully analyze lifecycle function with slim pill boot-ova as subject	2024-04-21 19:52:47 -05:00
Edward Amsden	51751a23a6	codegen: fix docs for huge:so	2024-04-21 16:48:45 -05:00
Edward Amsden	0fe22026f9	codegen: use ford to build again, but with traps!	2024-04-21 09:49:24 -05:00
Edward Amsden	c1e2a5e770	codegen: boot baby pill with provenance-based SKA	2024-04-21 07:16:57 -05:00
Edward Amsden	57234e411b	codegen: baby pill boots	2024-04-17 16:03:09 -05:00
Edward Amsden	6e40a1ebee	codegen: progress re-implementing rust interpreter	2024-04-10 20:49:54 -05:00
Edward Amsden	19eba2b4bd	codegen: restage	2024-04-09 18:07:00 -05:00
Edward Amsden	4ab191732e	[ska] [initialization] semantic corrections for +wove, comment correction for +arid	2023-03-14 21:37:17 -05:00
Edward Amsden	9eeeedbb33	[ares][initialization] fix infinite loop in +wove	2023-03-14 20:06:05 -05:00
Edward Amsden	6615cd30e1	[ska] make ska spec work properly	2023-03-13 12:12:51 -05:00
Edward Amsden	f86ba2fb31	[ska] prototypes for initialization	2023-03-08 15:43:26 -06:00
Edward Amsden	9920fc15af	current state for inspection	2023-01-26 18:02:49 -06:00