tabellion/prop-to-pred/src, branch master

tabellion/prop-to-pred/src, 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:02:56Z Adds error when no data is fed to parser. 2017-10-31T15:02:56Z nsensfel SpamShield0@noot-noot.org 2017-10-31T15:02:56Z urn:sha1:884b8a47fe7fc18e1c4427193cb86be53c24ff41 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