Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Protect Bitvector field of BvExtractExpr when it is immutable. | Dan Liew | 2015-02-12 |
* | Protect E0 and E1 in BvConcatExpr if Expr is immutable. | Dan Liew | 2015-02-12 |
* | Protect the Args field of NAryExpr when it is immutable. | Dan Liew | 2015-02-12 |
* | Add unit tests to check that ComputeHashCode() and GetHashCode() agree | Dan Liew | 2015-01-29 |
* | Add unit tests to check that ComputeHashCode() and GetHashCode() agree | Dan Liew | 2015-01-29 |
* | Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when they | Dan Liew | 2015-01-29 |
* | Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possible | Dan Liew | 2015-01-29 |
* | Protect the NAryExpr.Fun field when the NAryExpr is immutable. | Dan Liew | 2015-01-29 |
* | Protect the Expr field of OldExpr if it is immutable. Add unit test | Dan Liew | 2015-01-29 |
* | Add some unit tests to check the enforcement of Expr immutability. | Dan Liew | 2015-01-29 |