summaryrefslogtreecommitdiff
path: root/Source/UnitTests/CoreTests
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* renamed fp32 to BigFloatGravatar Dietrich2015-04-20
* adding references to the floating point type wherever references to the real ...Gravatar Dietrich2015-04-17
* Protect Bitvector field of BvExtractExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Protect E0 and E1 in BvConcatExpr if Expr is immutable.Gravatar Dan Liew2015-02-12
* Protect the Args field of NAryExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Add unit tests to check that ComputeHashCode() and GetHashCode() agreeGravatar Dan Liew2015-01-29
* Add unit tests to check that ComputeHashCode() and GetHashCode() agreeGravatar Dan Liew2015-01-29
* Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when theyGravatar Dan Liew2015-01-29
* Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possibleGravatar Dan Liew2015-01-29
* Protect the NAryExpr.Fun field when the NAryExpr is immutable.Gravatar Dan Liew2015-01-29
* Protect the Expr field of OldExpr if it is immutable. Add unit testGravatar Dan Liew2015-01-29
* Add some unit tests to check the enforcement of Expr immutability.Gravatar Dan Liew2015-01-29
* Add unit test to catch another bug in Boogie where FunctionCall ShallowTypeGravatar Dan Liew2014-11-25
* Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowTypeGravatar Dan Liew2014-11-25
* Change the ToolsVersion attribute of the Project tag in the recentlyGravatar Dan Liew2014-11-19
* Introduce unit tests which use NUnit. NUnit is now a dependencyGravatar Dan Liew2014-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 23:46:47 +0000