log

age author description
Thu, 05 Mar 2015 14:26:16 +0100 Thomas Wuerthinger Add Graph#reverseUsageOrder facility. Add test case for guard elimination corner case.
Mon, 09 Mar 2015 15:52:59 +0100 Stefan Anzinger [SPARC] Refactor initialization of backend
Mon, 09 Mar 2015 14:22:15 +0100 Benoit Daloze CyclicAssumption: Use an AtomicReference to ensure invalidation.