-
Notifications
You must be signed in to change notification settings - Fork 262
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Use multiple cores when running individual tests
#1929
opened Mar 23, 2022 by
keyboardDrummer
•
Draft
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…
Add file containing release notes, that currently only include the re…
#1688
by keyboardDrummer
was merged Feb 8, 2022
Loading…
Add option to mimic the verification behavior of Dafny 3.3
#1687
by keyboardDrummer
was merged Jan 11, 2022
Loading…
Use default output directory for DafnyServer
#1672
by keyboardDrummer
was merged Dec 28, 2021
Loading…
Separate resolution and verification diagnostics
#1666
by keyboardDrummer
was merged Jan 4, 2022
Loading…
fix(lsp): kill language server if parent process dies
#1664
by keyboardDrummer
was merged Dec 28, 2021
Loading…
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…
feat: Prevent changes unrelated to a proof from changing the verification behavior of the proof
#1612
by keyboardDrummer
was merged Dec 10, 2021
Loading…
Update customBoogie.patch to include VCExpr and VCGeneration, the onl…
#1550
by keyboardDrummer
was merged Nov 3, 2021
Loading…
Update gradle to 7.2 to support using Java17
#1537
by keyboardDrummer
was closed Jun 27, 2022
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.