| summaryrefslogtreecommitdiff | 
| Age | Commit message (Collapse) | 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 | |
| Having both a static and a non-static function share a name does not seem like a sane decision. | |||
| 2017-07-19 | Dammit, it says flip-flops are combinational... | Nathanael Sensfelder | |
| 2017-07-19 | Adds "real" property: Find combinational processes | Nathanael Sensfelder | |


