Pull requests: dafny-lang/dafny
Pull requests list
Fix: No new resolver crash with partially resolved datatype update expressions
#5440
by MikaelMayer
was merged Jun 14, 2024
Loading…
Feat: Dafny-to-Rust code indentation and identifiers
#4974
by MikaelMayer
was merged Feb 7, 2024
Loading…
Fix: Formatting within the IDE wasn't working anymore
#4274
by MikaelMayer
was merged Jul 14, 2023
Loading…
Fix: Modules verified in the correct order to prevent Boogie Crash
#4212
by MikaelMayer
was merged Jul 12, 2023
Loading…
Fix: Handling of opaque methods in traits overriding check
#4207
by MikaelMayer
was merged Jul 12, 2023
Loading…
Feat: Support for
--bprint in language server.
#4206
by MikaelMayer
was merged Jul 10, 2023
Loading…
Fix: Removed wrong "related position" precision when dealing with regrouped quantifiers
#4187
by MikaelMayer
was merged Jul 6, 2023
Loading…
Fix: Compilation of continue labels no longer crashing in Go
#4171
by MikaelMayer
was merged Jul 10, 2023
Loading…
Feat:
assert {:only} to temporarily work on a single assertion
#3933
by MikaelMayer
was merged May 3, 2023
Loading…
Fix canonical paths for paths with spaces
has-workaround: no
There are no known workarounds
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
release-blocker
Must be resolved before the next release
#3491
by MikaelMayer
was merged Feb 9, 2023
Loading…
Fix: Labels are no longer compiled in the case of variable declarations
#2973
by MikaelMayer
was merged Nov 2, 2022
Loading…
Fix: Verification of abstract modules not duplicated when imported
#2972
by MikaelMayer
was merged Nov 3, 2022
Loading…
Fix: substitution of binding guards does not crash if splits present
#2968
by MikaelMayer
was merged Nov 14, 2022
Loading…
Fix: Default generic values no longer cause compilation error
#2967
by MikaelMayer
was merged Nov 2, 2022
Loading…
Fix: Added a missing case of TypeSynonymDecl in the resolver that caused a crash
#2962
by MikaelMayer
was merged Nov 2, 2022
Loading…
Fix: Returning a tuple when it should be two variables does not crash Dafny anymore
#2955
by MikaelMayer
was merged Nov 3, 2022
Loading…
Fix: No more crash when constraining type synonyms
#2954
by MikaelMayer
was merged Oct 31, 2022
Loading…
Fix: Variable declarations in match cases, formals do not trigger errors anymore
#2910
by MikaelMayer
was merged Oct 24, 2022
Loading…
ProTip!
Updated in the last three days: updated:>2024-06-22.