tabellion/data/property, 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.
"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
For some reason, CNE_01700 no longer works.2017-08-04T10:47:30+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-04T10:47:30+00:00d18ca72caf2004c7725b3de670c7397c5bf85eb4
Fixes issues in properties, Makefiles.2017-08-03T15:17:38+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-03T15:17:38+00:0043cb556708d727376724eac0e67207c28d1761bf
Finishes the sol_pretty_printer, 'xcept Makefile.2017-08-03T09:10:55+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-03T09:10:55+00:00c5a23ef9d6ab1e89b85016831fc8b2431f68f87f