tabellion/data/level, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-08-30T13:15:02Z 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 Small changes? Forgot to commit. 2017-08-28T13:25:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T13:25:39Z urn:sha1:688d3be723b19655edcd1fc1de413b54630d4589 Fixes is_accessed_by. CNE_01700 is not working. 2017-08-01T09:10:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T09:10:01Z urn:sha1:4637db06583bc250b96e6145fc7bac9e16c730df The BCE has been updated to include a group of items that should be tagged by the CNE_01700 rule. However, it's not happening. I don't see anything wrong with the way the CNE_01700 rule is written and a quick overview of the generated model would lead me to conclude that it indeed should tag something. Likely there are still issues with the way properties are turned into Kodkod formulas. First shot at depths operators. 2017-07-27T09:25:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T09:25:42Z urn:sha1:51edef030be94b7aa23631f7e40225c60878473f First shot at (logic, not VHDL) functions. 2017-07-26T12:32:28Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:32:28Z urn:sha1:5f06e34bc24876739c1d4af1d45f7cb322a19559 Improves error reports for the property. 2017-07-25T12:45:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T12:45:05Z urn:sha1:97439a89b5439ce120e5bc2814251ce9dc513ce0 Fixes connect_to/node_connect, configs Makefiles. 2017-07-24T07:51:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T07:51:20Z urn:sha1:c734cd67ee4ebe5c235c7785f6b193952bf3bc17 Adds the "is_terminal" predicate. 2017-07-22T19:05:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-22T19:05:57Z urn:sha1:2b3f20d89c7d500842869d3316bee9c7457ba6d4 First shot at the framework (it does compile). 2017-07-19T08:29:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T08:29:52Z urn:sha1:70b40bfb6c032c0dead7069b2178a43e63a8e563