-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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…
Do not allow building libraries while silently not verifing included files
#5406
opened May 6, 2024 by
keyboardDrummer
Loading…
Remove --no-build from dotnet pack call in msbuild
#4811
by keyboardDrummer
was closed Nov 23, 2023
Loading…
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970
opened May 8, 2023 by
keyboardDrummer
Loading…
Stop showing the number of verified procedures when Dafny finishes
#3318
opened Jan 4, 2023 by
keyboardDrummer
Loading…
Do not report null dereference errors on not-nullable types
#3312
opened Jan 3, 2023 by
keyboardDrummer
Loading…
Revert "Reorganizing the induction-principle submission (#3286)"
#3305
by keyboardDrummer
was closed Jan 3, 2023
Loading…
Let target be an argument instead of an option for translate
#3231
by keyboardDrummer
was closed Dec 23, 2022
Loading…
Add definiteAssignment option mapping to release notes
#2948
by keyboardDrummer
was closed Dec 21, 2022
Loading…
Update gradle to 7.2 to support using Java17
#1537
by keyboardDrummer
was closed Jun 27, 2022
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-06-11.