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

chore: Formatted every test file with the formatter
#2714 opened Sep 8, 2022 by MikaelMayer Loading…
5
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
feat: Code in ProofObligationDescriptions kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#2153 opened May 19, 2022 by MikaelMayer • Draft
@MikaelMayer
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
Warning when constructor name is used as variable in match #1600
#2298 opened Jun 24, 2022 by tobiaj10 Loading…
1
20
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
chore: Run single-platform integration tests even if nightly build failed
#2369 opened Jul 6, 2022 by robin-aws Loading…
6
Add Test Annotation when Compiling to Java
#2395 opened Jul 12, 2022 by tbean79 Loading…
14
[do not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter • Draft
3
fix: Don't generate the "assume T.F(ins) == C.F(ins)" statement in the function override ensures check
#2504 opened Jul 28, 2022 by robin-aws Loading…
1
8
Bug fix for parenthesisWarning
#2544 opened Aug 3, 2022 by tobiaj10 Loading…
1
fix: Actually create the target-runtime-version matrix dimension run-deep-tests Tells CI to run all tests
#2572 opened Aug 10, 2022 by robin-aws Loading…
4
Implemented a warning to prevent varaibles and constructors from having the same name
#2580 opened Aug 11, 2022 by tobiaj10 Loading…
4
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723 opened Sep 9, 2022 by MikaelMayer Loading…
28
fix: Include standard header with every unsupported feature message
#2739 opened Sep 13, 2022 by cpitclaudel Loading…
1
@robin-aws
3
chore: A crash in the resolver now reports an error to the user
#2499 opened Jul 27, 2022 by MikaelMayer Loading…
6
Changing representation of Reads, Requires, and Apply clauses status: implemented Candidate feature available for experimentation
#375 opened Sep 5, 2019 by amaurremi Loading…
9
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
Derive property of type access
#1300 opened Jul 13, 2021 by keyboardDrummer • Draft
Use split attributes boogaloo kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: verifier Translation from Dafny to Boogie (translator)
#1386 opened Aug 25, 2021 by typerSniper Loading… Verification Durability
Make singleton datatypes more efficient in Go
#1394 opened Aug 27, 2021 by tchajed Loading…
1
2
ProTip! Filter pull requests by the default branch with base:master.