tabellion/instr-to-kodkod/parser, 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-28T13:05:43Z 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 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 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 Lets users use projections in predicates. 2017-07-24T13:09:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T13:09:30Z urn:sha1:bfded94070ef7bc2330acd086c5c5c8144bf99fd Removes TODO from the grammar. 2017-07-20T07:38:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-20T07:38:38Z urn:sha1:eded154a1ea16eaef2495b92f8df7d6dd50f599b 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.