| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-10-31 | Disables the "inferred" feature by default.HEADmaster | nsensfel | |
| 2017-10-31 | Adds error when no data is fed to parser. | nsensfel | |
| 2017-10-31 | Adds a Java version of prop-to-pred. | nsensfel | |
| 2017-09-27 | Limits the creation of atom-relations to "String". | Nathanael Sensfelder | |
| The need for those relations is limited to the access of their atom in the formula. As, with the exception of String elements, the formula cannot directly reference an atom, only String atoms require their own relation. Going even further, only the String element referenced in the formula need their own relation. | |||
| 2017-09-26 | Adds some missing files. | 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-20 | Adds comments to CNE_01700. | Nathanael Sensfelder | |
| 2017-09-20 | Improves CNE_01400, adds test for CNE_01400. | Nathanael Sensfelder | |
| 2017-09-19 | Strings 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-19 | Fixes CNE_01200, adds CNE_01200 test. | Nathanael Sensfelder | |
| ... which somehow fails. | |||
| 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-19 | Adds tests for CNE_00100. | Nathanael Sensfelder | |
| 2017-09-19 | Fixes valid test, adds tests pretty printing. | Nathanael Sensfelder | |
| 2017-09-19 | Fixes case/when models, regroups properties. | Nathanael Sensfelder | |
| 2017-09-19 | Continues to implement automated testing. | Nathanael Sensfelder | |
| ... in a hacky sort of way. | |||
| 2017-09-18 | Making progress on the automated testing... | Nathanael Sensfelder | |
| 2017-09-18 | Moves the templates to accommodate the tests. | Nathanael Sensfelder | |
| 2017-09-18 | Starting to work on test automation. | Nathanael Sensfelder | |
| 2017-09-18 | Merge branch 'master' of dreamhost:~/repositories/git/tabellion | Nathanael Sensfelder | |
| 2017-09-18 | Fixes copy/paste mistake in CNE_00100 + comments. | Nathanael Sensfelder | |
| 2017-09-18 | Fixes combinational processes property. | Nathanael Sensfelder | |
| 2017-09-18 | Go back to the usual default properties. | Nathanael Sensfelder | |
| 2017-09-18 | Merge branch '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 | |
| 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-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 | |