Tree @master (Download .tar.gz)
History of
src
@master
git clone https://git.catseye.tc/Turmac/
- Place it all in the public domain. Chris Pressey a day ago
- Add normalization logic. Chris Pressey a day ago
- Document flags. Add a Turmac example TM that copies a string. Chris Pressey a day ago
- Round-trip (compile to Turmac); 3 more tests for format syntax. Chris Pressey a day ago
- The blank symbol is represented by `_`, no longer by `0`. Chris Pressey a day ago
- State IDs are strings. The start state is called 'S0'. Chris Pressey a day ago
- 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
- 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
- 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
- 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