tabellion/instr-to-kodkod/Makefile, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=skol_only_the_solution 2017-07-31T08:37:34Z 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 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 Gets the strings seemingly working. 2017-07-25T14:59:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T14:59:20Z urn:sha1:d7647dda4fe577a5a9d8569e0a9e0e28496c0744 Improves error reports for the property. 2017-07-25T12:45:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T12:45:05Z urn:sha1:97439a89b5439ce120e5bc2814251ce9dc513ce0 Fixes connect_to/node_connect, configs Makefiles. 2017-07-24T07:51:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T07:51:20Z urn:sha1:c734cd67ee4ebe5c235c7785f6b193952bf3bc17 Formula.and(Formula...) != a.and(Formula...) 2017-07-19T15:02:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T15:02:57Z urn:sha1:9f312f0135fd54d9c71c60bc856a48318bd632d3 Having both a static and a non-static function share a name does not seem like a sane decision. This one seem to work -> bad CTL? 2017-07-19T13:41:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T13:41:10Z urn:sha1:3bb73bf4bd66582dd6ea4b32b3691bfa14ec5cca forgot to use cfg-to-path. Still broken though. 2017-07-19T13:31:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T13:31:05Z urn:sha1:35bce44858fcd7b0dab398cbce72d13057d3a501