tabellion/prop-to-pred/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-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