tabellion/instr-to-kodkod/cfg-to-paths/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-09-21T13:26:01Z Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809