| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-01 | Adds test cases for the issue. | Nathanael Sensfelder | |
| 2017-08-30 | Reduces the scalability issue. | Nathanael Sensfelder | |
| It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away. | |||