Mercurial > hg > truffle
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. |