summaryrefslogtreecommitdiff log msg author committer range path: root/MakefileAgeCommit message (Expand)Author 2017-09-25Updates Tests, fixes 2 properties & inferred/*.modNathanael Sensfelder 2017-09-21Got some property dependencies to work.Nathanael Sensfelder 2017-09-20Solves the missing solutions bug. Starts PropDeps.Nathanael Sensfelder 2017-09-19Fixes case/when models, regroups properties.Nathanael Sensfelder 2017-09-19Continues to implement automated testing.Nathanael Sensfelder 2017-09-18Moves the templates to accommodate the tests.Nathanael Sensfelder 2017-09-18Go back to the usual default properties.Nathanael Sensfelder 2017-09-01Adds test cases for the issue.Nathanael Sensfelder 2017-08-30Reduces the scalability issue.Nathanael Sensfelder 2017-08-30Gets stuck due to scaling issues.Nathanael Sensfelder 2017-08-29Most of the program's logic seems to be there...Nathanael Sensfelder 2017-08-28The pong.xml AST is not included.Nathanael Sensfelder 2017-08-28Small changes? Forgot to commit.Nathanael Sensfelder 2017-08-16Fixes Makefiles so they can run parallel jobs.Nathanael Sensfelder 2017-08-15Partial attr. support, build/run targets, literalsNathanael Sensfelder 2017-08-03Fixes issues in properties, Makefiles.Nathanael Sensfelder 2017-08-03Other than the pretty-printer, it seems done.Nathanael Sensfelder 2017-08-03Improving clarity through better Makefiles.Nathanael Sensfelder
