-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Draft of verification API to get discussion started on #2084
#2229
by cpitclaudel
was closed Jul 21, 2022
•
Draft
fix: Don't use CompileName outside of the compilers
#1986
by cpitclaudel
was merged Apr 8, 2022
Loading…
feat: Support for the
{:opaque}
attibute on const
#2545
by fabiomadge
was merged Aug 25, 2022
Loading…
Add document symbols to support outline
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
#1483
by camrein
was merged Oct 21, 2021
Loading…
feat: Generate a warning when 'old' has no effect
#2610
by RustanLeino
was merged Sep 2, 2022
Loading…
feat: Allow assume statements annotated with {:axiom} to be compiled
#2510
by cpitclaudel
was merged Nov 1, 2022
Loading…
fix: Check type equality in override signatures
#1383
by RustanLeino
was merged Aug 25, 2021
Loading…
fix: Improve the performance of proofs involving bit vector shifts
#2520
by atomb
was merged Aug 2, 2022
Loading…
Enable passing project files to 'dafny run'
#4629
by keyboardDrummer
was merged Oct 11, 2023
Loading…
Fixes for quantifiers + let-such-that expressions
#170
by jamesbornholt
was merged Feb 1, 2018
Loading…
Check type parameters when checking if types are equal
#162
by jamesbornholt
was merged Jan 16, 2018
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.