Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 23 Feb 2015 23:55:23 +0100 | Thomas Wuerthinger | The infer stamps algorithm is not guaranteed to reach a stable state. |
Mon, 23 Feb 2015 23:54:00 +0100 | Thomas Wuerthinger | Do not infer stamps for checking Graal invariants. |