log

age author description
Tue, 10 Jun 2014 12:11:48 +0200 Lukas Stadler assertion mechanism for snippets and stubs
Wed, 11 Jun 2014 11:17:30 +0200 Roland Schatz Remove dead code.
Wed, 11 Jun 2014 11:14:30 +0200 Roland Schatz Reuse existing address simplification code in visitDirectCompareAndSwap.