tabellion, branch instance-calculator Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=instance-calculator 2017-09-05T08:03:12Z Enables verbose mode. 2017-09-05T08:03:12Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-05T08:03:12Z urn:sha1:a2baff0fd7b88052403cc661253c229acde5e011 Apparently, Kodkod gets stuck on the "translating to booleans" part. Merge commit '474f870' into instance-calculator 2017-09-04T12:28:36Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-04T12:28:36Z urn:sha1:58355e0256b075f9ae74e04e52f9ff3b4c191572 Fixes jar not downloading. 2017-09-04T12:27:00Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-04T12:27:00Z urn:sha1:474f870ea7af014808d109fa687b5c75d8861bd1 Finer imports. 2017-09-02T12:48:32Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-02T12:48:32Z urn:sha1:e90c20f7c17b73c6ae8ff1d653278144c713a0e6 Adds test cases for the issue. 2017-09-01T13:58:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-01T13:58:25Z urn:sha1:3466690e0a13a145d8d1eef89eba3f962f9f6e2b Forgot to increase instances_count. 2017-08-30T13:26:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T13:26:56Z urn:sha1:dcc5284790f16566c4885f9e0fa3c6fb9577c11d 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 Seems like all remains is doing the actual output. 2017-08-29T15:59:53Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-29T15:59:53Z urn:sha1:882d605d684abf7120a1b5b095e7f5425e77dd34