Commit History
@master
git clone https://git.catseye.tc/UampirNexol/
-
Split up this module.
Chris Pressey
1 year, 30 days ago
-
Semantics of call routine.
Chris Pressey
1 year, 1 month ago
-
This is far from pretty
Chris Pressey
1 year, 1 month ago
-
Going to need to make the evaluator work on general values.
Chris Pressey
1 year, 1 month ago
-
Add failing tests for evaluator.
Chris Pressey
1 year, 1 month ago
-
Split up documentation, and attempt to add some notes.
Chris Pressey
1 year, 1 month ago
-
Develop serialize, though this is probably not what we want
Chris Pressey
1 year, 1 month ago
-
Implement --output-prg. Slightly awkward, but it will do for now
Chris Pressey
1 year, 1 month ago
-
First, rudimentary version of serialize function. Needs work.
Chris Pressey
1 year, 1 month ago
-
Add --output-prg command-line option, not yet implemented.
Chris Pressey
1 year, 1 month ago
-
Fix expectation in test (branch +3 was not actually far enough.)
Chris Pressey
1 year, 1 month ago
-
Fix offset in forward branch resolution.
Chris Pressey
1 year, 1 month ago
-
Use backpatching system to generate conditional (not correct yet).
Chris Pressey
1 year, 1 month ago
-
genSym.
Chris Pressey
1 year, 1 month ago
-
Use backpatching system to generate code for `repeat` loops.
Chris Pressey
1 year, 1 month ago
-
First cut at a label backpatching system in the monad.
Chris Pressey
1 year, 1 month ago
-
CodeGen gen's code, not ints.
Chris Pressey
1 year, 1 month ago
-
Merge Linker and CodeGen modules.
Chris Pressey
1 year, 1 month ago
-
Clean up Extractor.
Chris Pressey
1 year, 1 month ago
-
Hey, it mostly works, how about that.
Chris Pressey
1 year, 1 month ago
-
Keep on' checkpointin'.
Chris Pressey
1 year, 1 month ago
-
Continue to checkpoint conversion to monadic
Chris Pressey
1 year, 1 month ago
-
Checkpoint turning the code extractor into a monadic function.
Chris Pressey
1 year, 1 month ago
-
Sketch how we might lift routines to a map for extraction. Might
Chris Pressey
1 year, 1 month ago
-
Establish Linker module.
Chris Pressey
1 year, 1 month ago
-
Parsing and testing of `routine` and `call`.
Chris Pressey
1 year, 1 month ago
-
Checkpoint adding routines and a call operation.
Chris Pressey
1 year, 1 month ago
-
Add a logo for UampirNexol.
Chris Pressey
1 year, 1 month ago
-
Type STA so that the location is part of its output type.
Chris Pressey
1 year, 1 month ago
-
No need to suppress typechecking on extraction tests currently.
Chris Pressey
1 year, 1 month ago