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

tabellion/no-prop-to-pred, 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:22:43Z Disables the "inferred" feature by default. 2017-10-31T15:22:43Z nsensfel SpamShield0@noot-noot.org 2017-10-31T15:22:43Z urn:sha1:4c16982225c0951e02b23bcdb36d1a5a8c2b44de