Skip to content

Pull requests: dafny-lang/dafny

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

Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
Fix: Making default export set opaque no longer crashing the resolver on inductive datatypes
#4417 opened Aug 14, 2023 by MikaelMayer Loading…
1
1
Hybrid Test Generation
#5226 opened Mar 21, 2024 by Dargones Loading…
2
Use a separate dotnet process for compiling C# programs run-deep-tests Tells CI to run all tests
#5517 opened Jun 3, 2024 by keyboardDrummer Loading…
2
Chore: Fine-tuning verification and compilation performance
#5028 opened Jan 30, 2024 by MikaelMayer Loading…
2
chore: Delete outdated assets for the nightly builds
#3351 opened Jan 10, 2023 by fabiomadge Loading…
2
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
Do not allow building libraries while silently not verifing included files
#5406 opened May 6, 2024 by keyboardDrummer Loading…
1
4
Stop showing the number of verified procedures when Dafny finishes
#3318 opened Jan 4, 2023 by keyboardDrummer Loading…
5
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
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
Chore: Tutorial on proven fixpoints combinators
#2789 opened Sep 22, 2022 by MikaelMayer Loading…
8
Do not report null dereference errors on not-nullable types
#3312 opened Jan 3, 2023 by keyboardDrummer Loading…
@keyboardDrummer
8
Changing representation of Reads, Requires, and Apply clauses status: implemented Candidate feature available for experimentation
#375 opened Sep 5, 2019 by amaurremi Loading…
9
Fix: Wording of assertion failure closer to semantics
#3324 opened Jan 4, 2023 by MikaelMayer Loading…
1
11
Add script to run Boogie with the args Dafny uses run-deep-tests Tells CI to run all tests
#4492 opened Aug 30, 2023 by atomb Loading…
@atomb
12
Add Test Annotation when Compiling to Java
#2395 opened Jul 12, 2022 by tbean79 Loading…
14
chore: Only check the nightly tests on dafny-lang
#3352 opened Jan 11, 2023 by fabiomadge Loading…
14
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
feat: Support extern names containing periods for Go
#2952 opened Oct 31, 2022 by robin-aws Loading…
2
17
Fix: Recursive constant initialization was not checked if in constructor
#2862 opened Oct 7, 2022 by MikaelMayer Loading…
2
@MikaelMayer
18
Warning when constructor name is used as variable in match #1600
#2298 opened Jun 24, 2022 by tobiaj10 Loading…
1
20
Feat: conditional verification, detection of trivially false assumptions
#3116 opened Nov 25, 2022 by MikaelMayer • Draft
1
@MikaelMayer
25
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723 opened Sep 9, 2022 by MikaelMayer Loading…
28
ProTip! Updated in the last three days: updated:>2024-07-07.