summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* 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
* Highlight initial stateGravatar MichalMoskal2010-11-03
* Rework canonical name computationGravatar MichalMoskal2010-11-03
* Dafny model viewer: handle (single- and multi-dimensional) arraysGravatar rustanleino2010-11-03
* ModelViewer:Gravatar rustanleino2010-11-02
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Dafny: Record source positions of start/end curly braces for declaration con...Gravatar rustanleino2010-10-27
* Handle aliases betterGravatar MichalMoskal2010-10-26
* Introduce distinction between canonical element name and its aliasesGravatar MichalMoskal2010-10-26
* Compute canonical element namesGravatar MichalMoskal2010-10-26
* Copy local names between statesGravatar MichalMoskal2010-10-26
* More work on the generic namerGravatar MichalMoskal2010-10-26
* Start work on the generic namerGravatar MichalMoskal2010-10-26
* Updated parser.cs files to pick up the new .frame improvements from boogiepar...Gravatar rustanleino2010-10-26
* Boogie:Gravatar rustanleino2010-10-26
* a bug fix in the loop extraction codeGravatar qadeer2010-10-19
* Make it display mapsGravatar MichalMoskal2010-10-15
* Implement find-all-namesGravatar MichalMoskal2010-10-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 12:16:55 +0000