summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-09-21Got some property dependencies to work.Nathanael Sensfelder
2017-09-20Solves the missing solutions bug. Starts PropDeps.Nathanael Sensfelder
2017-09-20Adds comments to CNE_01700.Nathanael Sensfelder
2017-09-20Improves CNE_01400, adds test for CNE_01400.Nathanael Sensfelder
2017-09-19Strings are all in lowercase.Nathanael Sensfelder
Still doesn't fix CNE_01200's valid.vhd:19 not being detected. The instr model seems correct, though.
2017-09-19Fixes CNE_01200, adds CNE_01200 test.Nathanael Sensfelder
... which somehow fails.
2017-09-19Fixes anonymous strings, adds CNE_01100 test.Nathanael Sensfelder
2017-09-19Removes the extra set of " that messed with regex.Nathanael Sensfelder
2017-09-19Adds tests for CNE_00100.Nathanael Sensfelder
2017-09-19Fixes valid test, adds tests pretty printing.Nathanael Sensfelder
2017-09-19Fixes case/when models, regroups properties.Nathanael Sensfelder
2017-09-19Continues to implement automated testing.Nathanael Sensfelder
... in a hacky sort of way.
2017-09-18Making progress on the automated testing...Nathanael Sensfelder
2017-09-18Moves the templates to accommodate the tests.Nathanael Sensfelder
2017-09-18Starting to work on test automation.Nathanael Sensfelder
2017-09-18Merge branch 'master' of dreamhost:~/repositories/git/tabellionNathanael Sensfelder
2017-09-18Fixes copy/paste mistake in CNE_00100 + comments.Nathanael Sensfelder
2017-09-18Fixes combinational processes property.Nathanael Sensfelder
2017-09-18Go back to the usual default properties.Nathanael Sensfelder
2017-09-18Merge branch 'instance-calculator'Nathanael Sensfelder
2017-09-04Fixes jar not downloading.Nathanael Sensfelder
2017-09-02Finer imports.Nathanael Sensfelder
2017-09-01Adds test cases for the issue.Nathanael Sensfelder
2017-08-30Forgot to increase instances_count.Nathanael Sensfelder
2017-08-30Reduces the scalability issue.Nathanael Sensfelder
It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away.
2017-08-30Gets stuck due to scaling issues.Nathanael Sensfelder
2017-08-30Outputs are now generated.Nathanael Sensfelder
2017-08-29Seems like all remains is doing the actual output.Nathanael Sensfelder
2017-08-29Most of the program's logic seems to be there...Nathanael Sensfelder
2017-08-29Should now load the model.Nathanael Sensfelder
2017-08-29Still working on the implementation.Nathanael Sensfelder
2017-08-29Starting to get an idea of how it's going to work.Nathanael Sensfelder
2017-08-28Starts the Instance CalculatorNathanael Sensfelder
2017-08-28The pong.xml AST is not included.Nathanael Sensfelder
2017-08-28Small changes? Forgot to commit.Nathanael Sensfelder
2017-08-17Adds CNE_04500.Nathanael Sensfelder
2017-08-17"LINE" was in undercase, messing with the output.Nathanael Sensfelder
2017-08-17Removes unused data/instructions/ dir.Nathanael Sensfelder
2017-08-16Improves Phrasing, changes to match new Makefiles.Nathanael Sensfelder
2017-08-16Fixes Makefiles so they can run parallel jobs.Nathanael Sensfelder
2017-08-15Partial attr. support, build/run targets, literalsNathanael Sensfelder
2017-08-15Adds support for comments in properties.Nathanael Sensfelder
2017-08-15Use of 'eq' greatly improves performance.Nathanael Sensfelder
2017-08-15Adds 'eq' and 'iff' to the language.Nathanael Sensfelder
2017-08-13Adds more (rather simple) properties.Nathanael Sensfelder
2017-08-04For some reason, CNE_01700 no longer works.improved_makefilesNathanael Sensfelder
2017-08-03First shot at spprinter's Makefile + README updateNathanael Sensfelder
2017-08-03Fixes issues in properties, Makefiles.Nathanael Sensfelder
2017-08-03Other than the pretty-printer, it seems done.Nathanael Sensfelder
2017-08-03The Makefile of instr-to-kodkod's parser is done.Nathanael Sensfelder