summaryrefslogtreecommitdiff
path: root/Source/Core/ResolutionContext.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* updated the mover checksGravatar qadeer2014-04-25
* Add support for assumption variables.Gravatar wuestholz2014-04-21
* fixed code contracts violationsGravatar qadeer2014-02-11
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* extended inlining to deal with codeexprsGravatar qadeer2013-08-14
* cleaned up the OG codeGravatar qadeer2013-08-07
* Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...Gravatar wuestholz2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* added parallel callsGravatar Unknown2013-03-01
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* added support for handling duplicate axiomsGravatar qadeer2011-11-22
* convert assert to requiresGravatar qadeer2011-05-16
* Boogie: added features to help with modular verification. In particular, defi...Gravatar Rustan Leino2011-05-13
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* 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-11-27 18:29:11 +0000