| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |