-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Test ResolutionErrors[45679] with new resolver
#5333
by RustanLeino
was merged Apr 21, 2024
Loading…
Test ResolutionErrors[01238] with new resolver
#5324
by RustanLeino
was merged Apr 16, 2024
Loading…
Check datatype constructors for bad type-parameter instantiations
#5278
by RustanLeino
was merged Apr 2, 2024
Loading…
fix: Generate proper default string value for JavaScript
#5239
by RustanLeino
was merged Mar 23, 2024
Loading…
fix: Optimize datatype wrappers only in the absence of trait parents
#5234
by RustanLeino
was merged Mar 22, 2024
Loading…
fix: Add uniform checking of type characteristics in refinement modules
#5146
by RustanLeino
was merged Mar 26, 2024
Loading…
move: Split ResolutionErrors.dfy into 10 smaller files
#5137
by RustanLeino
was merged Mar 1, 2024
Loading…
move: Move BoundedPool classes into separate folder
#5116
by RustanLeino
was merged Feb 21, 2024
Loading…
chore: Rename EmitIsRuneTest to EmitIsUnicodeScalarValueTest
#5115
by RustanLeino
was merged Feb 21, 2024
Loading…
fix: Use reveal_ constant as function argument in override axiom
#5111
by RustanLeino
was merged Mar 1, 2024
Loading…
Compute prefix lemmas earlier in the resolution pipeline
#5098
by RustanLeino
was closed Mar 27, 2024
•
Draft
fix: Fill in type arguments in implicit function-by-method postcondition
#5068
by RustanLeino
was merged Feb 8, 2024
Loading…
feat: Add general
is
support, and allow newtypes for bool/char/bv
#5061
by RustanLeino
was merged Feb 21, 2024
Loading…
fix: Fix traits-on-datatype scoping and translation issues
#5058
by RustanLeino
was merged Feb 7, 2024
Loading…
3
Previous Next
ProTip!
Updated in the last three days: updated:>2024-06-23.