tabellion/instr-to-kodkod/src, 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 (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 Improves error reports for the property. 2017-07-25T12:45:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T12:45:05Z urn:sha1:97439a89b5439ce120e5bc2814251ce9dc513ce0 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 The formula seems correct, which is worrisome. 2017-07-19T12:46:24Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T12:46:24Z urn:sha1:76ce3682dc4e7480b0e77ea189c05f17d2435d70 More small mistakes removed. It seems to work now. 2017-07-19T09:07:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T09:07:10Z urn:sha1:71c08d4a3ae9763b8cc669aad0f9d53bbc5f95d2