summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| * MergeGravatar leino2015-10-26
| |\
| * | Fixed location of blue dots to appear after semi-colons, not just before them.Gravatar leino2015-10-26
| | * DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...Gravatar wuestholz2015-10-26
| |/
| * Make /autoTriggers:1 be the default in Visual StudioGravatar leino2015-10-24
| * In Visual Studio, be willing to display both resolution warnings and verifica...Gravatar leino2015-10-24
| * In method and iterator specifications, inline top-level predicates (exceptGravatar leino2015-10-24
| * Introduced new datatype update syntax: D.(f := E)Gravatar leino2015-10-23
| * Refactored resolution of datatype updates, preparing for a change of syntaxGravatar leino2015-10-23
| * Fixed bug introduced in changeset 7ebdf9cd4154Gravatar leino2015-10-22
| * Improve Dafny's ability to find fueled functions by checking the function its...Gravatar Bryan Parno2015-10-19
| * Version 1.9.6.21012Gravatar Rustan Leino2015-10-12
| * MergeGravatar Rustan Leino2015-10-12
| |\
| | * DafnyExtension: Re-added assembly reference.Gravatar wuestholz2015-10-08
| | * DafnyExtension: Fix concurrency issue.Gravatar wuestholz2015-10-08
| | * Make the Dafny extension compile on VS 2015 without any old versions.Gravatar wuestholz2015-10-08
| | * Add vsix to releases and fix invalid path separators in packaging scriptGravatar Clément Pit--Claudel2015-10-08
| * | Renamed ExistentialGuards... to BindingGuards...Gravatar Rustan Leino2015-10-07
| |/
| * Use /env:0 to avoid full pathnames in test outputGravatar Rustan Leino2015-10-06
| * Implemented resolution, verification, and (poorly performing) compilation of ...Gravatar leino2015-10-05
| * Parsing and pretty printing of the new "existential guards" of the two kinds ...Gravatar leino2015-10-03
| * Made /rewriteFocalPredicates:1 the defaultGravatar Rustan Leino2015-10-02
| * Hover text includes #[_k-1] suffix for terms rewritten in prefix predicates/l...Gravatar Rustan Leino2015-10-02
| * Fixed latent crash of hovertext/outlining with include.Gravatar Rustan Leino2015-10-02
| * Removed some unused code.Gravatar Rustan Leino2015-09-30
| * MergeGravatar leino2015-09-29
| |\
| | * Fix two test cases that failed if the path to "DafnySever.exe" contained spaces.Gravatar wuestholz2015-09-30
| | * Fix the build.Gravatar wuestholz2015-09-29
| * | MergeGravatar leino2015-09-28
| |\ \
| | * | MergeGravatar leino2015-09-28
| | |\|
| * | | Removed specContextOnly parameter from ResolveStatement.Gravatar leino2015-09-28
| * | | Removed the 'inSpecOnlyContext' map that had been part of the resolution ofGravatar leino2015-09-28
| * | | Renamed CheckIsNonGhost to CheckIsCompilable.Gravatar leino2015-09-28
| * | | Removed more traces of the previous resolution checks that happened during pa...Gravatar leino2015-09-28
| * | | Additional testsGravatar leino2015-09-28
| * | | Whitespace changes in test fileGravatar leino2015-09-28
| * | | Improvements in proofsGravatar leino2015-09-28
| * | | Changed computation of ghosts until pass 2 of resolution.Gravatar leino2015-09-28
| | | * merge headsGravatar Michael Lowell Roberts2015-09-23
| | | |\
| | | * | fixed bugs related to identifying newtypes as types of integers and reals.Gravatar Michael Lowell Roberts2015-09-23
| | | | * Revert part of 1899 (47fd7d09d605, "Fix a check that occasionally led to ...")Gravatar Clément Pit--Claudel2015-09-23
| | | |/
| | * | Fixed typo in INSTALL fileGravatar leino2015-09-23
| * | | A test file with an example of least vs greatest fixpoints.Gravatar leino2015-09-22
| | | * fix for warnings related to deprecated z3 options (please update to the lates...Gravatar Michael Lowell Roberts2015-09-22
| * | | Removed unused code (old code from previous ghost-statement handling)Gravatar leino2015-09-21
| * | | Moved premature uses of .IsGhost for Statement'sGravatar leino2015-09-21
| | | * Auto-merged heads.Gravatar Michael Lowell Roberts2015-09-21
| | | |\
| | | * | merged IronDafny updates. two unit tests related to traits do not pass if ENA...Gravatar Michael Lowell Roberts2015-09-21
| * | | | Added back in various ghost testsGravatar leino2015-09-20
| * | | | Changes that only affect line numbers in test caseGravatar leino2015-09-20
| * | | | Removed tabs from test fileGravatar leino2015-09-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 03:03:48 +0000