Commits

History for

Commits on Dec 8, 2023

Bump Boogie to v3.0.9 (dafny-lang#4857 )
atomb
authored

Commits on Nov 30, 2023

Bump Boogie dependency to v3.0.8 (dafny-lang#4829 )
atomb
authored

Commits on Nov 24, 2023

Allow disable-non-linear-arithmetic per module (dafny-lang#4773 )

keyboardDrummer
and
atomb
authored

Commits on Nov 9, 2023

Add the built-in format command instead of the discontinued dotnet-format tool (dafny-lang#4753 )
keyboardDrummer
authored

Commits on Sep 7, 2023

Basic implementation of proof dependency analysis (dafny-lang#4461 )
atomb
authored

Commits on Feb 22, 2023

fix: Fix naming of formals in Translator and standardize Z3 path (dafny-lang#3551 )

Dargones
and
atomb
authored

Commits on Feb 2, 2023

Revert "fix: Fix naming of formals in Translator (dafny-lang#2266 )" (dafny-lang#3447 )
robin-aws
authored

Commits on Feb 1, 2023

fix: Fix naming of formals in Translator (dafny-lang#2266 )

authored

Commits on Dec 17, 2021

feat: Log verification of splits (dafny-lang#1656 )
robin-aws
authored

Commits on Dec 15, 2021

Upgrade .NET to 6.0 (dafny-lang#1642 )

keyboardDrummer
and
robin-aws
authored

Commits on Oct 4, 2021

fix: Move dotnet-tools.json to root, use it in pre-commit hook (dafny-lang#1480 )
robin-aws
authored

Loading