History of
src
@master
git clone https://git.catseye.tc/Turmac/
-
Add --version command-line flag.
Chris Pressey
a month ago
-
Rename `Render` to `Renderer` for greater consistency.
Chris Pressey
a month ago
-
Finish supporting multiple halt states prefixed with `@`.
Chris Pressey
a month ago
-
Update the Python backend.
Chris Pressey
a month ago
-
Largely implement nameable halt states
Chris Pressey
a month ago
-
Partially implement nameable halt states
Chris Pressey
a month ago
-
Add check-deterministic subcommand.
Chris Pressey
a month ago
-
Completeness includes handling the blank symbol in every rule.
Chris Pressey
a month ago
-
Checkpoint improving validation (complete, deterministic.)
Chris Pressey
a month ago
-
Fix gap in completeness checking re transition destination states
Chris Pressey
a month ago
-
Remove unused import.
Chris Pressey
a month ago
-
Completely refactor command-line usage.
Chris Pressey
a month ago
-
Use type to ensure TM description is complete before normalizing.
Chris Pressey
a month ago
-
Put intercalate in Language.Turmac.Utils, and update README.
Chris Pressey
a month ago
-
Have trace produce output in defined execution trace format.
Chris Pressey
a month ago
-
Add headers when outputting execution traces.
Chris Pressey
a month ago
-
Generated Python outputs final configuration in defined format.
Chris Pressey
a month ago
-
Bring Python backend closer to what will be needed.
Chris Pressey
a month ago
-
Begin defining and outputting a format for configurations as well.
Chris Pressey
a month ago
-
Remove Kondey backend.
Chris Pressey
a month ago
-
Allow to run under Hugs. Multiplexed Falderal 0.14 tests.
Chris Pressey
2 months ago
-
Disable still-WIP Kondey compiler for checkpoint release of 0.2.
Chris Pressey
1 year, 6 months ago
-
Provide non-stub implementations of countStates and countSymbols.
Chris Pressey
1 year, 6 months ago
-
Attempt to reform many things in the Kondey backend.
Chris Pressey
1 year, 6 months ago
-
Update the Kondey compiler to match the more worked out simulation.
Chris Pressey
1 year, 6 months ago
-
Tidy up the loose ends.
Chris Pressey
1 year, 6 months ago
-
Add --normalize as a flag.
Chris Pressey
1 year, 6 months ago
-
In Kondey backend, scale up stateIds and symbols to odd integers.
Chris Pressey
1 year, 6 months ago
-
Fix `gentape` facility.
Chris Pressey
1 year, 6 months ago
-
Checkpoint fixing gentape subcommand.
Chris Pressey
1 year, 6 months ago