| Age | Commit message (Expand) | Author |
|---|
| 2017-09-05 | Enables verbose mode.instance-calculator | Nathanael Sensfelder |
| 2017-09-04 | Merge commit '474f870' into instance-calculator | Nathanael Sensfelder |
| 2017-09-04 | Fixes jar not downloading. | Nathanael Sensfelder |
| 2017-09-02 | Finer imports. | Nathanael Sensfelder |
| 2017-09-01 | Adds test cases for the issue. | Nathanael Sensfelder |
| 2017-08-30 | Forgot to increase instances_count. | Nathanael Sensfelder |
| 2017-08-30 | Reduces the scalability issue. | Nathanael Sensfelder |
| 2017-08-30 | Gets stuck due to scaling issues. | Nathanael Sensfelder |
| 2017-08-30 | Outputs are now generated. | Nathanael Sensfelder |
| 2017-08-29 | Seems like all remains is doing the actual output. | Nathanael Sensfelder |
| 2017-08-29 | Most of the program's logic seems to be there... | Nathanael Sensfelder |
| 2017-08-29 | Should now load the model. | Nathanael Sensfelder |
| 2017-08-29 | Still working on the implementation. | Nathanael Sensfelder |
| 2017-08-29 | Starting to get an idea of how it's going to work. | Nathanael Sensfelder |
| 2017-08-28 | Starts the Instance Calculator | Nathanael Sensfelder |
| 2017-08-28 | The pong.xml AST is not included. | Nathanael Sensfelder |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder |
| 2017-08-17 | Adds CNE_04500. | Nathanael Sensfelder |
| 2017-08-17 | "LINE" was in undercase, messing with the output. | Nathanael Sensfelder |
| 2017-08-17 | Removes unused data/instructions/ dir. | Nathanael Sensfelder |
| 2017-08-16 | Improves Phrasing, changes to match new Makefiles. | 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 | Use of 'eq' greatly improves performance. | Nathanael Sensfelder |
| 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 |
