Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Do not allow building libraries while silently not verifing included files
#5406
opened May 6, 2024 by
keyboardDrummer
Loading…
fix: Unguarded enumeration of bound variables in set and map comprehensions
#5402
opened May 5, 2024 by
fabiomadge
Loading…
Feat: Rust operators
run-deep-tests
Tells CI to run all tests
#5390
opened May 1, 2024 by
MikaelMayer
Loading…
7 of 8 tasks
Added interface for plugins to add JsonRpcRequestHandlers to the language server
#5161
opened Mar 7, 2024 by
BurstingF
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.