-
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
Move towards a return value based style for our code generating methods
#3546
by keyboardDrummer
was merged Feb 28, 2023
Loading…
fix: The Python compiler emits reserved names for datatypes
#4843
by fabiomadge
was merged Dec 9, 2023
Loading…
chore: Documentation about array initialization
part: documentation
Dafny's reference manual, tutorial, and other materials
#1661
by MikaelMayer
was merged Dec 21, 2021
Loading…
fix: Apply name mangling to datatype names in Python more often
#5476
by fabiomadge
was merged May 22, 2024
Loading…
Feat: 10 more implicit assertions made explicit
#3940
by MikaelMayer
was merged May 8, 2023
Loading…
feat: Add
-diagnosticsFormat
command-line flag
#2363
by cpitclaudel
was merged Jul 21, 2022
Loading…
fix: Invalid Python code for nested set and map comprehensions
#5287
by fabiomadge
was merged Apr 2, 2024
Loading…
Check type parameters when checking if types are equal
#162
by jamesbornholt
was merged Jan 16, 2018
Loading…
Fixed duplicate parameter name error in example
#233
by mschlaipfer
was merged May 23, 2019
Loading…
Fixes for quantifiers + let-such-that expressions
#170
by jamesbornholt
was merged Feb 1, 2018
Loading…
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.