summaryrefslogtreecommitdiff
path: root/Source/Core/StandardVisitor.cs
Commit message (Expand)AuthorAge
* 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
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* Resolved some issues with data races.Gravatar wuestholz2013-07-23
* 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
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* added parallel callsGravatar Unknown2013-03-01
* removed call forall and * args to callsGravatar Unknown2013-02-23
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* more changes to bitvector analysisGravatar qadeer2011-08-29
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 00:53:07 +0000