Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix bugs that could lead to an unresponsive IDE when working with project files
#5444
opened May 15, 2024 by
keyboardDrummer
Loading…
Fix: Optional pre-type won't cause a crash anymore
#5442
opened May 14, 2024 by
MikaelMayer
Loading…
Fix: Support for user-defined module fmt for all compilers
#5441
opened May 14, 2024 by
MikaelMayer
Loading…
Fix: No new resolver crash with partially resolved datatype update expressions
#5440
opened May 14, 2024 by
MikaelMayer
Loading…
fix: Ignore values not in a multiset when computing its hash in C#
#5412
opened May 7, 2024 by
fabiomadge
Loading…
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…
Deduplicate verification diagnostic reporting between CLI and server
#5246
opened Mar 25, 2024 by
keyboardDrummer
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-15.