tabellion/data, branch skol_only_the_solutionVerification tool for VHDL (or at least the prototype of one).
First shot at depths operators.2017-07-27T09:25:42+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-27T09:25:42+00:0051edef030be94b7aa23631f7e40225c60878473f
New pr2017-07-26T12:45:43+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-26T12:45:43+00:00694d42f9ca5e6728dc1170a740264ee98bf5cbe5
First shot at (logic, not VHDL) functions.2017-07-26T12:32:28+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-26T12:32:28+00:005f06e34bc24876739c1d4af1d45f7cb322a19559
Updates bce's AST to include functions.2017-07-26T08:13:41+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-26T08:13:41+00:001eb79a5c6ae03500a2816a34983e5d4cc700de33
It seems to work.2017-07-25T14:58:09+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-25T14:58:09+00:00d2289b32c2602f9c64d25a80e54e56dee233448a
Fixes issues with "_". things seem to work now.2017-07-25T13:09:28+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-25T13:09:28+00:003b35064d28382b66bdbe481baca9d80cc059dc42
Improves error reports for the property.2017-07-25T12:45:05+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-25T12:45:05+00:0097439a89b5439ce120e5bc2814251ce9dc513ce0
Adds the "is_terminal" predicate.2017-07-22T19:05:57+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-22T19:05:57+00:002b3f20d89c7d500842869d3316bee9c7457ba6d4
Formula.and(Formula...) != a.and(Formula...)2017-07-19T15:02:57+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-07-19T15:02:57+00:009f312f0135fd54d9c71c60bc856a48318bd632d3
Having both a static and a non-static function share a name does not
seem like a sane decision.
Having both a static and a non-static function share a name does not
seem like a sane decision.