| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 | Dammit, it says flip-flops are combinational... | Nathanael Sensfelder |
| 2017-07-19 | Adds "real" property: Find combinational processes | Nathanael Sensfelder |