| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-07-19 | Formula.and(Formula...) != a.and(Formula...) | Nathanael Sensfelder | |
| Having both a static and a non-static function share a name does not seem like a sane decision. | |||
| 2017-07-19 | forgot to use cfg-to-path. Still broken though. | Nathanael Sensfelder | |
| 2017-07-19 | Dammit, it says flip-flops are combinational... | Nathanael Sensfelder | |
| 2017-07-19 | Adds "real" property: Find combinational processes | Nathanael Sensfelder | |
| 2017-07-19 | Adds messages to follow the framework's flow. | Nathanael Sensfelder | |
| 2017-07-19 | First shot at the framework (it does compile). | Nathanael Sensfelder | |
| 2017-07-18 | Adds missing predicate from g4 to instr scripts | Nathanael Sensfelder | |
| 2017-07-17 | Adds the (rather costly) predicate to handle Until | Nathanael Sensfelder | |
| 2017-07-17 | Fixes a few dumb mistakes, adds ps example. | Nathanael Sensfelder | |
| 2017-07-17 | Working on a way to CTL over DAG in Kodkod. | Nathanael Sensfelder | |
| 2017-07-17 | Initial commit. | Nathanael Sensfelder | |