Skip to content

Pull requests: dafny-lang/dafny

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

Upgrade to Boogie 2.13.4
#1938 by keyboardDrummer was merged Mar 28, 2022 Loading…
2
Upgrade to Boogie 2.13.2
#1931 by keyboardDrummer was merged Mar 23, 2022 Loading…
4
Use multiple cores when running individual tests
#1929 opened Mar 23, 2022 by keyboardDrummer • Draft
Try boogie with normal stack sizes
#1917 by keyboardDrummer was closed Apr 8, 2022 • Draft
Update to Boogie 2.13.1
#1916 by keyboardDrummer was merged Mar 18, 2022 Loading…
8
Improve parallelism
#1870 by keyboardDrummer was merged Mar 25, 2022 Loading…
36
Update to Boogie 2.12.1
#1866 by keyboardDrummer was merged Mar 2, 2022 Loading…
12
Use new command line options with boogie submodule
#1841 by keyboardDrummer was closed Mar 2, 2022 • Draft
Add missing using clause for type constructor tags
#1728 by keyboardDrummer was closed Jan 24, 2022 • Draft
Add prover log equality tests for rename and reorder changes
#1692 by keyboardDrummer was merged Jan 10, 2022 Loading…
1
Add file containing release notes, that currently only include the re…
#1688 by keyboardDrummer was merged Feb 8, 2022 Loading…
26
Add option to mimic the verification behavior of Dafny 3.3
#1687 by keyboardDrummer was merged Jan 11, 2022 Loading…
5
Use default output directory for DafnyServer
#1672 by keyboardDrummer was merged Dec 28, 2021 Loading…
1
Separate resolution and verification diagnostics
#1666 by keyboardDrummer was merged Jan 4, 2022 Loading…
@keyboardDrummer
54
fix(lsp): kill language server if parent process dies
#1664 by keyboardDrummer was merged Dec 28, 2021 Loading…
1
73
Upgrade .NET to 6.0
#1642 by keyboardDrummer was merged Dec 15, 2021 Loading…
@keyboardDrummer
3
Upgrade to Z3 4.8.13
#1641 by keyboardDrummer was closed May 3, 2022 • Draft
2
Remove remaining include dep
#1638 by keyboardDrummer was merged Dec 14, 2021 Loading…
@keyboardDrummer
6
Move translator code related to class members and to datatypes into separate files
#1634 by keyboardDrummer was closed Dec 7, 2021 Loading…
Move customBoogie references one level higher
#1633 by keyboardDrummer was merged Dec 7, 2021 Loading…
1
feat: Prevent changes unrelated to a proof from changing the verification behavior of the proof
#1612 by keyboardDrummer was merged Dec 10, 2021 Loading…
14
Update customBoogie.patch to include VCExpr and VCGeneration, the onl…
#1550 by keyboardDrummer was merged Nov 3, 2021 Loading…
1
Update to Boogie 2.9.6
#1543 by keyboardDrummer was merged Oct 27, 2021 Loading…
2
Update gradle to 7.2 to support using Java17
#1537 by keyboardDrummer was closed Jun 27, 2022 Loading…
2
Update Boogie to 2.9.4
#1531 by keyboardDrummer was merged Oct 22, 2021 Loading…
ProTip! What’s not been updated in a month: updated:<2024-08-12.