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). Disables the "inferred" feature by default. 2017-10-31T15:22:43+00:00 nsensfel SpamShield0@noot-noot.org 2017-10-31T15:22:43+00:00 4c16982225c0951e02b23bcdb36d1a5a8c2b44de