| Age | Commit message (Expand) | Author |
|---|
| 2017-09-27 | Limits the creation of atom-relations to "String". | Nathanael Sensfelder |
| 2017-09-25 | Fixes dependency rule issues. | Nathanael Sensfelder |
| 2017-09-25 | Updates Tests, fixes 2 properties & inferred/*.mod | Nathanael Sensfelder |
| 2017-09-21 | Got some property dependencies to work. | Nathanael Sensfelder |
| 2017-09-20 | Solves the missing solutions bug. Starts PropDeps. | Nathanael Sensfelder |
| 2017-09-19 | Strings are all in lowercase. | Nathanael Sensfelder |
| 2017-09-19 | Fixes anonymous strings, adds CNE_01100 test. | Nathanael Sensfelder |
| 2017-09-19 | Removes the extra set of " that messed with regex. | Nathanael Sensfelder |
| 2017-09-18 | Merge branch 'instance-calculator' | Nathanael Sensfelder |
| 2017-09-04 | Fixes jar not downloading. | Nathanael Sensfelder |
| 2017-08-30 | Reduces the scalability issue. | Nathanael Sensfelder |
| 2017-08-30 | Gets stuck due to scaling issues. | Nathanael Sensfelder |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder |
| 2017-08-16 | Fixes Makefiles so they can run parallel jobs. | Nathanael Sensfelder |
| 2017-08-15 | Partial attr. support, build/run targets, literals | Nathanael Sensfelder |
| 2017-08-15 | Adds support for comments in properties. | Nathanael Sensfelder |
| 2017-08-15 | Adds 'eq' and 'iff' to the language. | Nathanael Sensfelder |
| 2017-08-04 | For some reason, CNE_01700 no longer works.improved_makefiles | 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-01 | Starting a pretty-printer for the solutions. | 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 | 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 | First shot at depths operators. | Nathanael Sensfelder |
| 2017-07-26 | (Woops) Adds anonymous strings support. | Nathanael Sensfelder |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder |
| 2017-07-25 | Gets the strings seemingly working. | 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-24 | Lets users use projections in predicates. | Nathanael Sensfelder |
| 2017-07-24 | Fixes connect_to/node_connect, configs Makefiles. | Nathanael Sensfelder |
| 2017-07-20 | Removes TODO from the grammar. | Nathanael Sensfelder |
| 2017-07-19 | Formula.and(Formula...) != a.and(Formula...) | Nathanael Sensfelder |
| 2017-07-19 | This one seem to work -> bad CTL? | Nathanael Sensfelder |
| 2017-07-19 | forgot to use cfg-to-path. Still broken though. | Nathanael Sensfelder |
| 2017-07-19 | The formula seems correct, which is worrisome. | Nathanael Sensfelder |
| 2017-07-19 | Signals being used instead of wfm + rec targets | Nathanael Sensfelder |
| 2017-07-19 | No longer add function and literals as waveforms. | Nathanael Sensfelder |
| 2017-07-19 | More small mistakes removed. It seems to work now. | Nathanael Sensfelder |
