summaryrefslogtreecommitdiff
path: root/Source/Core/StandardVisitor.cs
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Modified internal abstract float representation to allow user-defined mantiss...Gravatar Dietrich2015-07-13
* 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
* Merging changes from wuestholz/BoogieInvariantFixesIIIIGravatar wuestholz2015-01-13
|\
| * Made invariant of class 'Trigger' robust by:Gravatar wuestholz2015-01-09
| * Made invariant of class 'QKeyValue' robust by:Gravatar wuestholz2015-01-09
* | Made invariant of class 'Trigger' robust byGravatar 0biha2015-01-01
|/
* Replaced properties Lhss_NRO and Rhss_NRO by methods SetLhs and SetRhs.Gravatar 0biha2014-12-25
* Made some compatibility fixes after running the unit tests.Gravatar 0biha2014-12-24
* Did more refactoring.Gravatar wuestholz2014-09-23
* 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-05-12 01:52:52 +0000