tabellion/prop_to_pred, branch master Verification tool for VHDL (or at least the prototype of one). Fixes dependency rule issues. 2017-09-25T13:39:41+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41+00:00 914e0dc50230a76f75ce3b9a7f4585b1e08316d2 






Got some property dependencies to work.
2017-09-21T13:26:01+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-21T13:26:01+00:00

0fc661ebabdf55b8e0d26c4f85f0547c106b6549