tabellion, 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-31T08:37:34Z Tagged variables are now the only skolemized vars. 2017-07-31T08:37:34Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T08:37:34Z urn:sha1:98f12eaabfd4bdc04f60fdbfe7fec69bdc0eea37 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 Replaces overly fragile method to get first node. 2017-07-27T12:29:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T12:29:30Z urn:sha1:28c1633308fa51ebffe9d0e901821d10c13092bc First shot at depths operators. 2017-07-27T09:25:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T09:25:42Z urn:sha1:51edef030be94b7aa23631f7e40225c60878473f Adds license. 2017-07-26T14:36:50Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T14:36:50Z urn:sha1:3c5e716206f1a1161c5b28e6567987f6e74061e8 (Woops) Adds anonymous strings support. 2017-07-26T12:46:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:46:31Z urn:sha1:3ad54b3a7d54b40e2083dfeac71116e12b153bfa 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