summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* Don't crash in Context.Lookup when the namer has never seen the name. This ha...Gravatar MichalMoskal2010-12-10
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* 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
* 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
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-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
* 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
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)Gravatar akashlal2010-11-29
* forgot to check this file inGravatar qadeer2010-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
* 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
* Changed stratified inlining: can now be user-guidedGravatar akashlal2010-11-22
* BVD for Dafny: improved string that displays array indicesGravatar rustanleino2010-11-17
* BVD Dafny provider: treat sets and datatype valuesGravatar rustanleino2010-11-17
* Forro: revised syntax (this version used in Boogie tutorial at SBMF 2010)Gravatar rustanleino2010-11-17
* Minor updates for printing coverage graph of stratified inliningGravatar akashlal2010-11-14
* Boogie: Changed the trace output formatting of the prover version slightly.Gravatar wuestholz2010-11-11
* Implement different levels of view (normal, expert, etc).Gravatar MichalMoskal2010-11-09
* Introducing Forr?! Forr? is a tiny language that translates to Boogie. The ...Gravatar rustanleino2010-11-06
* More right-click improvementsGravatar MichalMoskal2010-11-06
* Show previous stateGravatar MichalMoskal2010-11-06
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Right-click enableGravatar MichalMoskal2010-11-06
* Add find find uses and find aliases facilitiesGravatar MichalMoskal2010-11-06
* Improve default provider a bitGravatar MichalMoskal2010-11-06
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
* Update matches when switching statesGravatar MichalMoskal2010-11-04
* Refactor the Namer into two classesGravatar MichalMoskal2010-11-04
* Add search facilityGravatar MichalMoskal2010-11-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 00:37:39 +0000