Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
31 Open 121 Closed
31 Open 121 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

Prune assumptions
#5635 opened Jul 19, 2024 by keyboardDrummer • Draft
Allow adding --enforce-determinism even when doing resolve run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5634 opened Jul 18, 2024 by keyboardDrummer Loading…
Enable the option enforce determinism for the verify command
#5632 opened Jul 18, 2024 by keyboardDrummer Loading…
Isolated wellformedness
#5626 opened Jul 15, 2024 by keyboardDrummer Loading…
Macos13and updated boogie run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5600 opened Jul 4, 2024 by keyboardDrummer Loading…
Make the new type system the default
#5583 opened Jun 27, 2024 by keyboardDrummer • Draft
Try to save /tmp/MSBuildTemprunner/ logs run-deep-tests Tells CI to run all tests
#5516 opened Jun 3, 2024 by keyboardDrummer Loading…
Do not flatten matches for C# run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5509 by keyboardDrummer was closed Jun 5, 2024 Loading…
1
Report configured instead of actual runtime after a timeout.
#5392 by keyboardDrummer was closed May 3, 2024 Loading…
Module options
#5338 by keyboardDrummer was closed May 3, 2024 • Draft
PR for debugging tests, do not merge
#5284 by keyboardDrummer was closed Apr 5, 2024 • Draft
Deduplicate verification diagnostic reporting between CLI and server
#5246 opened Mar 25, 2024 by keyboardDrummer Loading…
9
Simplify staticDiagnostics field in preparation for phase addition
#5240 by keyboardDrummer was closed Mar 22, 2024 • Draft
Add some attribute tests
#5083 opened Feb 13, 2024 by keyboardDrummer Loading…
Better summary of verification
#5040 opened Feb 1, 2024 by keyboardDrummer • Draft
1
Debug merged cli and server
#4992 by keyboardDrummer was closed Jan 23, 2024 • Draft
Add validators for file argument, to prevent them being interpreted a…
#4914 by keyboardDrummer was closed Mar 12, 2024 • Draft
Move standard library into the runtime
#4877 opened Dec 13, 2023 by keyboardDrummer • Draft
Add GoLang to the replaceable complex test case
#4856 opened Dec 8, 2023 by keyboardDrummer Loading…
HashMap
#4757 opened Nov 9, 2023 by keyboardDrummer • Draft
Mutable map
#4741 opened Nov 6, 2023 by keyboardDrummer • Draft
Catch copy error run-deep-tests Tells CI to run all tests
#4739 by keyboardDrummer was closed Dec 1, 2023 Loading…
2
Set library back-end to stable
#4730 opened Oct 31, 2023 by keyboardDrummer Loading…
1
Hover without gutter icon manager
#4583 opened Sep 26, 2023 by keyboardDrummer • Draft
Show logger output when running unit tests in non-debug mode in the r…
#4511 opened Sep 4, 2023 by keyboardDrummer • Draft
ProTip! Updated in the last three days: updated:>2024-08-04.