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