Commits

Commits on Nov 25, 2022

chore: Remove -noLogo from tests that run dotnet test (dafny-lang#3115 )
robin-aws
authoredNov 25, 2022

Commits on Nov 24, 2022

feat: Unicode strings (--unicode-char) (dafny-lang#3016 )
robin-aws
authoredNov 24, 2022

Commits on Nov 17, 2022

Build DafnyRuntime for netstandard2.0 and net452 instead of net6.0 (dafny-lang#2795 )
robin-aws
authoredNov 17, 2022

Commits on Nov 12, 2022

feat: /runAllTests:1 MUST set the exit code on failed tests (dafny-lang#3047 )
robin-aws
authoredNov 12, 2022

Commits on Nov 3, 2022

fix: Handle UTF-16 escapes and invalid surrogate sequences in Python and Go (dafny-lang#2926 )

robin-aws
and
cpitclaudel
authoredNov 3, 2022

Commits on Nov 1, 2022

Revert "fix: Force UTF-8 encoding in C# lit runner (dafny-lang#2938 )" (dafny-lang#2964 )
robin-aws
authoredNov 1, 2022

Commits on Sep 30, 2022

fix: GenerateAssemblyInfo in DafnyCore (dafny-lang#2814 )
robin-aws
authoredSep 30, 2022

Commits on Sep 23, 2022

Publish DafnyServer/Driver/Core to NuGet as well (dafny-lang#2787 )
robin-aws
authoredSep 23, 2022

Commits on Sep 9, 2022

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

Commits on Sep 8, 2022

Merge branch 'master' into splitDafnyAst
robin-aws
authoredSep 8, 2022

Commits on Jul 11, 2022

chore: Disable nuget publishing from nightly build (dafny-lang#2389 )

robin-aws
and
keyboardDrummer
authoredJul 11, 2022

Commits on Jul 9, 2022

chore: Path fix in command to publish to NuGet (dafny-lang#2388 )
robin-aws
authoredJul 9, 2022

Commits on Jul 8, 2022

Commits on Jun 17, 2022

docs: Add matrix of supported features by target language (dafny-lang#2268 )

robin-aws
and
MikaelMayer
authoredJun 17, 2022

Commits on Jun 10, 2022

feat: Domains and ranges for quantified variables (dafny-lang#2195 )
robin-aws
authoredJun 10, 2022

Commits on May 6, 2022

chore: Quick CI refactoring followups (dafny-lang#2099 )

robin-aws
and
atomb
authoredMay 6, 2022

Commits on May 3, 2022

chore: Only run "deep tests" in nightly build (dafny-lang#2089 )
robin-aws
authoredMay 3, 2022

Commits on May 2, 2022

chore: Add GitHub actions workflow for publishing release, streamline release process (dafny-lang#2082 )
robin-aws
authoredMay 2, 2022

Commits on Apr 29, 2022

chore: Factor out reusable workflow for integration tests (dafny-lang#2077 )
robin-aws
authoredApr 29, 2022

Commits on Apr 23, 2022

Commits on Apr 20, 2022

feat: /runAllTests option for executing all {:test} methods (dafny-lang#2005 )
robin-aws
authoredApr 20, 2022

Commits on Mar 17, 2022

fix: Populate TestResult.ResourceCount for assertion batches (dafny-lang#1911 )
robin-aws
authoredMar 17, 2022

Commits on Mar 14, 2022

Bump version to 3.5.0 (dafny-lang#1901 )
robin-aws
authoredMar 14, 2022

Commits on Mar 9, 2022

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

Commits on Dec 28, 2021

In-memory implementation of %diff and %sed, enable integration tests on windows (dafny-lang#1540 )
robin-aws
authoredDec 28, 2021

Commits on Dec 17, 2021

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

Commits on Nov 10, 2021

chore: Test reporting on GitHub (dafny-lang#1568 )
robin-aws
authoredNov 10, 2021

Commits on Nov 5, 2021

chore: Update files built for the 3.3.0 release (dafny-lang#1561 )
robin-aws
authoredNov 5, 2021

Commits on Nov 4, 2021

chore: Bump for full 3.3 release (dafny-lang#1558 )
robin-aws
authoredNov 4, 2021
feat: Verification logger (TRX only) (dafny-lang#1552 )
robin-aws
authoredNov 4, 2021

Commits on Oct 25, 2021

Remove make runtime, add READMEs for the new lit test runner (dafny-lang#1534 )
robin-aws
authoredOct 25, 2021

Commits on Oct 21, 2021

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

authoredOct 21, 2021