tabellion/data/level, 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-27T09:25:42Z 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 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 Adds the "is_terminal" predicate. 2017-07-22T19:05:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-22T19:05:57Z urn:sha1:2b3f20d89c7d500842869d3316bee9c7457ba6d4 First shot at the framework (it does compile). 2017-07-19T08:29:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T08:29:52Z urn:sha1:70b40bfb6c032c0dead7069b2178a43e63a8e563 Adds missing predicate from g4 to instr scripts 2017-07-18T16:06:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-18T16:06:10Z urn:sha1:1cac6685e5dc334473c304194d5f816b6ecf3469 Adds the (rather costly) predicate to handle Until 2017-07-17T16:59:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T16:59:31Z urn:sha1:31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae Working on a way to CTL over DAG in Kodkod. 2017-07-17T13:22:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T13:22:19Z urn:sha1:d48380bd87dcef4b095b2a4e578d4461e68df73c Initial commit. 2017-07-17T08:13:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T08:13:31Z urn:sha1:3e019d57fab57afe7aad373385f32a23bd178941