summaryrefslogtreecommitdiff
path: root/Source/VCExpr/VCExprASTVisitors.cs
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Modified translation so that z3 runs with type checking for simple binary ope...Gravatar Checkmate502015-10-14
* Added initial support for float additionGravatar Checkmate502015-09-17
* Began adding the float type to VC expressionGravatar Dietrich2015-04-27
* more work on reducing call stack consumptionGravatar qadeer2014-12-18
* patched two occurrences of StackOverflowException on benchmarks from IronCladGravatar qadeer2014-12-16
* Minor fixGravatar wuestholz2013-07-23
* Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...Gravatar wuestholz2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Replaced all dictionaries that mapped to bool (i.e., were being used to imple...Gravatar mikebarnett2011-03-10
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Fix some more contracts.Gravatar mikebarnett2011-03-07
* Fix contracts so runtime checking can be turned on.Gravatar mikebarnett2011-03-07
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...Gravatar MichalMoskal2010-08-18
* Make /typeEncoding:m work with arraysGravatar MichalMoskal2010-08-18
* 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 2024-12-01 18:10:26 +0000