Mercurial > hg > truffle
diff README.md @ 19056:9544b5f67626
Simplify IntegerStamp.meet. Simplify assertion in ArithmeticStamp.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Sun, 01 Feb 2015 02:21:32 +0100 |
parents | 8dfd3f53ba4a |
children | 271eee87201c |