tabellion/data, 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-01T13:58:25Z Adds test cases for the issue. 2017-09-01T13:58:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-01T13:58:25Z urn:sha1:3466690e0a13a145d8d1eef89eba3f962f9f6e2b 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 Small changes? Forgot to commit. 2017-08-28T13:25:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T13:25:39Z urn:sha1:688d3be723b19655edcd1fc1de413b54630d4589 Adds CNE_04500. 2017-08-17T10:54:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T10:54:19Z urn:sha1:d1d9293f2654e297654f67b5bb0ba43fad7448d7 "LINE" was in undercase, messing with the output. 2017-08-17T09:50:28Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T09:50:28Z urn:sha1:5f460b60e558822bada88adeab83c06101930384 Removes unused data/instructions/ dir. 2017-08-17T09:49:03Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T09:49:03Z urn:sha1:0c7a5538eb3d4e6d28b354bdd059cff0cdefcad5 Partial attr. support, build/run targets, literals 2017-08-15T16:43:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T16:43:56Z urn:sha1:be92d1955a45b81e3d7f4af26497c3d73aa46ceb Use of 'eq' greatly improves performance. 2017-08-15T09:15:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T09:15:20Z urn:sha1:4a6b4c5ec978eabd6471dc20880f402d17215ce5 Adds more (rather simple) properties. 2017-08-13T11:02:37Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-13T11:02:37Z urn:sha1:d798d3d9a0ecf50ceba0d55645bc7ff626ed72e9