tabellion/data/property/test-case, 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-18T13:18:05Z 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 Adds test cases for the issue. 2017-09-01T13:58:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-01T13:58:25Z urn:sha1:3466690e0a13a145d8d1eef89eba3f962f9f6e2b