log

age author description
Mon, 14 Apr 2014 15:10:10 +0200 Roland Schatz Don't rely on every memory read reading the value kind of the access location.
Mon, 14 Apr 2014 15:07:23 +0200 Roland Schatz Keep metadata annotation in NewArrayStub, and add exception to stub invariants.