tabellion/data/property, 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-26T12:45:43Z New pr 2017-07-26T12:45:43Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:45:43Z urn:sha1:694d42f9ca5e6728dc1170a740264ee98bf5cbe5 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 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. forgot to use cfg-to-path. Still broken though. 2017-07-19T13:31:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T13:31:05Z urn:sha1:35bce44858fcd7b0dab398cbce72d13057d3a501 Dammit, it says flip-flops are combinational... 2017-07-19T12:32:12Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T12:32:12Z urn:sha1:126fb20387caffaa8e05e2a5fee1be78ab1cb1ff Adds "real" property: Find combinational processes 2017-07-19T12:11:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T12:11:30Z urn:sha1:c368dd6867fc14463a0f35672a5a7f38693474ed First shot at the framework (it does compile). 2017-07-19T08:29:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T08:29:52Z urn:sha1:70b40bfb6c032c0dead7069b2178a43e63a8e563