tabellion/data/template, 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-31T09:44:05Z 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 Adds some missing files. 2017-09-26T11:37:08Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-26T11:37:08Z urn:sha1:4e38a30f78a9fbe6287b310139ecc10aef6d398f Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 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