| Age | Commit message (Expand) | Author |
|---|
| 2017-10-31 | Adds a Java version of prop-to-pred. | nsensfel |
| 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 | Fixes CNE_01200, adds CNE_01200 test. | Nathanael Sensfelder |
| 2017-09-19 | Fixes anonymous strings, adds CNE_01100 test. | 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 |
| 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-01 | Adds test cases for the issue. | Nathanael Sensfelder |
| 2017-08-30 | Reduces the scalability issue. | Nathanael Sensfelder |
| 2017-08-30 | Gets stuck due to scaling issues. | 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-15 | Partial attr. support, build/run targets, literals | Nathanael Sensfelder |
| 2017-08-15 | Use of 'eq' greatly improves performance. | 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 | Fixes issues in properties, Makefiles. | Nathanael Sensfelder |
| 2017-08-03 | Finishes the sol_pretty_printer, 'xcept Makefile. | 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-27 | First shot at depths operators. | Nathanael Sensfelder |
| 2017-07-26 | New pr | Nathanael Sensfelder |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder |
| 2017-07-26 | Updates bce's AST to include functions. | Nathanael Sensfelder |
| 2017-07-25 | It seems to work. | Nathanael Sensfelder |
| 2017-07-25 | Fixes issues with "_". things seem to work now. | Nathanael Sensfelder |
| 2017-07-25 | Improves error reports for the property. | Nathanael Sensfelder |
| 2017-07-24 | Fixes connect_to/node_connect, configs Makefiles. | Nathanael Sensfelder |
| 2017-07-22 | Adds the "is_terminal" predicate. | Nathanael Sensfelder |
| 2017-07-19 | Formula.and(Formula...) != a.and(Formula...) | Nathanael Sensfelder |
| 2017-07-19 | forgot to use cfg-to-path. Still broken though. | Nathanael Sensfelder |
