Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sat, 27 Apr 2013 18:06:32 +0200 | Thomas Wuerthinger | Fix capping. |
Sat, 27 Apr 2013 18:02:20 +0200 | Thomas Wuerthinger | Cap probability to 1.0. |
Sat, 27 Apr 2013 17:22:54 +0200 | Thomas Wuerthinger | Added comment. |
Sat, 27 Apr 2013 17:16:03 +0200 | Thomas Wuerthinger | Implement swapping of == if one value is proven equal and the other is proven distinct. |