summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Don't crash in Context.Lookup when the namer has never seen the name. This ha...Gravatar MichalMoskal2010-12-10
* More BCT ignoresGravatar MichalMoskal2010-12-10
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* Ignore some BCT filesGravatar MichalMoskal2010-12-10
* Add a reference to ParserHelper.dll for the definition of IToken which was mo...Gravatar mikebarnett2010-12-09
* Fixed field update and field dereference.Gravatar mikebarnett2010-12-09
* Adapt to new APIs in CCI.Gravatar mikebarnett2010-12-08
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
* stratified inlining: added option of turning off CheckAssumptionsGravatar akashlal2010-12-07
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* Remove FSharp DLLs (no longer needed) and obsolete MakefileGravatar MichalMoskal2010-12-06
* Remove the checked in Microsoft.ContractsGravatar MichalMoskal2010-12-06
* Move CCE to 4.0Gravatar MichalMoskal2010-12-06
* Ignore one more VCC functionGravatar MichalMoskal2010-12-06
* One more link to version.csGravatar stobies2010-12-06
* Removed superfluous app.configGravatar stobies2010-12-06
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Boogie: Updated 'PrepareBoogieZip.bat'.Gravatar wuestholz2010-12-06
* Small changes to compile and test Chalice on Linux.Gravatar kyessenov2010-12-04
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Boogie build succeededGravatar codeplexbot2010-12-02
* Construct @MV_state function only once so it doesn't get renamed to @MV_state...Gravatar MichalMoskal2010-12-02
* Get rid of F# dependencies - use System.Numerics and a custom Rational struct...Gravatar MichalMoskal2010-12-02
* Ignore more generated files.Gravatar MichalMoskal2010-12-02
* Set output directory to Binaries/Gravatar MichalMoskal2010-12-02
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* stratified inlining: small fixGravatar akashlal2010-12-01
* stratified inlining: reuse call tree across queriesGravatar akashlal2010-12-01
* Boogie build succeededGravatar codeplexbot2010-12-01
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Boogie build succeededGravatar codeplexbot2010-11-30
* Boogie build succeededGravatar codeplexbot2010-11-29
* z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)Gravatar akashlal2010-11-29
* forgot to check this file inGravatar qadeer2010-11-28
* Boogie build failedGravatar codeplexbot2010-11-28
* Added CheckAssumptions api interfaceGravatar akashlal2010-11-28
* added a fix for a bug in the Evaluate function.Gravatar qadeer2010-11-27
* changed the procedure Check so that the conflict clause is blocked only when ...Gravatar qadeer2010-11-27
* two automatically generated app.config that I didn't add earlier.Gravatar qadeer2010-11-27
* Boogie build failedGravatar codeplexbot2010-11-27
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Dafny: Improved default decreases clauses for methods and functionsGravatar rustanleino2010-11-25
* small fix to previous checkinGravatar akashlal2010-11-24
* Some changes to the prover interface to make way for z3-api.Gravatar akashlal2010-11-24
* more refactoringGravatar akashlal2010-11-23
* More refactoringGravatar akashlal2010-11-23
* Boogie: Look for Z3 versions up to 2.20.Gravatar wuestholz2010-11-23
* Refactoring: pulled out all code for stratified inlining to a new file.Gravatar akashlal2010-11-23
* Boogie build succeededGravatar codeplexbot2010-11-23
* Changed stratified inlining: can now be user-guidedGravatar akashlal2010-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 12:14:22 +0000