aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Disables the "inferred" feature by default.HEADmasternsensfel2017-10-31
* Adds error when no data is fed to parser.nsensfel2017-10-31
* Adds a Java version of prop-to-pred.nsensfel2017-10-31
* Limits the creation of atom-relations to "String".Nathanael Sensfelder2017-09-27
* Adds some missing files.Nathanael Sensfelder2017-09-26
* Fixes dependency rule issues.Nathanael Sensfelder2017-09-25
* Updates Tests, fixes 2 properties & inferred/*.modNathanael Sensfelder2017-09-25
* Got some property dependencies to work.Nathanael Sensfelder2017-09-21
* Solves the missing solutions bug. Starts PropDeps.Nathanael Sensfelder2017-09-20
* Adds comments to CNE_01700.Nathanael Sensfelder2017-09-20
* Improves CNE_01400, adds test for CNE_01400.Nathanael Sensfelder2017-09-20
* Strings are all in lowercase.Nathanael Sensfelder2017-09-19
* Fixes CNE_01200, adds CNE_01200 test.Nathanael Sensfelder2017-09-19
* Fixes anonymous strings, adds CNE_01100 test.Nathanael Sensfelder2017-09-19
* Removes the extra set of " that messed with regex.Nathanael Sensfelder2017-09-19
* Adds tests for CNE_00100.Nathanael Sensfelder2017-09-19
* Fixes valid test, adds tests pretty printing.Nathanael Sensfelder2017-09-19
* Fixes case/when models, regroups properties.Nathanael Sensfelder2017-09-19
* Continues to implement automated testing.Nathanael Sensfelder2017-09-19
* Making progress on the automated testing...Nathanael Sensfelder2017-09-18
* Moves the templates to accommodate the tests.Nathanael Sensfelder2017-09-18
* Starting to work on test automation.Nathanael Sensfelder2017-09-18
* Merge branch 'master' of dreamhost:~/repositories/git/tabellionNathanael Sensfelder2017-09-18
|\
| * Go back to the usual default properties.Nathanael Sensfelder2017-09-18
| * Merge branch 'instance-calculator'Nathanael Sensfelder2017-09-18
| |\
| | * 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
| * | Fixes jar not downloading.Nathanael Sensfelder2017-09-04
| |/
* | Fixes copy/paste mistake in CNE_00100 + comments.Nathanael Sensfelder2017-09-18
* | Fixes combinational processes property.Nathanael Sensfelder2017-09-18
|/
* 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