Commits

History for

onlucmcdon/python-modules

Commits on Sep 29, 2023

Chore: merge release 4.3.0 (only release notes, version number) (dafny-lang#4590 )
MikaelMayer
committedSep 29, 2023

Commits on Aug 3, 2023

Fix z3 download (dafny-lang#4381 )
atomb
committedAug 3, 2023

Commits on Aug 2, 2023

Use arm64 version of Z3 4.12.1 for arm64 macOS releases of Dafny (dafny-lang#4371 )

17451k
and
atomb
committedAug 2, 2023

Commits on Jul 28, 2023

Run Cargo in quiet mode to fix integration tests (dafny-lang#4351 )
shadaj
committedJul 28, 2023

Commits on Jul 20, 2023

Add minimal Rust backend that supports basic Dafny programs (dafny-lang#4225 )

shadaj
and
jtristan
committedJul 20, 2023

Commits on Jun 23, 2023

Chore: Add bisect dafny file (dafny-lang#4211 )
MikaelMayer
committedJun 23, 2023

Commits on May 23, 2023

Using quicktest in release-brew (dafny-lang#3787 )

davidcok
and
davidcok
committedMay 23, 2023

Commits on May 10, 2023

chore: Fix NuGet release downloads workflow (dafny-lang#3975 )
robin-aws
committedMay 10, 2023
fix: Test and CI (dafny-lang#3983 )
fabiomadge
committedMay 10, 2023

Commits on Apr 18, 2023

chore: Drop 4th segment of version prefix (dafny-lang#3880 )
robin-aws
committedApr 18, 2023

Commits on Mar 22, 2023

Upgrades release smoke tests to use new CLI (dafny-lang#3707 )

committedMar 22, 2023

Commits on Mar 9, 2023

chore: Fix release downloads verification workflow (dafny-lang#3678 )

robin-aws
and
jtristan
committedMar 9, 2023

Commits on Mar 2, 2023

chore: Restore publishing language server to nuget, fix allow_on_mac.sh for z3 paths (dafny-lang#3668 )
robin-aws
committedMar 2, 2023

Commits on Mar 1, 2023

Update release process to work on non-master branches (dafny-lang#3656 )
robin-aws
committedMar 1, 2023

Commits on Feb 27, 2023

Another attempt at dafny-lang#3622 (dafny-lang#3638 )
atomb
committedFeb 27, 2023

Commits on Feb 22, 2023

Check ide-vscode for blockers in release script (dafny-lang#3604 )
alex-chew
committedFeb 22, 2023

Commits on Feb 11, 2023

fix: correct project file when running dotnet publish (dafny-lang#3519 )
fabiomadge
committedFeb 11, 2023
feat: Implement sequence type using cross-compiled Dafny code in Go runtime (dafny-lang#3167 )
robin-aws
committedFeb 11, 2023

Commits on Feb 2, 2023

chore: Add Python to quicktest.sh (dafny-lang#3386 )
fabiomadge
committedFeb 2, 2023

Commits on Dec 30, 2022

Compute PR number automatically when generating release notes (dafny-lang#3234 )

cpitclaudel
and
MikaelMayer
committedDec 30, 2022

Commits on Dec 9, 2022

Changing tests to not use dafny_0 and /countVerificationErrors:0 (dafny-lang#3160 )

davidcok
and
davidcok
committedDec 9, 2022

Commits on Dec 7, 2022

Implementing %exit in the test infrastructure (dafny-lang#3157 )
davidcok
committedDec 7, 2022

Commits on Nov 17, 2022

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

Commits on Nov 14, 2022

Adding arm64-osx architecture to publish script (dafny-lang#3033 )

committedNov 14, 2022

Commits on Nov 1, 2022

Add a "breaking changes" category to the release notes (dafny-lang#2902 )
cpitclaudel
committedNov 1, 2022

Commits on Oct 28, 2022

Post 3.9.1 cleanup (dafny-lang#2937 )
atomb
committedOct 28, 2022

Commits on Oct 12, 2022

feat: Add a release script (dafny-lang#2848 )
cpitclaudel
committedOct 12, 2022

Commits on Oct 3, 2022

Release 3.9.0 (dafny-lang#2834 )
MikaelMayer
committedOct 3, 2022

Commits on Sep 23, 2022

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

Commits on Sep 21, 2022

Almost fully support goto definition (dafny-lang#2696 )

committedSep 21, 2022

Commits on Sep 9, 2022

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

Commits on Sep 8, 2022

Improve documentation
keyboardDrummer
committedSep 8, 2022
Update Scripts/git-split.sh

keyboardDrummer
and
cpitclaudel
committedSep 8, 2022
Update Contributing.md
keyboardDrummer
committedSep 8, 2022
Added git-split.sh
keyboardDrummer
committedSep 8, 2022