| Age | Commit message (Expand) | Author |
|---|
| 2017-08-15 | Adds 'eq' and 'iff' to the language. | Nathanael Sensfelder |
| 2017-08-13 | Adds more (rather simple) properties. | Nathanael Sensfelder |
| 2017-08-04 | For some reason, CNE_01700 no longer works.improved_makefiles | Nathanael Sensfelder |
| 2017-08-03 | First shot at spprinter's Makefile + README update | Nathanael Sensfelder |
| 2017-08-03 | Fixes issues in properties, Makefiles. | Nathanael Sensfelder |
| 2017-08-03 | Other than the pretty-printer, it seems done. | Nathanael Sensfelder |
| 2017-08-03 | The Makefile of instr-to-kodkod's parser is done. | Nathanael Sensfelder |
| 2017-08-03 | Improving clarity through better Makefiles. | Nathanael Sensfelder |
| 2017-08-03 | Finishes the sol_pretty_printer, 'xcept Makefile. | Nathanael Sensfelder |
| 2017-08-01 | Starting a pretty-printer for the solutions. | Nathanael Sensfelder |
| 2017-08-01 | St | Nathanael Sensfelder |
| 2017-08-01 | Adds more rules and prettyprint messages for them. | Nathanael Sensfelder |
| 2017-08-01 | Adds CNE_01800, as it's near identical to CNE_1700 | Nathanael Sensfelder |
| 2017-08-01 | Woops, I was testing against a FE signal. | Nathanael Sensfelder |
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder |
| 2017-08-01 | Fixes regex predicate + optimizes CNE_01700. | Nathanael Sensfelder |
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder |
| 2017-07-31 | Renames README to README.md. Woops. | Nathanael Sensfelder |
| 2017-07-31 | Adds README. | Nathanael Sensfelder |
| 2017-07-31 | First shot at the handling of regular expressions. | Nathanael Sensfelder |
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder |
| 2017-07-31 | Finer imports. | Nathanael Sensfelder |
| 2017-07-31 | Improves solution displaying. | Nathanael Sensfelder |
| 2017-07-31 | Tagged variables are now the only skolemized vars.skol_only_the_solution | Nathanael Sensfelder |
| 2017-07-28 | Removes repetitions, prepares for skol. of sol. | Nathanael Sensfelder |
| 2017-07-27 | Fixes multiple issues with depths. | Nathanael Sensfelder |
| 2017-07-27 | Replaces overly fragile method to get first node. | Nathanael Sensfelder |
| 2017-07-27 | First shot at depths operators. | Nathanael Sensfelder |
| 2017-07-26 | Adds license. | Nathanael Sensfelder |
| 2017-07-26 | (Woops) Adds anonymous strings support. | Nathanael Sensfelder |
| 2017-07-26 | New pr | Nathanael Sensfelder |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder |
| 2017-07-26 | Updates bce's AST to include functions. | Nathanael Sensfelder |
| 2017-07-25 | Gets the strings seemingly working. | Nathanael Sensfelder |
| 2017-07-25 | Removes instr-scripts. | Nathanael Sensfelder |
| 2017-07-25 | It seems to work. | Nathanael Sensfelder |
| 2017-07-25 | Fixes issues with "_". things seem to work now. | Nathanael Sensfelder |
| 2017-07-25 | Improves error reports for the property. | Nathanael Sensfelder |
| 2017-07-25 | Working on (structural + elements) read/writes. | Nathanael Sensfelder |
| 2017-07-24 | Lets users use projections in predicates. | Nathanael Sensfelder |
| 2017-07-24 | Centralizes the processing of (read) expressions. | Nathanael Sensfelder |
| 2017-07-24 | Working on function calls and literals predicates. | Nathanael Sensfelder |
| 2017-07-24 | Woops, mistook the model files. | Nathanael Sensfelder |
| 2017-07-24 | Fixes connect_to/node_connect, configs Makefiles. | Nathanael Sensfelder |
| 2017-07-22 | Adds the "is_terminal" predicate. | Nathanael Sensfelder |
| 2017-07-21 | Adds output support. | Nathanael Sensfelder |
| 2017-07-21 | Adds "port maps" support. | Nathanael Sensfelder |
| 2017-07-21 | Working on the components. Found error in scripts. | Nathanael Sensfelder |
| 2017-07-21 | Optimization pass. | Nathanael Sensfelder |
| 2017-07-21 | Completes When Node parsing. | Nathanael Sensfelder |
