aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Enables verbose mode.instance-calculatorNathanael Sensfelder2017-09-05
* Merge commit '474f870' into instance-calculatorNathanael Sensfelder2017-09-04
|\
| * Fixes jar not downloading.Nathanael Sensfelder2017-09-04
* | Finer imports.Nathanael Sensfelder2017-09-02
* | Adds test cases for the issue.Nathanael Sensfelder2017-09-01
* | Forgot to increase instances_count.Nathanael Sensfelder2017-08-30
* | Reduces the scalability issue.Nathanael Sensfelder2017-08-30
* | Gets stuck due to scaling issues.Nathanael Sensfelder2017-08-30
* | Outputs are now generated.Nathanael Sensfelder2017-08-30
* | Seems like all remains is doing the actual output.Nathanael Sensfelder2017-08-29
* | Most of the program's logic seems to be there...Nathanael Sensfelder2017-08-29
* | Should now load the model.Nathanael Sensfelder2017-08-29
* | Still working on the implementation.Nathanael Sensfelder2017-08-29
* | Starting to get an idea of how it's going to work.Nathanael Sensfelder2017-08-29
* | Starts the Instance CalculatorNathanael Sensfelder2017-08-28
|/
* The pong.xml AST is not included.Nathanael Sensfelder2017-08-28
* Small changes? Forgot to commit.Nathanael Sensfelder2017-08-28
* Adds CNE_04500.Nathanael Sensfelder2017-08-17
* "LINE" was in undercase, messing with the output.Nathanael Sensfelder2017-08-17
* Removes unused data/instructions/ dir.Nathanael Sensfelder2017-08-17
* Improves Phrasing, changes to match new Makefiles.Nathanael Sensfelder2017-08-16
* Fixes Makefiles so they can run parallel jobs.Nathanael Sensfelder2017-08-16
* Partial attr. support, build/run targets, literalsNathanael Sensfelder2017-08-15
* Adds support for comments in properties.Nathanael Sensfelder2017-08-15
* Use of 'eq' greatly improves performance.Nathanael Sensfelder2017-08-15
* Adds 'eq' and 'iff' to the language.Nathanael Sensfelder2017-08-15
* Adds more (rather simple) properties.Nathanael Sensfelder2017-08-13
* For some reason, CNE_01700 no longer works.improved_makefilesNathanael Sensfelder2017-08-04
* First shot at spprinter's Makefile + README updateNathanael Sensfelder2017-08-03
* Fixes issues in properties, Makefiles.Nathanael Sensfelder2017-08-03
* Other than the pretty-printer, it seems done.Nathanael Sensfelder2017-08-03
* The Makefile of instr-to-kodkod's parser is done.Nathanael Sensfelder2017-08-03
* Improving clarity through better Makefiles.Nathanael Sensfelder2017-08-03
* Finishes the sol_pretty_printer, 'xcept Makefile.Nathanael Sensfelder2017-08-03
* Starting a pretty-printer for the solutions.Nathanael Sensfelder2017-08-01
* StNathanael Sensfelder2017-08-01
* Adds more rules and prettyprint messages for them.Nathanael Sensfelder2017-08-01
* Adds CNE_01800, as it's near identical to CNE_1700Nathanael Sensfelder2017-08-01
* Woops, I was testing against a FE signal.Nathanael Sensfelder2017-08-01
* Fixes is_accessed_by. CNE_01700 is not working.Nathanael Sensfelder2017-08-01
* Fixes regex predicate + optimizes CNE_01700.Nathanael Sensfelder2017-08-01
* Fixes typo with functions, errors in grammar.Nathanael Sensfelder2017-07-31
* Renames README to README.md. Woops.Nathanael Sensfelder2017-07-31
* Adds README.Nathanael Sensfelder2017-07-31
* First shot at the handling of regular expressions.Nathanael Sensfelder2017-07-31
* Adds a verbosity parameter.Nathanael Sensfelder2017-07-31
* Finer imports.Nathanael Sensfelder2017-07-31
* Improves solution displaying.Nathanael Sensfelder2017-07-31
* Tagged variables are now the only skolemized vars.skol_only_the_solutionNathanael Sensfelder2017-07-31
* Removes repetitions, prepares for skol. of sol.Nathanael Sensfelder2017-07-28