Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
2019-03-28
| ||
04:01 | Halt if an EOF is encountered when reading input. There may be a less clumsy way to handle this. Leaf check-in: 73161b66aa user: Zipheir tags: trunk | |
2019-03-27
| ||
17:57 | Add very basic order list and META2 for a FORTH-like language. check-in: 909d2de60a user: Zipheir tags: trunk | |
01:36 | Rename stack1 register, add *flag-register* and LDF check-in: 7d1cb67e78 user: Zipheir tags: trunk | |
2019-03-26
| ||
02:42 | valgol2-vm: More work check-in: 816af4be9e user: Zipheir tags: trunk | |
2019-03-25
| ||
21:27 | Initial steps of rewrite of VALGOL-II vm check-in: cb91e436b2 user: Zipheir tags: trunk | |
2019-03-19
| ||
19:49 | valgol1-vm: Supply hash function to shut up warnings check-in: b78655f58a user: Zipheir tags: trunk | |
19:47 | valgol1-assembler: Fix imported macro name check-in: 02a5aa6d4a user: Zipheir tags: trunk | |
19:33 | Delete valgol2 interpreter pending rewrite check-in: 8fba3a517d user: Zipheir tags: trunk | |
2019-02-28
| ||
20:41 | valgol2-vm: More work. Add valgol2-vm to Makefile and add some more parsers to parse.monad check-in: 2cfe36462a user: Zipheir tags: trunk | |
18:55 | Backout ee3a5e4. Switching to texts will need some additional support and just complicates things for the time being. check-in: 04f752d79f user: Zipheir tags: trunk | |
2019-02-26
| ||
08:16 | Update parsers check-in: ee3a5e4905 user: Zipheir tags: trunk | |
2019-02-24
| ||
23:05 | valgol2-vm: Parser basics. TODO: Add additional primitives to the parsers library. check-in: bf61884cd6 user: Zipheir tags: trunk | |
22:36 | Tidy up valgol-2 compiler check-in: 6f6a733745 user: Zipheir tags: trunk | |
2019-02-23
| ||
20:53 | valgol2-vm: Very basic test driver check-in: f7797e2cb4 user: Zipheir tags: trunk | |
20:52 | valgol2-vm: Additional debug stuff and set last-address check-in: 2fcf263cb7 user: Zipheir tags: trunk | |
20:30 | valgol2-vm: Advance PC after normal instructions check-in: 6dd856cb01 user: Zipheir tags: trunk | |
20:10 | valgol2-vm: Basic main execution loop check-in: a8b299c9c5 user: Zipheir tags: trunk | |
2019-02-22
| ||
19:58 | valgol2-vm: More opcodes check-in: 44e843a0fa user: Zipheir tags: trunk | |
08:03 | Makefile: Remove GNU-specific inference rule syntax. check-in: 8053973ad8 user: Zipheir tags: trunk | |
2019-02-21
| ||
21:18 | VALGOL-2 VM/interpreter, initial commit. Taking a shortcut, this VM simply interprets un-assembled code. If performance becomes a problem, I'll redo it with bytecode. check-in: 73ece89399 user: Zipheir tags: trunk | |
2019-02-19
| ||
08:24 | Provide a hash function or use the default test when making tables. This shuts up the "user test without user hash" warnings. check-in: c8755e56be user: Zipheir tags: trunk | |
08:07 | Edit Makefile and rename parsers one last time check-in: 37b14d2e2f user: Zipheir tags: trunk | |
07:41 | R7RS compat: Use import syntax, bytevectors check-in: 73d7043691 user: Zipheir tags: trunk | |
06:49 | Update monad-parse (now split in two) check-in: 0bed752c94 user: Zipheir tags: trunk | |
2019-02-17
| ||
22:53 | Minor VALGOL-1 instruction doc improvements check-in: 948abec01c user: Zipheir tags: trunk | |
07:13 | valgol1-vm: Fix typo in store-byte! check-in: 878324d3b6 user: Zipheir tags: trunk | |
06:27 | valgol1-vm: Suppress halt message unless we're debugging check-in: 5e3ad106b8 user: Zipheir tags: trunk | |
06:24 | valgol1-vm: PNT: emit a newline and flush the port check-in: 6249e63a6c user: Zipheir tags: trunk | |
06:21 | valgol1-vm: Use correct code for HLT/END check-in: 2abcd3f619 user: Zipheir tags: trunk | |
06:20 | valgol1-vm: Simplify vm-halt-with-error. Opcode name printing is now reserved for debug messages. check-in: fd47ee1926 user: Zipheir tags: trunk | |
06:15 | valgol1-vm: Add missing int->char conversion check-in: 6b8c71699c user: Zipheir tags: trunk | |
06:14 | valgol1-vm: Fix missing paren, careless errors in error calls check-in: c95ce03cff user: Zipheir tags: trunk | |
06:11 | valgol1-vm: Implement vm-halt-with-error check-in: 59f4ea2fbf user: Zipheir tags: trunk | |
06:07 | valgol1-vm: Implement get-string check-in: cafbdabf3f user: Zipheir tags: trunk | |
06:06 | valgol1-vm: Implement stack operations check-in: c795abb196 user: Zipheir tags: trunk | |
2019-02-16
| ||
21:52 | valgol1-vm: Get rid of advance-over-word! check-in: d890e3021f user: Zipheir tags: trunk | |
21:51 | valgol1-vm: Add missing PC advances check-in: 9da6f25bec user: Zipheir tags: trunk | |
21:43 | valgol1-vm: Advance the PC before reading an address check-in: f7772cba4b user: Zipheir tags: trunk | |
21:39 | valgol1-vm: Rename variable and fix typo check-in: 87e7f6a6b4 user: Zipheir tags: trunk | |
21:30 | valgol-1-asm: *Fully* commit to 8-bit unsigned numbers for now check-in: f1e1911b61 user: Zipheir tags: trunk | |
19:57 | valgol-1 compiler: Dike out obscure instructions check-in: 799143dbed user: Zipheir tags: trunk | |
19:53 | Add VALGOL 1 instruction listing check-in: bb4b92ebac user: Zipheir tags: trunk | |
19:24 | valgol1-asm: Fix yet another instruction symbol typo check-in: c03d1ad72f user: Zipheir tags: trunk | |
19:24 | valgol1-asm: Fix rigid parse-string definition check-in: e442ad9e41 user: Zipheir tags: trunk | |
2019-02-15
| ||
21:58 | valgol1-asm: Fix indentation check-in: 48bcc9f1bf user: Zipheir tags: trunk | |
21:53 | valgol1-asm: Basic CLI check-in: 24f0d1a839 user: Zipheir tags: trunk | |
20:29 | valgol1-asm: Commit to 8-bit unsigned int numbers for now. This matches the storage allocated (max one word) by the VALGOL-1 compiler given in Schorre's paper. FIXME: Handle floats and figure out whether this is really enough. check-in: cfb88b42fd user: Zipheir tags: trunk | |
19:59 | valgol1-asm: Implement BLK check-in: 5c8acc6e3f user: Zipheir tags: trunk | |
04:25 | valgol1-asm: Return a value from parsing a line even if there was unconsumed input. check-in: d21bfd5833 user: Zipheir tags: trunk | |
04:15 | valgol1-asm: Null terminate strings on write! check-in: 5c449d4dc4 user: Zipheir tags: trunk | |