tabellion/Makefile, 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
Most of the program's logic seems to be there...2017-08-29T14:51:09+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-29T14:51:09+00:00ea11fdc81ed7a8df14868476c04bf2fe7c7b6393
The pong.xml AST is not included.2017-08-28T13:48:08+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-28T13:48:08+00:002a13a7957f08429c8b5c905032b26c51de57885f
Small changes? Forgot to commit.2017-08-28T13:25:39+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-28T13:25:39+00:00688d3be723b19655edcd1fc1de413b54630d4589
Fixes Makefiles so they can run parallel jobs.2017-08-16T09:17:59+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-16T09:17:59+00:0010e7fc528c0a767da2f7b8447b6c62d017adaf54
Fixes issues in properties, Makefiles.2017-08-03T15:17:38+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-03T15:17:38+00:0043cb556708d727376724eac0e67207c28d1761bf
Other than the pretty-printer, it seems done.2017-08-03T14:57:20+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-03T14:57:20+00:0071f3a1bb063087e51f2b2e2ef940e773e2e084d1