tabellion/data/level, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). First shot at depths operators. 2017-07-27T09:25:42+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T09:25:42+00:00 51edef030be94b7aa23631f7e40225c60878473f 






First shot at (logic, not VHDL) functions.
2017-07-26T12:32:28+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-26T12:32:28+00:00

5f06e34bc24876739c1d4af1d45f7cb322a19559












Improves error reports for the property.
2017-07-25T12:45:05+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-25T12:45:05+00:00

97439a89b5439ce120e5bc2814251ce9dc513ce0












Fixes connect_to/node_connect, configs Makefiles.
2017-07-24T07:51:20+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-24T07:51:20+00:00

c734cd67ee4ebe5c235c7785f6b193952bf3bc17












Adds the "is_terminal" predicate.
2017-07-22T19:05:57+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-22T19:05:57+00:00

2b3f20d89c7d500842869d3316bee9c7457ba6d4












First shot at the framework (it does compile).
2017-07-19T08:29:52+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T08:29:52+00:00

70b40bfb6c032c0dead7069b2178a43e63a8e563












Adds missing predicate from g4 to instr scripts
2017-07-18T16:06:10+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-18T16:06:10+00:00

1cac6685e5dc334473c304194d5f816b6ecf3469












Adds the (rather costly) predicate to handle Until
2017-07-17T16:59:31+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-17T16:59:31+00:00

31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae












Working on a way to CTL over DAG in Kodkod.
2017-07-17T13:22:19+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-17T13:22:19+00:00

d48380bd87dcef4b095b2a4e578d4461e68df73c












Initial commit.
2017-07-17T08:13:31+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-17T08:13:31+00:00

3e019d57fab57afe7aad373385f32a23bd178941