-
Notifications
You must be signed in to change notification settings - Fork 324
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: sound fp32/fp64 verification, and faithful C# compilation
#6514
opened Aug 24, 2026 by
fabiomadge
Collaborator
•
Draft
fix(cpp): truncate bv8/bv16 arithmetic to the bitvector width
#6513
opened Aug 24, 2026 by
manfredscheucher
Loading…
Recover seven lost release notes and harden the release tooling
#6509
opened Aug 16, 2026 by
fabiomadge
Collaborator
•
Draft
fix: parse the --cores percentage with the invariant culture
#6507
opened Aug 10, 2026 by
fabiomadge
Collaborator
•
Draft
fix: delete the coverage tallies file instead of leaving it in the temp directory
#6506
opened Aug 10, 2026 by
fabiomadge
Collaborator
•
Draft
fix: canonicalize the element order of set and multiset displays
#6502
opened Aug 1, 2026 by
fabiomadge
Collaborator
Loading…
fix: resolve datatype discriminator/destructor pre-types on demand
#6501
opened Jul 31, 2026 by
fabiomadge
Collaborator
Loading…
docs: document extern-type contracts (equality and datatype members)
#6500
opened Jul 29, 2026 by
fabiomadge
Collaborator
Loading…
fix: compare extern references without an equals method by identity in the JS runtime
#6498
opened Jul 28, 2026 by
fabiomadge
Collaborator
Loading…
docs: require EqualsGeneric on extern Go types, and identity for extern classes
#6497
opened Jul 28, 2026 by
fabiomadge
Collaborator
Loading…
fix: compile Python reference-type equality to identity comparison
#6496
opened Jul 27, 2026 by
fabiomadge
Collaborator
Loading…
fix: load the standard library for the lib target
#6495
opened Jul 27, 2026 by
fabiomadge
Collaborator
Loading…
fix: readable doo-anchored diagnostics and a notice when lib builds embed doo dependencies
#6494
opened Jul 27, 2026 by
fabiomadge
Collaborator
Loading…
fix: suggest 'extends object' in reads/modifies/unchanged/fresh errors on non-reference traits
#6474
opened Apr 29, 2026 by
fabiomadge
Collaborator
Loading…
fix: prevent matching-loop rewrite from extracting inner-binder-bound variables
#6453
opened Apr 2, 2026 by
fabiomadge
Collaborator
Loading…
fix: accumulate verification resource counts in long to avoid overflow
#6451
opened Mar 31, 2026 by
fabiomadge
Collaborator
Loading…
fix: handle missing definite assignment tracker in assigned()
#6450
opened Mar 31, 2026 by
fabiomadge
Collaborator
Loading…
fix: guard against null ResolvedClass in UserDefinedType clone
#6449
opened Mar 31, 2026 by
fabiomadge
Collaborator
Loading…
2
fix: make format --stdin actually format the input
#6448
opened Mar 25, 2026 by
fabiomadge
Collaborator
Loading…
fix: parenthesize non-last comprehensions in all comma-separated print lists
#6447
opened Mar 25, 2026 by
fabiomadge
Collaborator
Loading…
fix: enable reads checks for array allocation expressions
#6446
opened Mar 25, 2026 by
fabiomadge
Collaborator
Loading…
fix: pass type substitution for const RHS in CanCallAssumption
#6445
opened Mar 25, 2026 by
fabiomadge
Collaborator
Loading…
fix: handle pre-resolution SubExpressions and skip broken trigger clones in refinement
#6444
opened Mar 25, 2026 by
fabiomadge
Collaborator
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.