tabellion/instr-to-kodkod/src, 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. Fixes typo with functions, errors in grammar. 2017-07-31T15:04:51Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T15:04:51Z urn:sha1:bc8e275546e2e6fe6bcf19ce42c0fab07eecdf4c Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. First shot at the handling of regular expressions. 2017-07-31T13:05:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T13:05:30Z urn:sha1:067f596822b80b2786ce2bb895a593d479516cad Adds a verbosity parameter. 2017-07-31T12:28:50Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T12:28:50Z urn:sha1:05fbf26dbb1b1f19e3ef76a0d0789806fa7be12c Finer imports. 2017-07-31T10:50:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T10:50:34Z urn:sha1:f84a9f5f2be00d14168ba40ebf9357bc99fce9ce Improves solution displaying. 2017-07-31T08:58:47Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T08:58:47Z urn:sha1:f122876abf02a5a2bc30c9c35b5d77daac8db51c Tagged variables are now the only skolemized vars. 2017-07-31T08:37:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T08:37:34Z urn:sha1:98f12eaabfd4bdc04f60fdbfe7fec69bdc0eea37 Removes repetitions, prepares for skol. of sol. 2017-07-28T13:05:43Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-28T13:05:43Z urn:sha1:06c523d1692aae6fffcff2d0e617994d4b04bc55 (Woops) Adds anonymous strings support. 2017-07-26T12:46:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:46:31Z urn:sha1:3ad54b3a7d54b40e2083dfeac71116e12b153bfa 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