Commit Graph

142 Commits

Author SHA1 Message Date
Joe Bryan
fd20e17a62 ska: adds +melo-punt, turning all "meloization" sites indirect 2024-06-07 14:56:12 -04:00
Joe Bryan
8805494906 ska: adds arm comments and TODOs 2024-06-04 17:07:26 -04:00
Joe Bryan
f3f99c035d ska: refactors finalization, reorders debug output 2024-06-04 16:53:51 -04:00
Joe Bryan
aee515577a ska: simplify spot-at-site mgmt 2024-06-04 16:53:51 -04:00
Joe Bryan
53e8f7d9f4 ska: factors out [dad] for stack management 2024-06-04 16:53:47 -04:00
Joe Bryan
c18b44e25d ska: removes unused cape 2024-06-04 16:53:47 -04:00
Joe Bryan
af55f1b356 ska: hints for profiling 2024-06-04 16:53:47 -04:00
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
Alex Shelkovnykov
0c6b56949f meta: reorganize test resources in repo 2023-11-28 12:00:03 -03:00
Alex Shelkovnykov
764a565aa8 Add +xeb and +flop to hot state and test pill 2023-10-24 10:16:47 -06:00
Alex Shelkovnykov
e284b0e97b Address PR review 2023-10-17 13:52:03 -06:00
Alex Shelkovnykov
d9bd4d7716 clean up toddler pill 2023-10-04 13:38:16 -06:00
Alex Shelkovnykov
ae674c1372 Add SIGINT handler 2023-09-25 00:08:51 -06:00
Alex Shelkovnykov
e5e0fad569 slog %crud events in toddler 2023-09-19 18:36:46 -06:00
Alex Shelkovnykov
841301a251 hoon, jets: add +slow for %ud 2023-09-15 12:43:59 -06:00
Alex Shelkovnykov
1944c0294e WIP 09/13 2023-09-13 22:30:59 -06:00
Alex Shelkovnykov
67abda479e WIP 09/12 2023-09-12 22:20:15 -06:00
Alex Shelkovnykov
96a8915cc3 WIP - 09/09 2023-09-10 09:51:25 -06:00
Alex Shelkovnykov
8816d470c9 test: replace print with call to Ackermann function 2023-09-05 23:18:05 -06:00
Alex Shelkovnykov
0438bbea88 hoon: add +mack 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
17a2b914c0 hoon: add +mock 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
70da990300 hoon: add +mook 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
7b3bb4e05a hoon: add +scag 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
f185d34313 hoon: add +scow 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
e5d08bb7e0 hoon: add +smyt 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
d505538f8c hoon: add +soft 2023-09-05 23:03:13 -06:00
Alex Shelkovnykov
ee73df3022 hoon: add +trip 2023-09-05 23:03:10 -06:00
Alex Shelkovnykov
fc13acdd6e hoon: add partial +co 2023-09-05 23:02:48 -06:00
Alex Shelkovnykov
220595d384 hoon: add +ob 2023-09-05 23:02:46 -06:00
Alex Shelkovnykov
409b98ab5d hoon: add +po 2023-09-05 23:01:23 -06:00
Alex Shelkovnykov
2cd8a87763 hoon: add +ne 2023-09-05 23:01:21 -06:00
Alex Shelkovnykov
b18aa95de9 hoon: add +pow 2023-09-05 23:00:20 -06:00
Alex Shelkovnykov
a242f9d34d hoon: add +fa 2023-09-05 23:00:16 -06:00
Alex Shelkovnykov
f4f1d59e59 hoon: add +shay 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
da6d1547a9 hoon: add +fil 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
ff2650cf3a hoon: add +roll 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
304f399595 hoon: add +fe 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
b6b69b3334 hoon: add +mole 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
b5532abe92 hoon: add +mure 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
475143b4d4 hoon: add +mink 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
c6d5a2656d hoon: add +turn 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
2833fe1878 hoon: add +weld 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
b85f5f5c97 hoon: add +homo 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
85d9c03407 hoon: add +crip 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
9871b05851 hoon: add types used by virtualization 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
33d781beb9 hoon: remove sham hints for missing jets 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
49935059b7 hoon: add +rev 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
6019240d01 hoon, jets: add +rap 2023-09-05 22:47:29 -06:00
Alex Shelkovnykov
a90b23d263 hoon, jets: add +mas 2023-09-04 15:27:28 -06:00
Alex Shelkovnykov
5a2e4eec57 hoon, jets: add +cap 2023-09-04 15:27:14 -06:00
Alex Shelkovnykov
866f3dae3d test: add new scaffolding for advanced pills 2023-09-01 17:59:42 -06:00
Alex Shelkovnykov
6bfd63e8e5 test: add comments to test scaffolding files 2023-09-01 16:11:30 -06: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
Philip Monk
ff603d01f6 [ares] add pill to run azimuth events
Also includes various functions changes to allow printing nouns in gdb,
printing direct atoms as ascii when possible, etc.
2023-02-17 18:51:51 -07:00
Philip Monk
a527ba7aaa [ares] add lib/tiny to scaffolding 2023-02-14 13:08:19 -07:00
Philip Monk
51b4735711 [ares] fill out basic lifecycle
With these changes, you can boot the included "baby" pill -- a trivial
pill which requires no jets and prints the text "effect" on every event.
2023-02-11 17:28:14 -07:00
Edward Amsden
9920fc15af current state for inspection 2023-01-26 18:02:49 -06:00