| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-01 | Fixes regex predicate + optimizes CNE_01700. | Nathanael Sensfelder | |
| The combination of those two changes makes the solving much faster, but since BCE does not have anything that would be matched, it may also simply be incorrect. | |||
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder | |
| Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. | |||
| 2017-07-26 | New pr | Nathanael Sensfelder | |
| 2017-07-25 | It seems to work. | Nathanael Sensfelder | |
| 2017-07-25 | Fixes issues with "_". things seem to work now. | Nathanael Sensfelder | |
| 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 | First shot at the framework (it does compile). | Nathanael Sensfelder | |