tabellion/data/property, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). New pr 2017-07-26T12:45:43+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-26T12:45:43+00:00 694d42f9ca5e6728dc1170a740264ee98bf5cbe5 






It seems to work.
2017-07-25T14:58:09+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-25T14:58:09+00:00

d2289b32c2602f9c64d25a80e54e56dee233448a












Fixes issues with "_". things seem to work now.
2017-07-25T13:09:28+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-25T13:09:28+00:00

3b35064d28382b66bdbe481baca9d80cc059dc42












Formula.and(Formula...) != a.and(Formula...)
2017-07-19T15:02:57+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T15:02:57+00:00

9f312f0135fd54d9c71c60bc856a48318bd632d3

Having both a static and a non-static function share a name does not
seem like a sane decision.





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:05+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T13:31:05+00:00

35bce44858fcd7b0dab398cbce72d13057d3a501












Dammit, it says flip-flops are combinational...
2017-07-19T12:32:12+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T12:32:12+00:00

126fb20387caffaa8e05e2a5fee1be78ab1cb1ff












Adds "real" property: Find combinational processes
2017-07-19T12:11:30+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T12:11:30+00:00

c368dd6867fc14463a0f35672a5a7f38693474ed












First shot at the framework (it does compile).
2017-07-19T08:29:52+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T08:29:52+00:00

70b40bfb6c032c0dead7069b2178a43e63a8e563