Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
131 Open 2,733 Closed
131 Open 2,733 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
feature: as and is for reference types
#1220 by RustanLeino was merged May 21, 2021 Loading…
6 🎉 2
Draft of verification API to get discussion started on #2084
#2229 by cpitclaudel was closed Jul 21, 2022 • Draft
🎉 2
fix: Don't use CompileName outside of the compilers
#1986 by cpitclaudel was merged Apr 8, 2022 Loading…
1
@cpitclaudel
15 🎉 1
Type members
#350 by RustanLeino was merged Aug 17, 2019 Loading…
14 🎉 1
feat: Support for the {:opaque} attibute on const
#2545 by fabiomadge was merged Aug 25, 2022 Loading…
1
12 🎉 1
Add document symbols to support outline part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#1483 by camrein was merged Oct 21, 2021 Loading…
2 🎉 1
Feat: Rust operators
#5390 by MikaelMayer was merged May 10, 2024 Loading…
1 🎉 1
feat: Generate a warning when 'old' has no effect
#2610 by RustanLeino was merged Sep 2, 2022 Loading…
1
@keyboardDrummer
8 🎉 1
refactor: Remove .ResolvedParam
#1188 by RustanLeino was merged Apr 16, 2021 Loading…
1
🎉 1
feat: Allow assume statements annotated with {:axiom} to be compiled
#2510 by cpitclaudel was merged Nov 1, 2022 Loading…
3 🎉 1
fix: Check type equality in override signatures
#1383 by RustanLeino was merged Aug 25, 2021 Loading…
1
🎉 1
feat: Plugin support
#1739 by MikaelMayer was merged Feb 11, 2022 Loading…
@MikaelMayer
134 🎉 1
fix: Improve the performance of proofs involving bit vector shifts
#2520 by atomb was merged Aug 2, 2022 Loading…
2
@atomb
16 🎉 1
Enable passing project files to 'dafny run'
#4629 by keyboardDrummer was merged Oct 11, 2023 Loading…
1
🎉 1
Allow type variables in tuples
#240 by seanmcl was merged May 31, 2019 Loading…
1
1
Fixed Go test errors in Windows
#241 by mschlaipfer was merged May 30, 2019 Loading…
Allow tuple destructuring with type variables
#242 by seanmcl was closed Jun 5, 2019 Loading…
1
1
Fixes for quantifiers + let-such-that expressions
#170 by jamesbornholt was merged Feb 1, 2018 Loading…
@keyboardDrummer
Fix: Compiled disjunctive nested pattern matching no longer crashing
#5574 by MikaelMayer was merged Jun 26, 2024 Loading…
1
2
Check type parameters when checking if types are equal
#162 by jamesbornholt was merged Jan 16, 2018 Loading…
Bump up .NET version
#157 by bkragl was merged Nov 14, 2017 Loading…
@jaylorch
4
Checking only if "Dafny.exe" file can be found
#144 by dvdalilue was merged Oct 3, 2017 Loading…
1
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 Loading…
Update DafnyRef output
#124 by wilcoxjay was merged Jun 27, 2017 Loading…
3
ProTip! What’s not been updated in a month: updated:<2024-05-26.