summaryrefslogtreecommitdiff
path: root/Util
Commit message (Expand)AuthorAge
* DafnyExtension: fixed bad mergeGravatar Rustan Leino2012-08-17
* MergeGravatar Rustan Leino2012-08-17
|\
* | DafnyExtension: improved concurrency behaviorGravatar Unknown2012-08-17
| * DafnyExtension: report out-of-time and out-of-memory errorsGravatar Rustan Leino2012-08-17
|/
* DafnyExtension: toward some fixesGravatar Unknown2012-08-17
* DafnyExtension: simplified display of type names and field namesGravatar Unknown2012-08-17
* DafnyExtension: various improvementsGravatar Unknown2012-08-16
* DafnyExtension: improvementsGravatar Rustan Leino2012-08-15
* DafnyExtension: do verification in a non-UI threadGravatar Rustan Leino2012-08-15
* DafnyExtension: fixed more missing cases for hover textsGravatar Unknown2012-08-15
* Dafny: fixed some bugs in the newly added DafnyExtension codeGravatar Unknown2012-08-15
* Dafny: added Statement.SubExpressions getterGravatar Unknown2012-08-15
* Dafny: added Statement.SubExpressions getterGravatar Unknown2012-08-15
* Dafny: removed the defunct "havoc" keyword from various source-code highlightersGravatar Unknown2012-08-15
* Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)Gravatar Unknown2012-08-14
* Dafny: two bug fixes (resolution crashing on bad input, DafnyExtension crashi...Gravatar Unknown2012-08-14
* DafnyExtension: hide execution-trace output, show split-expr related error l...Gravatar Rustan Leino2012-08-10
* DafnyExtension: improvementsGravatar Rustan Leino2012-08-08
* DafnyExtension: fixed build issues; added support for some refinement featuresGravatar Rustan Leino2012-08-08
* Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...Gravatar Unknown2012-08-08
* Dafny VS Extension: edited to make it build with new AST types, fixed some bu...Gravatar Unknown2012-08-02
* Dafny: removed allocated keyword, changed module import syntax. "opened" keyw...Gravatar Jason Koenig2012-07-30
* Dafny: fixed ghost checking for labeled (i.e. named) expressions, changed to ...Gravatar Jason Koenig2012-07-10
* Dafny: added copredicatesGravatar Rustan Leino2012-07-03
* Dafny: MergeGravatar Jason Koenig2012-06-27
|\
* | Dafny: Implemented abstract modulesGravatar Jason Koenig2012-06-26
| * Dafny: equality-support test cases. This is just a snapshot--some things sti...Gravatar Unknown2012-06-22
|/
* Dafny: removed support for the old keyword "unlimited" (all functions are lim...Gravatar Unknown2012-06-11
* Dafny: added finite mapsGravatar Unknown2012-05-25
* Dafny: fixed resolution bug for inductive datatypes (previous check did not h...Gravatar Unknown2012-04-25
* Dafny VSX: fixed compilation inconsistencyGravatar Rustan Leino2012-01-10
* Dafny: added predicatesGravatar Rustan Leino2012-01-10
* Dafny: Start of new refinement features -- clean out old onesGravatar Rustan Leino2012-01-04
* MergeGravatar Rustan Leino2011-11-22
|\
| * DafnyExtension: fix up compilation (once again)Gravatar Rustan Leino2011-11-22
* | Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...Gravatar Rustan Leino2011-11-21
|/
* DafnyExtension: fixed build problemsGravatar Rustan Leino2011-11-15
* Dafny: allow single-quote as a character in identifiers in the VS2010 modeGravatar Rustan Leino2011-11-09
* Dafny: added "multiset" keyword to syntax highlighting in emacs, vim, latex, VSXGravatar Rustan Leino2011-11-09
* Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s...Gravatar Rustan Leino2011-10-26
* Dafny: changed triggers (which are never really used, anyhow) from having a s...Gravatar Rustan Leino2011-10-21
* Jennisys: added "ensures" to emacs modeGravatar Rustan Leino2011-10-19
* Jennisys: change of keywords, now: interface/datamodel/codeGravatar Rustan Leino2011-09-28
* MergeGravatar Rustan Leino2011-08-04
|\
* | Dafny: for VS mode, let lexer allow "?"Gravatar Rustan Leino2011-08-04
| * Chalie: Fix Visual Studio integration and add note about JVM stack size probl...Gravatar stefanheule2011-08-04
|/
* Chalice VS integration: recognize string literalsGravatar Rustan Leino2011-08-03
* Chalice: added string type and string literals (but no other string operations)Gravatar Rustan Leino2011-07-26
* Added new multiset keyword to VS2010 syntax highlighter.Gravatar Jason Koenig2011-07-11
* Dafny: removed deprecated "call" and "use" keywords from syntax highlightersGravatar Rustan Leino2011-06-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 20:53:08 +0000