| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-21 | Got some property dependencies to work. | 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. | |||
| 2017-08-30 | Gets stuck due to scaling issues. | Nathanael Sensfelder | |
| 2017-08-30 | Outputs are now generated. | Nathanael Sensfelder | |
| 2017-08-29 | Most of the program's logic seems to be there... | Nathanael Sensfelder | |
| 2017-08-28 | Starts the Instance Calculator | Nathanael Sensfelder | |