tabellion/data/ast, 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-26T08:13:41Z 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 Initial commit. 2017-07-17T08:13:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T08:13:31Z urn:sha1:3e019d57fab57afe7aad373385f32a23bd178941