summaryrefslogtreecommitdiff
path: root/impl/test/run
AgeCommit message (Expand)Author
2012-08-06New variation on the equation system solver....Much simpler to understand. Basically have a variable assignment which is dynamic and updates with the strategy changes. Similarly have strategy changes easily invalidate the variable assignment. This makes them strongly inter-dependent, but simplifies the implementation considerably. Proving it should be easier like this, too. Carlo Zancanaro
2012-07-10Simple test stuff - examples from the paperCarlo Zancanaro