summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* VSIP integration into VS: Changed idle delay to 300ms (from 1s). Distinguis...Gravatar rustanleino2010-11-17
* Chalice: white space delta in test fileGravatar 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
* Chalice: Automatically created a simple class diagram of the current ASTGravatar mschwerhoff2010-11-13
* 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
* Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chaliceGravatar 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
* Boogie build succeededGravatar codeplexbot2010-11-02
* Updated Answer file to go with the previous check-in.Gravatar rustanleino2010-11-02
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Test/dafny1/KatzManna.dfy: Changed mocked up matrix class to use Dafny's bui...Gravatar rustanleino2010-10-27
* 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
* Added AssemblyInfo.cs, missing from previous DafnyExtension check-inGravatar rustanleino2010-10-22
* New Dafny mode for Visual Studio 2010, using the VS2010 extensions.Gravatar rustanleino2010-10-22
* Miscellaneous changes:Gravatar rustanleino2010-10-22
* Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many warn...Gravatar mschwerhoff2010-10-21
* a bug fix in the loop extraction codeGravatar qadeer2010-10-19
* Boogie build succeededGravatar codeplexbot2010-10-15
* Make it display mapsGravatar MichalMoskal2010-10-15
* Implement find-all-namesGravatar MichalMoskal2010-10-14
* Display state sequential numbersGravatar MichalMoskal2010-10-14
* Move SkeletonItem to a separate fileGravatar MichalMoskal2010-10-14
* Display values in the state listGravatar MichalMoskal2010-10-14
* Make the tree actually workGravatar MichalMoskal2010-10-14
* Always show the entire tree, possibly grayed-outGravatar MichalMoskal2010-10-14
* Implement struct printingGravatar MichalMoskal2010-10-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 18:15:00 +0000