index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
UnitTests
/
CoreTests
Commit message (
Expand
)
Author
Age
*
Merging complete. Everything looks good *crosses fingers*
Checkmate50
2016-06-06
*
renamed fp32 to BigFloat
Dietrich
2015-04-20
*
adding references to the floating point type wherever references to the real ...
Dietrich
2015-04-17
*
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
*
Add unit test to catch another bug in Boogie where FunctionCall ShallowType
Dan Liew
2014-11-25
*
Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType
Dan Liew
2014-11-25
*
Change the ToolsVersion attribute of the Project tag in the recently
Dan Liew
2014-11-19
*
Introduce unit tests which use NUnit. NUnit is now a dependency
Dan Liew
2014-11-17