log

age author description
Tue, 27 Jan 2015 23:52:31 +0100 Thomas Wuerthinger Rename KillSet to LocationSet, make it more efficient, and fix a bug related to ANY_LOCATION.
Tue, 27 Jan 2015 23:52:05 +0100 Thomas Wuerthinger Add a corner case test case with a mixture of unsafe writes and normal reads.
Tue, 27 Jan 2015 20:28:43 -0800 Michael Van De Vanter Truffle/Instrumentation: clean up and repair some old unit tests