summaryrefslogtreecommitdiff
path: root/impl/MaxStrategy.hpp
AgeCommit message (Expand)Author
2012-10-15Fix up to build with clang (and fix another bug)...Carlo Zancanaro
2012-09-20Remove exceptions and C++11 features for LLVM.Carlo Zancanaro
2012-09-05Delete a lot of tex stuff, better debug info...Carlo Zancanaro
2012-08-07A whole bunch of clean up work around the place....Carlo Zancanaro
2012-07-10Modify MaxStrategy to print itself better.Carlo Zancanaro
2012-07-09Better implementation: smarter strategy iteration...Carlo Zancanaro
2012-07-05Intermediate (broken) commit - smarter strategyCarlo Zancanaro
2012-07-02Dependency-aware smart fixpoint....Carlo Zancanaro
2012-06-15Parameterise fixpoint and strategy improvement...Carlo Zancanaro
2012-06-15Fix up the smart fixpoint iteration - make it actually work!Carlo Zancanaro
2012-06-15Re-write heaps of code to work better.Carlo Zancanaro
2012-05-28Fix issues with some things ignoring strategies.Carlo Zancanaro
2012-05-28Fix memory error and x = max(-inf, expr) stuff.Carlo Zancanaro
2012-05-17Fix a segfault and a stupid parser decision.Carlo Zancanaro
2012-04-30Functional algorithm. Unoptimised.Carlo Zancanaro
2012-04-27Bit more work. maxFixpoint should be working now.Carlo Zancanaro
2012-04-26A new attempt. Better strategies implementation....Carlo Zancanaro
generated by cgit v1.2.3 (git 2.46.0) at 2024-09-20 05:37:11 +0000