Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
48 Open 571 Closed
48 Open 571 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Publish gutter icons based on events coming from CompilationManager
#4728 by keyboardDrummer was closed Nov 3, 2023 Loading…
1
1
Make %baredafny, %dafny, %verify, %resolve, etc behave consistently even in nightly run-deep-tests Tells CI to run all tests
#4614 by keyboardDrummer was merged Oct 22, 2023 Loading…
1
Make GetLastDiagnostics more reliable and reduce usage of GetLastDocumentAsync
#4587 by keyboardDrummer was merged Oct 3, 2023 Loading…
3
Use subcommands instead of an argument for the various back-ends that can be used with translate
#4601 by keyboardDrummer was merged Oct 12, 2023 Loading…
28
Allow specifying an outer namespace when translating
#4591 by keyboardDrummer was merged Oct 17, 2023 Loading…
1
36
Fix least lemma IDE verification bug and add test
#4607 by keyboardDrummer was merged Oct 4, 2023 Loading…
Do not let documentSymbol API return a faulty line
#4675 by keyboardDrummer was merged Oct 18, 2023 Loading…
1
2
Move some code out of BoogieGenerator
#4679 by keyboardDrummer was merged Oct 18, 2023 Loading…
1
Add replaceable modules
#4681 by keyboardDrummer was merged Nov 21, 2023 Loading…
48
Fix 4703
#4705 by keyboardDrummer was merged Oct 23, 2023 Loading…
1
Relations
#4709 by keyboardDrummer was merged Oct 30, 2023 Loading…
1
11
Fix client side crash for document symbol because of empty name
#4711 by keyboardDrummer was merged Oct 25, 2023 Loading…
1
Add BoundedInts to DafnyStdLibs
#4713 by keyboardDrummer was merged Nov 3, 2023 Loading…
14
Allow not migrating legacy symbols
#4674 by keyboardDrummer was merged Oct 18, 2023 Loading…
Set library back-end to stable
#4730 opened Oct 31, 2023 by keyboardDrummer Loading…
1
Compilation events
#4732 by keyboardDrummer was merged Nov 14, 2023 Loading…
1
28
Catch copy error run-deep-tests Tells CI to run all tests
#4739 by keyboardDrummer was closed Dec 1, 2023 Loading…
2
Follow-up changes related to BoundedInts
#4740 opened Nov 6, 2023 by keyboardDrummer Loading…
2
Mutable map
#4741 opened Nov 6, 2023 by keyboardDrummer • Draft
Dynamic array
#4752 by keyboardDrummer was merged Nov 10, 2023 Loading…
30
Add the built-in format command instead of the discontinued dotnet-format tool
#4753 by keyboardDrummer was merged Nov 9, 2023 Loading…
5
HashMap
#4757 opened Nov 9, 2023 by keyboardDrummer • Draft
Symbol status fix
#4765 by keyboardDrummer was merged Nov 14, 2023 Loading…
Fix broken links to examples folder
#4766 by keyboardDrummer was merged Nov 10, 2023 Loading…
1
Standard lib support in dafny server
#4770 by keyboardDrummer was merged Nov 17, 2023 Loading…
19
ProTip! Type g i on any issue or pull request to go back to the issue listing page.