Commits

History for

Commits on Apr 3, 2023

Update to Boogie 2.16.4 (dafny-lang#3832 )
keyboardDrummer
committedApr 3, 2023

Commits on Mar 16, 2023

Update Boogie to 2.16.2 (dafny-lang#3645 )
atomb
committedMar 16, 2023

Commits on Dec 1, 2022

Server command (dafny-lang#3088 )
keyboardDrummer
committedDec 1, 2022

Commits on Nov 30, 2022

Bumped boogie version to 2.16.0 (dafny-lang#3136 )
MikaelMayer
committedNov 30, 2022

Commits on Nov 3, 2022

Update Boogie to 2.15.9 (dafny-lang#2924 )

atomb
and
MikaelMayer
committedNov 3, 2022

Commits on Sep 30, 2022

Add top-level commands to Dafny and redesign the CLI UI V2 (dafny-lang#2603 )

keyboardDrummer
and
cpitclaudel
committedSep 30, 2022

Commits on Sep 15, 2022

Add DafnyRuntime.Tests to Dafny.sln (dafny-lang#2744 )
atomb
committedSep 15, 2022

Commits on Sep 9, 2022

chore: Factor out projects without runtimes (dafny-lang#2568 )
robin-aws
committedSep 9, 2022

Commits on Jul 27, 2022

Rework notification publishing order (dafny-lang#2391 )
keyboardDrummer
committedJul 27, 2022

Commits on Jul 8, 2022

chore: Mechanism for compilers to declare unsupported features (dafny-lang#2366 )
robin-aws
committedJul 8, 2022

Commits on Jun 16, 2022

Add Run and cancel API (dafny-lang#2215 )
keyboardDrummer
committedJun 16, 2022

Commits on May 12, 2022

Incremental verification diagnostics with migration support (dafny-lang#2093 )
keyboardDrummer
committedMay 12, 2022
Add limited support for automatically generating Dafny traits from C# classes (dafny-lang#2000 )

cpitclaudel
and
atomb
committedMay 12, 2022

Commits on May 3, 2022

Update to Boogie 2.15.0 (dafny-lang#2085 )

committedMay 3, 2022

Commits on Apr 13, 2022

Move Boogie reference from Directory.Build.props to DafnyPipeline.csproj (dafny-lang#2008 )
keyboardDrummer
committedApr 13, 2022

Commits on Mar 28, 2022

Upgrade to Boogie 2.13.4 (dafny-lang#1938 )
keyboardDrummer
committedMar 28, 2022

Commits on Mar 23, 2022

Upgrade to Boogie 2.13.2 (dafny-lang#1931 )
keyboardDrummer
committedMar 23, 2022

Commits on Mar 18, 2022

Update to Boogie 2.13.1 (dafny-lang#1916 )
keyboardDrummer
committedMar 18, 2022

Commits on Mar 9, 2022

Bump Boogie to 2.13.0 (dafny-lang#1892 )
robin-aws
committedMar 9, 2022

Commits on Mar 2, 2022

Update to Boogie 2.12.1 (dafny-lang#1866 )
keyboardDrummer
committedMar 2, 2022

Commits on Feb 4, 2022

Bump Boogie dependency to 2.11.4 (dafny-lang#1787 )
atomb
committedFeb 4, 2022
Include Z3 resource counts in CSV logs (dafny-lang#1766 )
atomb
committedFeb 4, 2022

Commits on Jan 11, 2022

Add option to mimic the verification behavior of Dafny 3.3 (dafny-lang#1687 )
keyboardDrummer
committedJan 11, 2022

Commits on Dec 17, 2021

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

Commits on Dec 10, 2021

feat: Prevent changes unrelated to a proof from changing the verification behavior of the proof (dafny-lang#1612 )
keyboardDrummer
committedDec 10, 2021

Commits on Dec 7, 2021

Move customBoogie references one level higher (dafny-lang#1633 )
keyboardDrummer
committedDec 7, 2021

Commits on Nov 3, 2021

Update customBoogie.patch to include VCExpr and VCGeneration, the only two missing Boogie projects (dafny-lang#1550 )
keyboardDrummer
committedNov 3, 2021

Commits on Oct 27, 2021

Update to Boogie 2.9.6 (dafny-lang#1543 )
keyboardDrummer
committedOct 27, 2021

Commits on Oct 22, 2021

Update Boogie to 2.9.4 (dafny-lang#1531 )
keyboardDrummer
committedOct 22, 2021

Commits on Oct 21, 2021

chore: xUnit-based lit test runner (dafny-lang#680 )

committedOct 21, 2021

Commits on Sep 22, 2021

Remove unnecessary solution configurations (dafny-lang#1422 )
keyboardDrummer
committedSep 22, 2021

Commits on Sep 10, 2021

Make building Dafny against a custom Boogie easier (dafny-lang#1420 )
keyboardDrummer
committedSep 10, 2021

Loading