-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix brew install pandoc github action
run-deep-tests
Tells CI to run all tests
#3764
by stefan-aws
was merged Mar 21, 2023
Loading…
Catch crash on reads with different datatype ordering
#5496
opened May 28, 2024 by
stefan-aws
Loading…
fix: Disambiguation priority not preserved when importing modules
#5498
opened May 28, 2024 by
stefan-aws
•
Draft
Fix: have test generation return sequences with elements of right type
#5611
by stefan-aws
was merged Jul 9, 2024
Loading…
ProTip!
Follow long discussions with comments:>50.