| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-21 | Got some property dependencies to work. | Nathanael Sensfelder | |
| 2017-09-20 | Solves the missing solutions bug. Starts PropDeps. | Nathanael Sensfelder | |
| 2017-09-19 | Fixes case/when models, regroups properties. | Nathanael Sensfelder | |
| 2017-09-19 | Continues to implement automated testing. | Nathanael Sensfelder | |
| ... in a hacky sort of way. | |||
| 2017-09-18 | Moves the templates to accommodate the tests. | Nathanael Sensfelder | |
| 2017-09-18 | Go back to the usual default properties. | Nathanael Sensfelder | |
| 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. | |||
| 2017-08-30 | Gets stuck due to scaling issues. | Nathanael Sensfelder | |
| 2017-08-29 | Most of the program's logic seems to be there... | Nathanael Sensfelder | |
| 2017-08-28 | The pong.xml AST is not included. | Nathanael Sensfelder | |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder | |
| 2017-08-16 | Fixes Makefiles so they can run parallel jobs. | Nathanael Sensfelder | |
| 2017-08-15 | Partial attr. support, build/run targets, literals | Nathanael Sensfelder | |
| 2017-08-03 | Fixes issues in properties, Makefiles. | Nathanael Sensfelder | |
| 2017-08-03 | Other than the pretty-printer, it seems done. | Nathanael Sensfelder | |
| 2017-08-03 | Improving clarity through better Makefiles. | Nathanael Sensfelder | |