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