tabellion/instance-calculator/src, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-09-21T13:26:01Z Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Finer imports. 2017-09-02T12:48:32Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-02T12:48:32Z urn:sha1:e90c20f7c17b73c6ae8ff1d653278144c713a0e6 Forgot to increase instances_count. 2017-08-30T13:26:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T13:26:56Z urn:sha1:dcc5284790f16566c4885f9e0fa3c6fb9577c11d 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. Outputs are now generated. 2017-08-30T09:22:16Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-30T09:22:16Z urn:sha1:aebd8f1bd52495b0a787e0cccfa4501141eace2b Seems like all remains is doing the actual output. 2017-08-29T15:59:53Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-29T15:59:53Z urn:sha1:882d605d684abf7120a1b5b095e7f5425e77dd34 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 Should now load the model. 2017-08-29T13:23:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-29T13:23:34Z urn:sha1:9a5e79dfd1c6829b052ab7cf0cb7a79afd25eb72 Still working on the implementation. 2017-08-29T11:54:43Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-29T11:54:43Z urn:sha1:35e6857fb09b006da9f8cc3f59f239f078cc69a1 Starting to get an idea of how it's going to work. 2017-08-28T22:05:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T22:05:39Z urn:sha1:f1dfb1eb04a705521238dba64e09bb9ecdea794f