tabellion, branch skol_only_the_solution

tabellion, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). Tagged variables are now the only skolemized vars. 2017-07-31T08:37:34+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T08:37:34+00:00 98f12eaabfd4bdc04f60fdbfe7fec69bdc0eea37

Removes repetitions, prepares for skol. of sol. 2017-07-28T13:05:43+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-28T13:05:43+00:00 06c523d1692aae6fffcff2d0e617994d4b04bc55

Fixes multiple issues with depths. 2017-07-27T13:08:15+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T13:08:15+00:00 cfb0fe371838a5a7112ad73c0a33073cc209d288

Replaces overly fragile method to get first node. 2017-07-27T12:29:30+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T12:29:30+00:00 28c1633308fa51ebffe9d0e901821d10c13092bc

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

Adds license. 2017-07-26T14:36:50+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T14:36:50+00:00 3c5e716206f1a1161c5b28e6567987f6e74061e8

(Woops) Adds anonymous strings support. 2017-07-26T12:46:31+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:46:31+00:00 3ad54b3a7d54b40e2083dfeac71116e12b153bfa

New pr 2017-07-26T12:45:43+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:45:43+00:00 694d42f9ca5e6728dc1170a740264ee98bf5cbe5

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

Updates bce's AST to include functions. 2017-07-26T08:13:41+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T08:13:41+00:00 1eb79a5c6ae03500a2816a34983e5d4cc700de33