Commits

History for

Commits on Mar 13, 2024

Bump Boogie dependency to v3.1.3 (#5190 )
atomb
committedMar 13, 2024

Commits on Mar 12, 2024

Use Boogie v3.1.2 (#5162 )
atomb
committedMar 12, 2024

Commits on Feb 20, 2024

Bump Boogie to v3.0.12 (#5105 )
atomb
committedFeb 20, 2024

Commits on Dec 8, 2023

Bump Boogie to v3.0.9 (#4857 )
atomb
committedDec 8, 2023

Commits on Nov 30, 2023

Bump Boogie dependency to v3.0.8 (#4829 )
atomb
committedNov 30, 2023

Commits on Nov 24, 2023

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

keyboardDrummer
and
atomb
committedNov 24, 2023

Commits on Nov 9, 2023

Add the built-in format command instead of the discontinued dotnet-format tool (#4753 )
keyboardDrummer
committedNov 9, 2023

Commits on Sep 7, 2023

Basic implementation of proof dependency analysis (#4461 )
atomb
committedSep 7, 2023

Commits on Feb 22, 2023

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

Dargones
and
atomb
committedFeb 22, 2023

Commits on Feb 2, 2023

Revert "fix: Fix naming of formals in Translator (#2266 )" (#3447 )
robin-aws
committedFeb 2, 2023

Commits on Feb 1, 2023

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

committedFeb 1, 2023

Commits on Dec 17, 2021

feat: Log verification of splits (#1656 )
robin-aws
committedDec 17, 2021

Commits on Dec 15, 2021

Upgrade .NET to 6.0 (#1642 )

keyboardDrummer
and
robin-aws
committedDec 15, 2021

Commits on Oct 4, 2021

fix: Move dotnet-tools.json to root, use it in pre-commit hook (#1480 )
robin-aws
committedOct 4, 2021