tabellion/instr-to-kodkod/parser, 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-03T14:57:20Z Other than the pretty-printer, it seems done. 2017-08-03T14:57:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T14:57:20Z urn:sha1:71f3a1bb063087e51f2b2e2ef940e773e2e084d1 The Makefile of instr-to-kodkod's parser is done. 2017-08-03T14:02:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T14:02:19Z urn:sha1:b16812434d54a9d7480564cbf4f299168ca6a1a1 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. 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 Finer imports. 2017-07-31T10:50:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T10:50:34Z urn:sha1:f84a9f5f2be00d14168ba40ebf9357bc99fce9ce 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 Fixes multiple issues with depths. 2017-07-27T13:08:15Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T13:08:15Z urn:sha1:cfb0fe371838a5a7112ad73c0a33073cc209d288 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