aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Recreate the optimizer after the preamble to get full controll over what stat...Hakan Ardo2010-11-091-17/+32
* Cleaned up the handling of the arguments of the final jump. They should now b...Hakan Ardo2010-11-061-14/+11
* Keep track of boxes created in second iteration insted of trying to figure ou...Hakan Ardo2010-11-051-20/+19
* simplification.Armin Rigo2010-10-311-12/+2
* (hakanardo, arigo) saner propagation of force_at_end_of_preambleHakan Ardo2010-10-311-1/+1
* remove the now useless argument to setupCarl Friedrich Bolz2010-10-311-4/+6
* (armin, cfbolz, hakanardo) Dont invalidate cached on set*_rawHakan Ardo2010-10-311-1/+1
* fixed bound testsHakan Ardo2010-10-311-1/+1
* fixed testsHakan Ardo2010-10-301-0/+1
* (hakanardo, cfbolz, arigo) dont propagate guard_no_exception from one iterati...Hakan Ardo2010-10-301-0/+2
* this is no longer necessary nowCarl Friedrich Bolz2010-10-301-5/+2
* (hakanardo, cfbolz) force lazy setfileds at end of preambleHakan Ardo2010-10-301-5/+9
* (hakanardo, cfbolz): an XXX and a typoCarl Friedrich Bolz2010-10-301-2/+2
* (armin, hakanardo) cleanupsHakan Ardo2010-10-291-34/+2
* (armin, hakanardo) separate into 3 loopsHakan Ardo2010-10-291-39/+59
* (hakanardo, arigo) Fix.Armin Rigo2010-10-291-3/+3
* (hakanardo, arigo)Armin Rigo2010-10-291-6/+10
* Dont duplicate inputargsHakan Ardo2010-10-271-1/+2
* virtuals with circular refsHakan Ardo2010-10-261-3/+3
* pure_operations inherited from first iterationHakan Ardo2010-10-211-0/+5
* OptimizeHakan Ardo2010-10-201-2/+2
* translation fixHakan Ardo2010-10-151-2/+1
* Clear all last_guard_index before inlining, support the reording of operation...Hakan Ardo2010-10-141-2/+14
* translation fixesHakan Ardo2010-10-121-3/+9
* cleanupsHakan Ardo2010-10-121-5/+0
* test_basic.py and test_virtual.py probably okHakan Ardo2010-10-101-5/+15
* saner fail_args handlingHakan Ardo2010-10-101-19/+28
* bugfixHakan Ardo2010-10-091-1/+3
* arguments of jump fixedHakan Ardo2010-10-091-2/+4
* support some virtualsHakan Ardo2010-10-091-5/+9
* Fixed fail_argsHakan Ardo2010-10-081-1/+1
* only one entry bridge generated nowHakan Ardo2010-10-071-0/+2
* guards working, test_loop_invariant_mul1 passingHakan Ardo2010-10-011-12/+13
* Unrolls loop traces to create entry bridge and loop from the same trace allow...Hakan Ardo2010-09-301-0/+86