tabellion/instr-to-kodkod, 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 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 (Woops) Adds anonymous strings support. 2017-07-26T12:46:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:46:31Z urn:sha1:3ad54b3a7d54b40e2083dfeac71116e12b153bfa 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 It seems to work. 2017-07-25T14:58:09Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T14:58:09Z urn:sha1:d2289b32c2602f9c64d25a80e54e56dee233448a Fixes issues with "_". things seem to work now. 2017-07-25T13:09:28Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T13:09:28Z urn:sha1:3b35064d28382b66bdbe481baca9d80cc059dc42 Improves error reports for the property. 2017-07-25T12:45:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T12:45:05Z urn:sha1:97439a89b5439ce120e5bc2814251ce9dc513ce0