tabellion/data/test/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-09-25T13:39:41Z Fixes dependency rule issues. 2017-09-25T13:39:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41Z urn:sha1:914e0dc50230a76f75ce3b9a7f4585b1e08316d2 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 Improves CNE_01400, adds test for CNE_01400. 2017-09-20T08:03:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T08:03:42Z urn:sha1:fe20276ff74220a51bf8d30aa6190aa5ca6a957f Fixes anonymous strings, adds CNE_01100 test. 2017-09-19T14:12:54Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:12:54Z urn:sha1:0b35af5ee0e660c810e22a09738ff1960745db23 Fixes valid test, adds tests pretty printing. 2017-09-19T12:31:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T12:31:10Z urn:sha1:d74a7c7ab3f10e9ea6eddb26639cfb6929646793 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. Making progress on the automated testing... 2017-09-18T14:02:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T14:02:57Z urn:sha1:900db6294298c1eeb8110b73ef8dafc8175ef4a1 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 Starting to work on test automation. 2017-09-18T12:36:37Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T12:36:37Z urn:sha1:80e9830758781e46a283e493a3c2f902969c0bea