Commits

History for

Commits on Nov 15, 2022

Fix string-match error

luigidcsoares
authored and
cpitclaudel
committedNov 15, 2022

Commits on Nov 1, 2022

dafny/lsp: Refactor and add support for displaying counterexamples
cpitclaudel
committedNov 1, 2022
dafny/lsp: Update list of known versions
cpitclaudel
committedNov 1, 2022
dafny/lsp: Ignore symbolStatus and gutter notifications
cpitclaudel
committedNov 1, 2022
dafny/lsp: Fix typo in lsp-dafny-resolve-preferred-version
cpitclaudel
committedNov 1, 2022
dafny/lsp: Move company-capf to the front of the list
cpitclaudel
committedNov 1, 2022
dafny/lsp: Improve error reporting
cpitclaudel
committedNov 1, 2022
dafny/lsp: Tweak default settings
cpitclaudel
committedNov 1, 2022
dafny/lsp: Revamp auto-installation
cpitclaudel
committedNov 1, 2022
dafny/lsp: Add version validation code
cpitclaudel
committedNov 1, 2022
emacs: Register the dependency on lsp-mode
cpitclaudel
committedNov 1, 2022
dafny/lsp: Add a fallback to lsp-dafny--handle-/compilation/status
cpitclaudel
committedNov 1, 2022
dafny/lsp: Pad progress icon
cpitclaudel
committedNov 1, 2022
dafny/lsp: Install into a version-dependent directory
cpitclaudel
committedNov 1, 2022
dafny/lsp: Automatic installation and parsing of status messages
cpitclaudel
committedNov 1, 2022
dafny/lsp: Initial support for Dafny's new LSP server
cpitclaudel
committedNov 1, 2022

Commits on Sep 22, 2022

dafny: Fix indentation of case based on @MikaelMayer 's rules
cpitclaudel
committedSep 22, 2022
dafny: Fix indentation of body of if
cpitclaudel
committedSep 22, 2022
dafny: Fix indentation of import/export directives
cpitclaudel
committedSep 22, 2022
friends: Improve error message for misconfigured provers
cpitclaudel
committedSep 22, 2022
dafny: Fix indentation of literate comments
cpitclaudel
committedSep 22, 2022
dafny: Mark ? as a word constituent
cpitclaudel
committedSep 22, 2022

Commits on Aug 15, 2022

z3: Add missing defcustom for prover-foreground-args
cpitclaudel
committedAug 15, 2022

Commits on Jul 26, 2022

boogie: Relax the overwrite check for file conversions
cpitclaudel
committedJul 26, 2022
dafny: Highlight assume and :axiom in red
cpitclaudel
committedJul 26, 2022
boggie: Update flag used to pass TRACE to Z3
cpitclaudel
committedJul 26, 2022
dafny: Make indentation function case-insensitive
cpitclaudel
committedJul 26, 2022
dafny: Fix indentation of module braces
cpitclaudel
committedJul 26, 2022
boogie-friends: Add an additional variable for foreground args
cpitclaudel
committedJul 26, 2022
dafny: Correctly handle multiple buffers having the same name
cpitclaudel
committedJul 26, 2022
boogie: Update the regexp used to match trace entries
cpitclaudel
committedJul 26, 2022
emacs: Add a variable to auto-save Dafny and Boogie buffers
cpitclaudel
committedJul 26, 2022
dafny: Ensure that search for keywords is case-sensitive
cpitclaudel
committedJul 26, 2022
dafny: Adjust syntax class of < and >
cpitclaudel
committedJul 26, 2022
dafny: Lower default background timeout
cpitclaudel
committedJul 26, 2022