Commit History
@master
git clone https://git.catseye.tc/Turmac/
-
Replace `parse` subcommand with an `ir-dump` compiler backend.
Chris Pressey
2 days ago
-
Add Language.Turmac.Simulator module, deprecating IRInterpreter.
Chris Pressey
2 days ago
-
Push buildProgram further down.
Chris Pressey
3 days ago
-
Tiny step of pushing buildProgram out of parse
Chris Pressey
3 days ago
-
Split IR from TM model some more.
Chris Pressey
3 days ago
-
Begin to split up concerns: IR is not needed for most things.
Chris Pressey
3 days ago
-
Remove bogus example. Need to rewrite using string-valued states.
Chris Pressey
3 days ago
-
Update Python backend.
Chris Pressey
3 days ago
-
Switch to using string-valued state IDs and symbols.
Chris Pressey
3 days ago
-
Add --backend flag.
Chris Pressey
11 days ago
-
Repair the implementation of get_tape_contents().
Chris Pressey
12 days ago
-
One of the things in get_tape_contents() is not quite right
Chris Pressey
12 days ago
-
Add feature to compile Turmac to TM implementation in Python.
Chris Pressey
12 days ago
-
Clean up Interpreter module, it doesn't actually use state monad.
Chris Pressey
12 days ago
-
Add test case for setting an initial tape.
Chris Pressey
12 days ago
-
Take flag for initial tape for now, sort of a cop-out, but simpler.
Chris Pressey
12 days ago
-
--trace is a flag.
Chris Pressey
12 days ago
-
Sequential execution and simulation.
Chris Pressey
13 days ago
-
Strip zeroes from tape edges. Improve output in simulate.
Chris Pressey
13 days ago
-
Unmangle some things. Need to fix tape trimming, sequential exec.
Chris Pressey
13 days ago
-
`turmac simulate` will display a trace of the TM execution.
Chris Pressey
13 days ago
-
More progress in understanding what this is doing under the hood.
Chris Pressey
13 days ago
-
Parse command-line options, notably --check-complete.
Chris Pressey
13 days ago
-
Fix bugs in tape generation and halt state compilation.
Chris Pressey
13 days ago
-
Improve tests, disable completeness-checking for now.
Chris Pressey
13 days ago
-
GenTape module, and sequentially execute multiple TMs. Untested.
Chris Pressey
13 days ago
-
Implement Turing machine interpreter (simulator). Untested.
Chris Pressey
13 days ago
-
Split into more modules.
Chris Pressey
13 days ago
-
Split into modules, add some tests, basically develop the stuff.
Chris Pressey
13 days ago
-
Update checkpointed implementation to read the established format.
Chris Pressey
13 days ago