-
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
Fix concurrency bug in reported file version
#5912
by keyboardDrummer
was merged Nov 13, 2024
Loading…
Move code out of GhostInterestVisitor and into specific AST types
#5900
by keyboardDrummer
was merged Nov 11, 2024
Loading…
Rename variable according to capitalization rules
#5896
by keyboardDrummer
was merged Nov 5, 2024
Loading…
Speed up
dafny verify by reducing memory pressure
#5827
by keyboardDrummer
was merged Oct 21, 2024
Loading…
Fix GoLang issue when module and datatype names collide
#5824
by keyboardDrummer
was merged Oct 16, 2024
Loading…
Add test and fix bug for use of reveal within a constant
#5823
by keyboardDrummer
was merged Oct 10, 2024
Loading…
Fix GoLang issue when module and datatype names collide
#5820
by keyboardDrummer
was closed Oct 15, 2024
•
Draft
Increase rounding to let SubsetTypes test pass on OSX
run-deep-tests
Tells CI to run all tests
#5816
by keyboardDrummer
was merged Oct 9, 2024
Loading…
Fix a bug related to abstract imports and match expressions
#5811
by keyboardDrummer
was merged Oct 7, 2024
Loading…
Change the --extractTarget option into a command
#5799
by keyboardDrummer
was merged Sep 30, 2024
Loading…
Fix opaque block in conjunction with match statements
#5785
by keyboardDrummer
was merged Sep 20, 2024
Loading…
Make hide/reveal work for the old resolver
#5780
by keyboardDrummer
was merged Sep 19, 2024
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2024-11-15.