tabellion/instr-to-kodkod/Makefile, 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-04T10:47:30Z For some reason, CNE_01700 no longer works. 2017-08-04T10:47:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-04T10:47:30Z urn:sha1:d18ca72caf2004c7725b3de670c7397c5bf85eb4 Fixes issues in properties, Makefiles. 2017-08-03T15:17:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T15:17:38Z urn:sha1:43cb556708d727376724eac0e67207c28d1761bf 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 Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809 Starting a pretty-printer for the solutions. 2017-08-01T14:26:48Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T14:26:48Z urn:sha1:69d904f3b2de5b914bc329af1729584f10644bf2 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. Adds a verbosity parameter. 2017-07-31T12:28:50Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T12:28:50Z urn:sha1:05fbf26dbb1b1f19e3ef76a0d0789806fa7be12c 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 Fixes multiple issues with depths. 2017-07-27T13:08:15Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T13:08:15Z urn:sha1:cfb0fe371838a5a7112ad73c0a33073cc209d288