summaryrefslogtreecommitdiff
path: root/Source/Core/LambdaHelper.cs
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Minor changeGravatar wuestholz2015-01-26
* Did more refactoring.Gravatar wuestholz2014-09-23
* Add alpha equivalence check for Expr, and use it when lambda liftingGravatar Dan Rosén2014-08-01
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Fixed issue involving axioms in the dependency analysis used for verification...Gravatar wuestholz2014-07-03
* Changed the 'verifySnapshots' command-line option to accept a numeric argumen...Gravatar wuestholz2014-06-20
* Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.Gravatar wuestholz2014-03-17
* Changed all lambda-expression rewriting to be done as a pre-processing step b...Gravatar Rustan Leino2014-02-28
* Changed return type of VisitLambdaExpr to just ExprGravatar Rustan Leino2014-02-27
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* Make set iteration order deterministicGravatar Michal Moskal2011-12-07
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20