tabellion/instr-to-kodkod/Makefile, 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-25T13:39:41Z Fixes dependency rule issues. 2017-09-25T13:39:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41Z urn:sha1:914e0dc50230a76f75ce3b9a7f4585b1e08316d2 Updates Tests, fixes 2 properties & inferred/*.mod 2017-09-25T10:48:44Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T10:48:44Z urn:sha1:4669bdf7046c03200a28de4188075bee69571eb8 Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42Z urn:sha1:bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Fixes anonymous strings, adds CNE_01100 test. 2017-09-19T14:12:54Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:12:54Z urn:sha1:0b35af5ee0e660c810e22a09738ff1960745db23 Merge branch 'instance-calculator' 2017-09-18T08:32:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T08:32:39Z urn:sha1:201c17fb6fd3773721044f681b3afc89b64a4978 Fixes jar not downloading. 2017-09-04T12:27:00Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-04T12:27:00Z urn:sha1:474f870ea7af014808d109fa687b5c75d8861bd1 Reduces the scalability issue. 2017-08-30T13:15:02Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T13:15:02Z urn:sha1:99bbe050e57c50c5c21b849c1721fe9979894d8f It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away. Gets stuck due to scaling issues. 2017-08-30T11:57:53Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T11:57:53Z urn:sha1:b715c825c0a36063e7b79248059263b438a0b5a6 Fixes Makefiles so they can run parallel jobs. 2017-08-16T09:17:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-16T09:17:59Z urn:sha1:10e7fc528c0a767da2f7b8447b6c62d017adaf54