index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
/
Duplicator.cs
Commit message (
Expand
)
Author
Age
*
Fix duplicator so that BVConcatExpr and BVExtractExpr are handled. Patch by ...
Ally Donaldson
2014-03-12
*
Changed all lambda-expression rewriting to be done as a pre-processing step b...
Rustan Leino
2014-02-28
*
Fixed errors in the use of Code Contracts
Rustan Leino
2014-02-10
*
extended NormalSubstituter so that it can take in a forold substitution
qadeer
2014-01-10
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
various updates and tighter integration of QED stuff into mainline
qadeer
2013-12-19
*
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
a minor refactoring + implemented mover checking
qadeer
2013-10-25
*
Fix for the Duplicator.
akashlal
2013-10-15
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
RESeq: farewell
Ally Donaldson
2013-07-22
*
BlockSeq: farewell
Ally Donaldson
2013-07-22
*
CmdSeq: farewell
Ally Donaldson
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
Fixed bugs arising from differences between hashtables and dictionaries
Ally Donaldson
2013-07-22
*
Large refactoring of Hashtable to Dictionary.
Ally Donaldson
2013-07-22
*
removed call forall and * args to calls
Unknown
2013-02-23
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20