index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Predication
/
SmartBlockPredicator.cs
Commit message (
Expand
)
Author
Age
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
Patch by Jeroen Ketema.
Dan Liew
2015-04-05
*
Patch by Jeroen Ketema
Dan Liew
2015-03-27
*
Fixes to predication. Patch by Jeroen Ketema.
Ally Donaldson
2014-03-18
*
More exhaustive generation of assertions during predication. Patch by Jeroen...
Ally Donaldson
2014-03-14
*
Fix to predication
Ally Donaldson
2014-03-05
*
Fixes to predication. Patch by Jeroen Ketema.
Ally Donaldson
2013-11-06
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
BlockSeq: farewell
Ally Donaldson
2013-07-22
*
CmdSeq: farewell
Ally Donaldson
2013-07-22
*
Fixes to refactoring
Ally Donaldson
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
More refactoring towards replacing PureCollections.Sequence with List
Ally Donaldson
2013-07-22
*
Fixed bug with predication, and fixed small problem with model generation rel...
allydonaldson
2013-03-01
*
Support for "do_not_predicate" in predication of requires and ensures
Unknown
2012-12-20
*
A simplification to predication of requires and ensures.
Unknown
2012-11-29
*
bunch of refactorings
Unknown
2012-10-03