tabellion/data, 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 New pr 2017-07-26T12:45:43Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:45:43Z urn:sha1:694d42f9ca5e6728dc1170a740264ee98bf5cbe5 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 Updates bce's AST to include functions. 2017-07-26T08:13:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T08:13:41Z urn:sha1:1eb79a5c6ae03500a2816a34983e5d4cc700de33 It seems to work. 2017-07-25T14:58:09Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T14:58:09Z urn:sha1:d2289b32c2602f9c64d25a80e54e56dee233448a 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 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 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.