38 Commits

Author	SHA1	Message	Date
Joe Bryan	b8028bc6f0	ska: correct spot hints in memo entries	2024-06-04 16:53:42 -04:00
Joe Bryan	604a71ab77	ska: adds TODO comment in hint processing	2024-06-04 16:53:28 -04:00
Joe Bryan	64a797d978	ska: refactor individual operations	2024-06-04 16:51:06 -04:00
Joe Bryan	53ed5755fb	ska: refactor analysis into a |_	2024-06-04 16:51:01 -04:00
Joe Bryan	e8b0114044	ska: minor cleanup	2024-05-31 15:36:16 -04:00
Joe Bryan	4f470b7c01	ska: remove old loop-memoization notes, add comments	2024-05-31 10:09:39 -04:00
Joe Bryan	f38471383f	wip: add separate compile-time verbosity flags for analysis	2024-05-31 10:02:43 -04:00
Joe Bryan	3db6d382ed	wip: properly resolve recursive call-site targets during finalization	2024-05-31 10:01:42 -04:00
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