tabellion/instr-to-kodkod/parser, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-09-20T15:19:42Z Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42Z urn:sha1:bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Small changes? Forgot to commit. 2017-08-28T13:25:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T13:25:39Z urn:sha1:688d3be723b19655edcd1fc1de413b54630d4589 Fixes Makefiles so they can run parallel jobs. 2017-08-16T09:17:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-16T09:17:59Z urn:sha1:10e7fc528c0a767da2f7b8447b6c62d017adaf54 Partial attr. support, build/run targets, literals 2017-08-15T16:43:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T16:43:56Z urn:sha1:be92d1955a45b81e3d7f4af26497c3d73aa46ceb Adds support for comments in properties. 2017-08-15T10:38:27Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T10:38:27Z urn:sha1:b45d145f19c7818db7a890117b089ebf3f891947 Adds 'eq' and 'iff' to the language. 2017-08-15T08:39:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T08:39:30Z urn:sha1:7cfc0a35e15320aeeb255e6dfdef479bf9c888ae 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.