tabellion/instance-calculator/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-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 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 Outputs are now generated. 2017-08-30T09:22:16Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T09:22:16Z urn:sha1:aebd8f1bd52495b0a787e0cccfa4501141eace2b Most of the program's logic seems to be there... 2017-08-29T14:51:09Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-29T14:51:09Z urn:sha1:ea11fdc81ed7a8df14868476c04bf2fe7c7b6393 Starts the Instance Calculator 2017-08-28T14:27:12Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T14:27:12Z urn:sha1:ee9d405bc917be3f596ccd2ffd2d7ddc01687d31