tabellion/ast-to-instr/src, 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-27T13:08:15Z Fixes multiple issues with depths. 2017-07-27T13:08:15Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T13:08:15Z urn:sha1:cfb0fe371838a5a7112ad73c0a33073cc209d288 First shot at depths operators. 2017-07-27T09:25:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T09:25:42Z urn:sha1:51edef030be94b7aa23631f7e40225c60878473f 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 Working on (structural + elements) read/writes. 2017-07-25T12:00:06Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T12:00:06Z urn:sha1:a19063a8dc55750e4ae6d6d6acacdd537fbbdb08 Centralizes the processing of (read) expressions. 2017-07-24T11:40:40Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T11:40:40Z urn:sha1:66cfd64a7ed0c3809e033b0976c17e95bc6c50ca Working on function calls and literals predicates. 2017-07-24T08:46:47Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T08:46:47Z urn:sha1:fb0882b5e3622b762812f4ffe4688c7a344a02cd 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 Adds output support. 2017-07-21T14:50:25Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-21T14:50:25Z urn:sha1:d05bd3592050a9496dd87bcd8a49f8fdc8b6b58d Adds "port maps" support. 2017-07-21T12:57:46Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-21T12:57:46Z urn:sha1:0aa91fb542bd4e2bec97de98ab819ddd6ccbb698