Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixed bug in vcgen for bitvectors | 2011-07-09 | |
* | Replaced all dictionaries that mapped to bool (i.e., were being used to imple... | 2011-03-10 | |
* | Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic... | 2011-03-10 | |
* | Boogie: Commented out all occurences of repeated inherited contracts - makes ... | 2010-08-27 | |
* | Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us... | 2010-08-18 | |
* | Make /typeEncoding:m work with arrays | 2010-08-18 | |
* | Fixup line-endings. | 2010-08-06 | |
* | Boogie: Removed trailing spaces in code | 2010-08-04 | |
* | Boogie: Committing ported version of Z3. | 2010-07-20 | |
* | Boogie: Let's try that rename again, shall we? | 2010-07-20 | |
* | Boogie: Rename didn't work. Resetting to try again | 2010-07-20 | |
* | Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port o... | 2010-07-20 |