History of src / Language @0.1 git clone https://git.catseye.tc/Turmac/

• Place it all in the public domain. Chris Pressey 2 months ago
• Add normalization logic. Chris Pressey 2 months ago
• Round-trip (compile to Turmac); 3 more tests for format syntax. Chris Pressey 2 months ago
• The blank symbol is represented by `_`, no longer by `0`. Chris Pressey 2 months ago
• State IDs are strings. The start state is called 'S0'. Chris Pressey 2 months ago
• Replace `parse` subcommand with an `ir-dump` compiler backend. Chris Pressey 2 months ago
• Add Language.Turmac.Simulator module, deprecating IRInterpreter. Chris Pressey 2 months ago
• Push buildProgram further down. Chris Pressey 2 months ago
• Split IR from TM model some more. Chris Pressey 2 months ago
• Begin to split up concerns: IR is not needed for most things. Chris Pressey 2 months ago
• Update Python backend. Chris Pressey 2 months ago
• Switch to using string-valued state IDs and symbols. Chris Pressey 2 months ago
• Repair the implementation of get_tape_contents(). Chris Pressey 3 months ago
• Add feature to compile Turmac to TM implementation in Python. Chris Pressey 3 months ago
• Clean up Interpreter module, it doesn't actually use state monad. Chris Pressey 3 months ago
• Strip zeroes from tape edges. Improve output in simulate. Chris Pressey 3 months ago
• Unmangle some things. Need to fix tape trimming, sequential exec. Chris Pressey 3 months ago
• `turmac simulate` will display a trace of the TM execution. Chris Pressey 3 months ago
• More progress in understanding what this is doing under the hood. Chris Pressey 3 months ago
• Fix bugs in tape generation and halt state compilation. Chris Pressey 3 months ago
• GenTape module, and sequentially execute multiple TMs. Untested. Chris Pressey 3 months ago
• Implement Turing machine interpreter (simulator). Untested. Chris Pressey 3 months ago
• Split into more modules. Chris Pressey 3 months ago
• Split into modules, add some tests, basically develop the stuff. Chris Pressey 3 months ago