Age | Commit message (Expand) | Author |
2014-05-17 | sub, div instructions complete | Jed Barber |
2014-05-17 | mul instruction complete | Jed Barber |
2014-05-17 | add instruction complete | Jed Barber |
2014-05-17 | del instruction complete | Jed Barber |
2014-05-16 | new instruction complete | Jed Barber |
2014-05-16 | set instruction complete | Jed Barber |
2014-05-15 | Placeholders and auxilliary functions | Jed Barber |
2014-05-15 | Finally down to starting the individual instruction functions | Jed Barber |
2014-05-14 | Function to calculate reachable nodes complete | Jed Barber |
2014-05-13 | Improved details of garbage collection function | Jed Barber |
2014-05-12 | Garbage collection function | Jed Barber |
2014-05-11 | Function to find all named nodes in a grasp program | Jed Barber |
2014-05-10 | Allowed parser to handle blank lines in amongst the rule listings | Jed Barber |
2014-05-09 | Updated readme for thue interpreter switches | Jed Barber |
2014-05-07 | Exposed rule application order and version 2a parsing at command line | Jed Barber |
2014-05-05 | Skeleton of interpreter added | Jed Barber |
2014-05-05 | Removed superfluous Unlambda.Parser import | Jed Barber |
2014-05-05 | Improved parser complete, untested | Jed Barber |
2014-05-04 | Improved parser almost complete, needs whitespace handling | Jed Barber |
2014-05-04 | Near completion of improved DOT language based grasp parser | Jed Barber |
2014-05-04 | Started writing more complete DOT language parser | Jed Barber |
2014-05-04 | Can now look up nodes in a graph that have a specific name | Jed Barber |
2014-05-04 | Will now detect if a node is declared twice or if an edge is left unconnected | Jed Barber |
2014-05-03 | Parser now parses nodes with arbitrary names (prev commit could just construc... | Jed Barber |
2014-05-03 | Parser now handles nodes with arbitrary names instead of just numbers | Jed Barber |
2014-05-02 | Separated GraspProgram type and associated functions into own module | Jed Barber |
2014-05-02 | Grasp program isomorphic comparison half done | Jed Barber |
2014-05-01 | Added initial tests for grasp parser | Jed Barber |
2014-04-30 | Name error check code complete | Jed Barber |
2014-04-30 | Further progress on checking for parse errors | Jed Barber |
2014-04-29 | Example grasp program: cat | Jed Barber |
2014-04-29 | Outline of code for parse-time errors written | Jed Barber |
2014-04-28 | Simplifying slightly with Either monad | Jed Barber |
2014-04-27 | Added variables to node data structure | Jed Barber |
2014-04-27 | Parser can now handle interspersed node and edge statements | Jed Barber |
2014-04-26 | Parser for Grasp begun, using a subset of the graphviz DOT language | Jed Barber |
2014-04-15 | Parser for Thue v2a finished | Jed Barber |
2014-04-14 | Now assumes version 1 unless specified otherwise | Jed Barber |
2014-04-14 | Everything done for v2a except the actual character parsing | Jed Barber |
2014-04-14 | Interpreter can now handle literal strings to avoid code injection | Jed Barber |
2014-04-13 | More preparations for thuestates that aren't mere strings | Jed Barber |
2014-04-12 | Changes to allow for thuestates that aren't mere strings | Jed Barber |
2014-04-11 | Readme added | Jed Barber |
2014-04-10 | Rearranging files | Jed Barber |
2014-04-09 | v function added, still not type perfect | Jed Barber |
2014-03-26 | Brainfuck interpreter frontend | Jed Barber |
2014-03-26 | The interpreter looks suspiciously like a turing machine | Jed Barber |
2014-03-26 | Fixed detection of unclosed brackets | Jed Barber |
2014-03-25 | Brainfuck parser, it really is simple to write | Jed Barber |
2014-03-24 | Interpreter tests for d | Jed Barber |