Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
4 Open 387 Closed
4 Open 387 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: Clean up build
#5519 by RustanLeino was merged Jun 6, 2024 Loading…
Test ResolutionErrors[45679] with new resolver
#5333 by RustanLeino was merged Apr 21, 2024 Loading…
1
Test ResolutionErrors[01238] with new resolver
#5324 by RustanLeino was merged Apr 16, 2024 Loading…
Support members for the new newtypes
#5311 by RustanLeino was merged Apr 16, 2024 Loading…
11
Check datatype constructors for bad type-parameter instantiations
#5278 by RustanLeino was merged Apr 2, 2024 Loading…
1
fix: Generate proper default string value for JavaScript
#5239 by RustanLeino was merged Mar 23, 2024 Loading…
1
2
fix: Optimize datatype wrappers only in the absence of trait parents
#5234 by RustanLeino was merged Mar 22, 2024 Loading…
1
chore: Update general-traits error message
#5191 by RustanLeino was merged Mar 14, 2024 Loading…
8
feat: Add newtype support for map and imap
#5175 by RustanLeino was merged Apr 9, 2024 Loading…
fix: Add uniform checking of type characteristics in refinement modules
#5146 by RustanLeino was merged Mar 26, 2024 Loading…
1
18
chore: Rename adjustment to refinement
#5139 by RustanLeino was merged Mar 4, 2024 Loading…
3
move: Split ResolutionErrors.dfy into 10 smaller files
#5137 by RustanLeino was merged Mar 1, 2024 Loading…
feat: newtype for (non-map) collection types
#5133 by RustanLeino was merged Mar 1, 2024 Loading…
2
move: Move BoundedPool classes into separate folder
#5116 by RustanLeino was merged Feb 21, 2024 Loading…
1
chore: Rename EmitIsRuneTest to EmitIsUnicodeScalarValueTest
#5115 by RustanLeino was merged Feb 21, 2024 Loading…
1
fix: Use reveal_ constant as function argument in override axiom
#5111 by RustanLeino was merged Mar 1, 2024 Loading…
1
6
Compute prefix lemmas earlier in the resolution pipeline
#5098 by RustanLeino was closed Mar 27, 2024 • Draft
1
fix: Always parse parentheses for predicates
#5069 by RustanLeino was merged Feb 20, 2024 Loading…
1
fix: Fill in type arguments in implicit function-by-method postcondition
#5068 by RustanLeino was merged Feb 8, 2024 Loading…
1
feat: Add general is support, and allow newtypes for bool/char/bv
#5061 by RustanLeino was merged Feb 21, 2024 Loading…
88
fix: Fix traits-on-datatype scoping and translation issues
#5058 by RustanLeino was merged Feb 7, 2024 Loading…
3
Add replaceable compiler methods
#5053 by RustanLeino was closed Feb 21, 2024 Loading…
6
Make smaller changes to compilers
#5052 by RustanLeino was merged Feb 5, 2024 Loading…
Update pre-type infrastructure
#5051 by RustanLeino was closed Feb 21, 2024 Loading…
3
chore: Improve code
#5042 by RustanLeino was merged Feb 2, 2024 Loading…
2
ProTip! Mix and match filters to narrow down what you’re looking for.