Fri, 30 Oct 2009 15:32:04 +0100 Christian Urban merged
Fri, 30 Oct 2009 15:30:33 +0100 Christian Urban not sure what changed here
Fri, 30 Oct 2009 15:28:44 +0100 Christian Urban added fv-function
Fri, 30 Oct 2009 15:22:59 +0100 Cezary Kaliszyk The proper real_alpha
Fri, 30 Oct 2009 14:25:37 +0100 Cezary Kaliszyk Finding applications and duplicates filtered out in abstractions
Fri, 30 Oct 2009 12:22:03 +0100 Cezary Kaliszyk Cleaning also in Lam
Fri, 30 Oct 2009 11:25:29 +0100 Cezary Kaliszyk Cleaning of the interface to lift.
Thu, 29 Oct 2009 17:35:03 +0100 Cezary Kaliszyk Tried manually lifting real_alpha
(0) -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip