| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-08-01 | Fixes regex predicate + optimizes CNE_01700. | Nathanael Sensfelder |
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder |
| 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 |
| 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 |