- Notifications
You must be signed in to change notification settings - Fork273
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
fix: Generate alloc consequence axiom only for functions that read the heap
#6166 openedMar 29, 2025 byRustanLeinoLoading…
chore(deps): bump dorny/test-reporter from 1 to 2 dependenciesPull requests that update a dependency file github_actionsPull requests that update GitHub Actions code
#6157 openedMar 17, 2025 bydependabotbotLoading…
Use diagnostics instead of IOrigin in the reporting code, to force ma…
#6133 openedFeb 28, 2025 bykeyboardDrummer • Draft
2
feat: Actions, Frames, and Termination standard libraries
#6074 openedJan 24, 2025 byrobin-awsLoading…
Fix CoinductiveProofs.dfy granularity run-deep-testsTells CI to run all tests
#6065 openedJan 22, 2025 bykeyboardDrummerLoading…
Removing check files now that the test is OK in all back-ends
#6055 openedJan 15, 2025 byolivier-aws • Draft
Avoid java compilation error when user code defines Get in a codatatype
#6054 openedJan 15, 2025 byolivier-awsLoading…
Include conditions from code in related location error messages
#6008 openedDec 27, 2024 bykeyboardDrummer • Draft
ProTip! Addingno:label will show everything without a label.