Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
10 Open 1,615 Closed
10 Open 1,615 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

feat: Non-reference traits
#4600 by RustanLeino was merged Oct 6, 2023 Loading…
Add flows for binary operators
#4618 by RustanLeino was merged Oct 6, 2023 Loading…
[Test Generation] Comprehensive Test
#4406 by Dargones was merged Oct 6, 2023 Loading…
9
[LSP] Add handler for workspace/symbol requests [#4619]
#4620 by dschoepe was merged Oct 9, 2023 Loading…
13
Use resolved syntax expressions for triggers
#4612 by RustanLeino was merged Oct 6, 2023 Loading…
5
Update Kremlin extraction for schema 24
#137 by jroesch was merged Sep 15, 2017 Loading…
1
Hide the plugin option
#4627 by keyboardDrummer was merged Oct 10, 2023 Loading…
1
Let IDE discover refined methods and add a test for this
#4631 by keyboardDrummer was merged Oct 11, 2023 Loading…
1
Enable passing project files to 'dafny run'
#4629 by keyboardDrummer was merged Oct 11, 2023 Loading…
1
Always include .Term in children of ComprehensionExpr
#4617 by keyboardDrummer was merged Oct 11, 2023 Loading…
1
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
Rename Translator to BoogieGenerator
#4623 by keyboardDrummer was merged Oct 11, 2023 Loading…
3
Verification coverage report
#4625 by atomb was merged Oct 12, 2023 Loading…
@atomb
7
chore: publish nightly prereleases from master instead of 4.3
#4657 by alex-chew was merged Oct 12, 2023 Loading…
1
Dafny generator using project file
#4655 by jtristan was merged Oct 13, 2023 Loading…
1
[LSP] Return completion options for type synonyms
#4635 by dschoepe was merged Oct 13, 2023 Loading…
Remove white space at end of lines
#300 by RustanLeino was merged Jul 8, 2019 Loading…
1
Introduce sequence construction expressions
#297 by RustanLeino was merged Jul 10, 2019 Loading…
13
Fix type resolution for multi-indexing
#278 by gancherj was merged Jun 29, 2019 Loading…
1
5
Note that seq-construction needs heap argument
#335 by RustanLeino was merged Aug 6, 2019 Loading…
1
2
Try to treat general map comprehension as the common case
#340 by RustanLeino was merged Aug 6, 2019 Loading…
1
4
Reduce spaces before printing "special witness" comment for /rprint
#341 by RustanLeino was merged Aug 7, 2019 Loading…
2
Don't warn about assume true being unused
#4611 by atomb was merged Oct 5, 2023 Loading…
@atomb
Fix spurious vacuity warnings when assertions converted to assumptions run-deep-tests Tells CI to run all tests
#4604 by atomb was merged Oct 4, 2023 Loading…
@atomb
7
Add an option main-method
#4628 by keyboardDrummer was merged Oct 13, 2023 Loading…
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.