Skip to content

Pull requests: Dargones/dafny

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

testing quick fix
#15 opened Nov 29, 2022 by Dargones Loading…
Merge functionality to filter out tests
#9 opened Jul 1, 2022 by Dargones Loading…
Current test generation
#5 opened Apr 20, 2022 by Dargones Loading…
Param tests
#2 opened Feb 1, 2022 by Dargones Loading…
ProTip! no:milestone will show everything without a milestone.