summaryrefslogtreecommitdiff
path: root/Source/Core/Duplicator.cs
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.Gravatar wuestholz2015-02-18
* Protect the Args field of NAryExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Change the return type of StandardVisitor.VisitLiteralExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitExistsExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitForAllExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitBvExtractExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitBvConcatExpr() fromGravatar Dan Liew2015-01-25
* Fixed an issue (reported by Akash Lal).Gravatar wuestholz2014-10-30
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Fix bug in the Duplicator.Gravatar Dan Liew2014-10-08
* Fix bug in Duplicator. Previously when cloning an entire ProgramGravatar Dan Liew2014-10-06
* Improved on my fix to the Duplicator bug fixed in ca82591ab1f8.Gravatar Dan Liew2014-10-06
* Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNamesGravatar Dan Liew2014-10-05
* Better fix for the duplicator, thanks to wuestholzGravatar akashlal2014-09-27
* Fix for the duplicator; can't use CloneGravatar akashlal2014-09-26
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* Worked on an extension of the existing verification result caching.Gravatar wuestholz2014-06-23
* Fix duplicator so that BVConcatExpr and BVExtractExpr are handled. Patch by ...Gravatar Ally Donaldson2014-03-12
* Changed all lambda-expression rewriting to be done as a pre-processing step b...Gravatar Rustan Leino2014-02-28
* Fixed errors in the use of Code ContractsGravatar Rustan Leino2014-02-10
* extended NormalSubstituter so that it can take in a forold substitutionGravatar qadeer2014-01-10
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* a minor refactoring + implemented mover checkingGravatar qadeer2013-10-25
* Fix for the Duplicator.Gravatar akashlal2013-10-15
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* RESeq: farewellGravatar Ally Donaldson2013-07-22
* BlockSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* Fixed bugs arising from differences between hashtables and dictionariesGravatar Ally Donaldson2013-07-22
* Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* removed call forall and * args to callsGravatar Unknown2013-02-23
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20