Skip to content

Pull requests: dafny-lang/dafny

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

CounterExamples
#1336 by Dargones was merged Aug 11, 2021 Loading…
32 🎉 3
Enable passing project files to 'dafny run'
#4629 by keyboardDrummer was merged Oct 11, 2023 Loading…
1
🎉 1
feat: Plugin support
#1739 by MikaelMayer was merged Feb 11, 2022 Loading…
@MikaelMayer
134 🎉 1
fix: Don't use CompileName outside of the compilers
#1986 by cpitclaudel was merged Apr 8, 2022 Loading…
1
@cpitclaudel
15 🎉 1
feat: Allow assume statements annotated with {:axiom} to be compiled
#2510 by cpitclaudel was merged Nov 1, 2022 Loading…
3 🎉 1
fix: Improve the performance of proofs involving bit vector shifts
#2520 by atomb was merged Aug 2, 2022 Loading…
2
@atomb
16 🎉 1
feat: Generate a warning when 'old' has no effect
#2610 by RustanLeino was merged Sep 2, 2022 Loading…
1
@keyboardDrummer
8 🎉 1
Feat: Rust operators
#5390 by MikaelMayer was merged May 10, 2024 Loading…
1 🎉 1
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
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
ProTip! Add no:assignee to see everything that’s not assigned.