tabellion/data/property/cnes, 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-03T15:17:38Z Fixes issues in properties, Makefiles. 2017-08-03T15:17:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T15:17:38Z urn:sha1:43cb556708d727376724eac0e67207c28d1761bf Finishes the sol_pretty_printer, 'xcept Makefile. 2017-08-03T09:10:55Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T09:10:55Z urn:sha1:c5a23ef9d6ab1e89b85016831fc8b2431f68f87f Adds more rules and prettyprint messages for them. 2017-08-01T11:33:24Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T11:33:24Z urn:sha1:406ef632388808f75f9c0a3e18460a865eed4656 Adds CNE_01800, as it's near identical to CNE_1700 2017-08-01T10:26:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T10:26:34Z urn:sha1:d175915ff0f1fbd7e07eb11029aad7376801a36f 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 regex predicate + optimizes CNE_01700. 2017-08-01T08:04:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T08:04:25Z urn:sha1:798dea30c7832f8c6364d1734423c6a6fda1ce57 The combination of those two changes makes the solving much faster, but since BCE does not have anything that would be matched, it may also simply be incorrect. 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.