summaryrefslogtreecommitdiff
path: root/impl
AgeCommit message (Expand)Author
2012-11-29A test I forgot to commit earlier.HEADmasterCarlo Zancanaro
2012-11-27Thesis and performance testing related stuff.Carlo Zancanaro
2012-11-27Updated solver stuff. This really should have already been in here...Zancanaro; Carlo
2012-11-22A few fixes.Carlo Zancanaro
2012-11-21Some performance stuff for the solverCarlo Zancanaro
2012-11-21Bug fixes for stupid things.Carlo Zancanaro
2012-11-21Implementation stuff.Zancanaro; Carlo
2012-11-09A bunch of changes to make it build nicer...Carlo Zancanaro
2012-11-09Add an MCF operator to the separate solver...Carlo Zancanaro
2012-11-05Remove a bit of junk and fix up the logging again.Carlo Zancanaro
2012-11-02Change to using "touched" sets, and some writing.Carlo Zancanaro
2012-11-01Fixing up some equation system stuff....Zancanaro; Carlo
2012-11-01A bunch of fixes to the solver, and moving it in to clang....Zancanaro; Carlo
2012-10-31Remove _var_influence and do some writeup...Carlo Zancanaro
2012-10-30Merge branch 'master' of ssh://bitbucket.org/czan/honours...Carlo Zancanaro
2012-10-27Output some timing information to stderr.Carlo Zancanaro
2012-10-27Don't show stderr in tests. That's just annoying.Carlo Zancanaro
2012-10-26Add some tests, and stuff.Carlo Zancanaro
2012-10-26Try to make the correct solver into a local solver...Carlo Zancanaro
2012-10-24Add a fix for mutually-recursive infinite things...Carlo Zancanaro
2012-10-23Another fix, with a test for what the problem was.Carlo Zancanaro
2012-10-23Fix the merge.Carlo Zancanaro
2012-10-23Merge branch 'master' of https://bitbucket.org/czan/honours...Carlo Zancanaro
2012-10-23Make the recursive solver work properly....Carlo Zancanaro
2012-10-22Okay, the solver is now correct....Carlo Zancanaro
2012-10-16A quick fix to the solver.Carlo Zancanaro
2012-10-15Some bug fixes for the solver....Carlo Zancanaro
2012-10-15... Assert needs some includes.Carlo Zancanaro
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-07Merge complete! Get onto the right branch.Carlo Zancanaro
2012-08-07A whole bunch of clean up work around the place....Carlo Zancanaro
2012-08-06New variation on the equation system solver....Carlo Zancanaro
2012-07-10Update TODO file.Carlo Zancanaro
2012-07-10Modify MaxStrategy to print itself better.Carlo Zancanaro
2012-07-10Clean up the building of the parser a bit.Carlo Zancanaro
2012-07-10Fix the Makefile for partial compilation stuffCarlo Zancanaro
2012-07-10A few other changes that were needed for tests...Carlo Zancanaro
2012-07-10Move antlr. Add `make test` to Makefile.Carlo Zancanaro
2012-07-10Simple test stuff - examples from the paperCarlo Zancanaro
2012-07-09Few quick logging changes, just for fun.Carlo Zancanaro
2012-07-09Add a bit of a TODO.orgCarlo Zancanaro
2012-07-09New example system.Carlo Zancanaro
2012-07-09Simple little bug.Carlo Zancanaro
2012-07-09Cleaning up a bit of code around the place....Carlo Zancanaro
2012-07-09Fix a few bugs and add a new example system.Carlo Zancanaro
2012-07-09Fixed up the newer strategy iteration stuff...Carlo Zancanaro
2012-07-09Better implementation: smarter strategy iteration...Carlo Zancanaro
2012-07-05Forgot a file! Whoops!Carlo Zancanaro
generated by cgit v1.2.3 (git 2.46.0) at 2024-09-19 22:53:40 +0000