summaryrefslogtreecommitdiff
path: root/Source/VCExpr/VCExprAST.cs
Commit message (Expand)AuthorAge
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* Refactoring of TypeVariableSeqGravatar Ally Donaldson2013-07-22
* Fixes for duality under corralGravatar Ken McMillan2013-06-14
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Boogie: use (WEIGHT 0) with the select-of-store axiomsGravatar Rustan Leino2011-06-29
* new algorithm for dead code detection (vc:doomed)Gravatar schaef2011-03-15
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Add VCExprNAry.UniformArguments property to return arguments of nested And/Or...Gravatar MichalMoskal2011-02-15
* Boogie:Gravatar rustanleino2010-10-12
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed a few contracts errorsGravatar tabarbe2010-08-19
* Boogie: Committing new source code for VCExprGravatar tabarbe2010-08-13
* Boogie: Renaming VCExpr sources in preparation for port commitGravatar tabarbe2010-08-13
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-09 07:52:30 +0000