tabellion/data/level, branch improved_makefiles Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=improved_makefiles 2017-08-01T09:10:01Z 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 Adds missing predicate from g4 to instr scripts 2017-07-18T16:06:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-18T16:06:10Z urn:sha1:1cac6685e5dc334473c304194d5f816b6ecf3469 Adds the (rather costly) predicate to handle Until 2017-07-17T16:59:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T16:59:31Z urn:sha1:31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae Working on a way to CTL over DAG in Kodkod. 2017-07-17T13:22:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T13:22:19Z urn:sha1:d48380bd87dcef4b095b2a4e578d4461e68df73c