tabellion/Makefile, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-10-31T15:22:43Z Disables the "inferred" feature by default. 2017-10-31T15:22:43Z nsensfel SpamShield0@noot-noot.org 2017-10-31T15:22:43Z urn:sha1:4c16982225c0951e02b23bcdb36d1a5a8c2b44de Adds a Java version of prop-to-pred. 2017-10-31T09:44:05Z nsensfel SpamShield0@noot-noot.org 2017-10-31T09:44:05Z urn:sha1:a9ee742be71040138c6414a63b7327e05b1723fe Updates Tests, fixes 2 properties & inferred/*.mod 2017-09-25T10:48:44Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T10:48:44Z urn:sha1:4669bdf7046c03200a28de4188075bee69571eb8 Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42Z urn:sha1:bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Fixes case/when models, regroups properties. 2017-09-19T12:05:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T12:05:52Z urn:sha1:f2b7e406b8e77df22ef379a5e880f64d1e5043b9 Continues to implement automated testing. 2017-09-19T08:49:08Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T08:49:08Z urn:sha1:706f4260ef5175a1134be7764aa9640b28fa2335 ... in a hacky sort of way. Moves the templates to accommodate the tests. 2017-09-18T13:18:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T13:18:05Z urn:sha1:59d6ea1df12aa2fadcab1ec5cd22b99873721869 Go back to the usual default properties. 2017-09-18T08:33:11Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T08:33:11Z urn:sha1:77838a1342b53ca97d842ef47ff91f44f6a5bbeb Adds test cases for the issue. 2017-09-01T13:58:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-01T13:58:25Z urn:sha1:3466690e0a13a145d8d1eef89eba3f962f9f6e2b