tabellion/instance-calculator/src, branch masterVerification tool for VHDL (or at least the prototype of one).
Got some property dependencies to work.2017-09-21T13:26:01+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-09-21T13:26:01+00:000fc661ebabdf55b8e0d26c4f85f0547c106b6549
Forgot to increase instances_count.2017-08-30T13:26:56+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-30T13:26:56+00:00dcc5284790f16566c4885f9e0fa3c6fb9577c11d
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.
Outputs are now generated.2017-08-30T09:22:16+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-30T09:22:16+00:00aebd8f1bd52495b0a787e0cccfa4501141eace2b
Seems like all remains is doing the actual output.2017-08-29T15:59:53+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-29T15:59:53+00:00882d605d684abf7120a1b5b095e7f5425e77dd34
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
Should now load the model.2017-08-29T13:23:34+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-29T13:23:34+00:009a5e79dfd1c6829b052ab7cf0cb7a79afd25eb72
Still working on the implementation.2017-08-29T11:54:43+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-29T11:54:43+00:0035e6857fb09b006da9f8cc3f59f239f078cc69a1
Starting to get an idea of how it's going to work.2017-08-28T22:05:39+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-08-28T22:05:39+00:00f1dfb1eb04a705521238dba64e09bb9ecdea794f