tabellion/data, branch instance-calculatorVerification tool for VHDL (or at least the prototype of one).
Adds test cases for the issue.2017-09-01T13:58:25+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-09-01T13:58:25+00:003466690e0a13a145d8d1eef89eba3f962f9f6e2b
Reduces the scalability issue.2017-08-30T13:15:02+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-30T13:15:02+00:0099bbe050e57c50c5c21b849c1721fe9979894d8f
It seems to take very long to find solutions for
simple_flip_flop_instance, but at least it no longer gives up right
away.
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:53+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-30T11:57:53+00:00b715c825c0a36063e7b79248059263b438a0b5a6
Small changes? Forgot to commit.2017-08-28T13:25:39+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-28T13:25:39+00:00688d3be723b19655edcd1fc1de413b54630d4589
"LINE" was in undercase, messing with the output.2017-08-17T09:50:28+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-17T09:50:28+00:005f460b60e558822bada88adeab83c06101930384
Use of 'eq' greatly improves performance.2017-08-15T09:15:20+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-15T09:15:20+00:004a6b4c5ec978eabd6471dc20880f402d17215ce5
Adds more (rather simple) properties.2017-08-13T11:02:37+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-13T11:02:37+00:00d798d3d9a0ecf50ceba0d55645bc7ff626ed72e9