Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 17 Feb 2015 23:31:15 +0100 | Thomas Wuerthinger | Undo previous change on probability cut-off for inlining. Perform experiment later. |
Tue, 17 Feb 2015 23:08:49 +0100 | Thomas Wuerthinger | Use atomic integer for iterable IDs to prevent races. |