| Commit message (Expand) | Author | Age | Files | Lines |
* | Recreate the optimizer after the preamble to get full controll over what stat... | Hakan Ardo | 2010-11-09 | 1 | -17/+32 |
* | Cleaned up the handling of the arguments of the final jump. They should now b... | Hakan Ardo | 2010-11-06 | 1 | -14/+11 |
* | Keep track of boxes created in second iteration insted of trying to figure ou... | Hakan Ardo | 2010-11-05 | 1 | -20/+19 |
* | simplification. | Armin Rigo | 2010-10-31 | 1 | -12/+2 |
* | (hakanardo, arigo) saner propagation of force_at_end_of_preamble | Hakan Ardo | 2010-10-31 | 1 | -1/+1 |
* | remove the now useless argument to setup | Carl Friedrich Bolz | 2010-10-31 | 1 | -4/+6 |
* | (armin, cfbolz, hakanardo) Dont invalidate cached on set*_raw | Hakan Ardo | 2010-10-31 | 1 | -1/+1 |
* | fixed bound tests | Hakan Ardo | 2010-10-31 | 1 | -1/+1 |
* | fixed tests | Hakan Ardo | 2010-10-30 | 1 | -0/+1 |
* | (hakanardo, cfbolz, arigo) dont propagate guard_no_exception from one iterati... | Hakan Ardo | 2010-10-30 | 1 | -0/+2 |
* | this is no longer necessary now | Carl Friedrich Bolz | 2010-10-30 | 1 | -5/+2 |
* | (hakanardo, cfbolz) force lazy setfileds at end of preamble | Hakan Ardo | 2010-10-30 | 1 | -5/+9 |
* | (hakanardo, cfbolz): an XXX and a typo | Carl Friedrich Bolz | 2010-10-30 | 1 | -2/+2 |
* | (armin, hakanardo) cleanups | Hakan Ardo | 2010-10-29 | 1 | -34/+2 |
* | (armin, hakanardo) separate into 3 loops | Hakan Ardo | 2010-10-29 | 1 | -39/+59 |
* | (hakanardo, arigo) Fix. | Armin Rigo | 2010-10-29 | 1 | -3/+3 |
* | (hakanardo, arigo) | Armin Rigo | 2010-10-29 | 1 | -6/+10 |
* | Dont duplicate inputargs | Hakan Ardo | 2010-10-27 | 1 | -1/+2 |
* | virtuals with circular refs | Hakan Ardo | 2010-10-26 | 1 | -3/+3 |
* | pure_operations inherited from first iteration | Hakan Ardo | 2010-10-21 | 1 | -0/+5 |
* | Optimize | Hakan Ardo | 2010-10-20 | 1 | -2/+2 |
* | translation fix | Hakan Ardo | 2010-10-15 | 1 | -2/+1 |
* | Clear all last_guard_index before inlining, support the reording of operation... | Hakan Ardo | 2010-10-14 | 1 | -2/+14 |
* | translation fixes | Hakan Ardo | 2010-10-12 | 1 | -3/+9 |
* | cleanups | Hakan Ardo | 2010-10-12 | 1 | -5/+0 |
* | test_basic.py and test_virtual.py probably ok | Hakan Ardo | 2010-10-10 | 1 | -5/+15 |
* | saner fail_args handling | Hakan Ardo | 2010-10-10 | 1 | -19/+28 |
* | bugfix | Hakan Ardo | 2010-10-09 | 1 | -1/+3 |
* | arguments of jump fixed | Hakan Ardo | 2010-10-09 | 1 | -2/+4 |
* | support some virtuals | Hakan Ardo | 2010-10-09 | 1 | -5/+9 |
* | Fixed fail_args | Hakan Ardo | 2010-10-08 | 1 | -1/+1 |
* | only one entry bridge generated now | Hakan Ardo | 2010-10-07 | 1 | -0/+2 |
* | guards working, test_loop_invariant_mul1 passing | Hakan Ardo | 2010-10-01 | 1 | -12/+13 |
* | Unrolls loop traces to create entry bridge and loop from the same trace allow... | Hakan Ardo | 2010-09-30 | 1 | -0/+86 |