summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3/TypeDeclCollector.cs
Commit message (Expand)AuthorAge
* bunch of refactoringsGravatar Unknown2012-10-03
* fixed bug in vcgen for bitvectorsGravatar qadeer2011-07-09
* 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
* 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
* Fixup line-endings.Gravatar MichalMoskal2010-08-06
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Committing ported version of Z3.Gravatar tabarbe2010-07-20
* Boogie: Let's try that rename again, shall we?Gravatar tabarbe2010-07-20
* Boogie: Rename didn't work. Resetting to try againGravatar tabarbe2010-07-20
* Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port o...Gravatar tabarbe2010-07-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 11:10:35 +0000