Commits

Commits on May 1, 2024

Commits on Apr 30, 2024

Poke CI
robin-aws
committedApr 30, 2024
Parameterize unit tests workflow
robin-aws
committedApr 30, 2024
First cut
robin-aws
committedApr 30, 2024
feat: Translation records (dafny-lang#5346 )
robin-aws
committedApr 30, 2024

Commits on Mar 27, 2024

chore: Prep for 4.6.0 (dafny-lang#5263 )
robin-aws
committedMar 27, 2024

Commits on Mar 12, 2024

chore: Remove warning on --type-system-refresh (dafny-lang#5183 )
robin-aws
committedMar 12, 2024

Commits on Mar 6, 2024

fix: Avoid NPE when building a doo file with —no-verify (dafny-lang#5152 )
robin-aws
committedMar 6, 2024

Commits on Jan 25, 2024

fix: Move “GO111MODULE=on” to env: to work with Windows too (dafny-lang#5015 )
robin-aws
committedJan 25, 2024

Commits on Dec 12, 2023

Commits on Dec 11, 2023

feat: Add a few more Std.Collections.Seq functions (dafny-lang#4867 )
robin-aws
committedDec 11, 2023
fix: Don’t add target-specific standard library doo files to root source URIs (dafny-lang#4861 )
robin-aws
committedDec 11, 2023

Commits on Dec 8, 2023

chore: Prep for 4.4 release (dafny-lang#4859 )
robin-aws
committedDec 8, 2023

Commits on Dec 7, 2023

chore: Improve names in standard libraries (dafny-lang#4852 )
robin-aws
committedDec 7, 2023

Commits on Nov 27, 2023

feat: {:assume_concurrent} attribute (dafny-lang#4563 )

committedNov 27, 2023

Commits on Nov 17, 2023

feat: Per-backend code support in standard libraries, FileIO library (dafny-lang#4790 )

robin-aws
and
alex-chew
committedNov 17, 2023

Commits on Nov 15, 2023

100% branch coverage on Wrappers and Collections (dafny-lang#4776 )
robin-aws
committedNov 15, 2023

Commits on Nov 14, 2023

feat: Coverage report index breakdown per module (dafny-lang#4772 )
robin-aws
committedNov 14, 2023

Commits on Nov 10, 2023

fix: Escape tallies temporary file path properly (dafny-lang#4767 )
robin-aws
committedNov 10, 2023

Commits on Nov 9, 2023

feat: Execution branch coverage report (dafny-lang#4755 )
robin-aws
committedNov 9, 2023

Commits on Nov 7, 2023

ci: Use —build:<temp dir> in MultiBackendTest (dafny-lang#4743 )
robin-aws
committedNov 7, 2023

Commits on Nov 2, 2023

feat: Populate runtimes with all built-in declarations (dafny-lang#4658 )
robin-aws
committedNov 2, 2023
ci: Switch publish-release-reusable.yml to ubuntu-20.04 (dafny-lang#4736 )
robin-aws
committedNov 2, 2023

Commits on Oct 20, 2023

feat: Standard library support + DafnyStdLibs.Wrappers (dafny-lang#4678 )

robin-aws
and
keyboardDrummer
committedOct 20, 2023
chore: Restore lost README.md about integration tests, update references to Test directory (dafny-lang#4691 )
robin-aws
committedOct 20, 2023

Commits on Sep 26, 2023

chore: Hide Rust backend in reference manual (dafny-lang#4586 )
robin-aws
committedSep 26, 2023

Commits on Sep 22, 2023

fix: Fix reusable workflow secrets declarations (dafny-lang#4575 )
robin-aws
committedSep 22, 2023
ci: Split off reusable nightly build workflow, run it for master and 4.3 (dafny-lang#4573 )
robin-aws
committedSep 22, 2023

Commits on Sep 20, 2023

ci: Disable test reporter auto-discovery to speed up integration tests (dafny-lang#4568 )
robin-aws
committedSep 20, 2023

Commits on Sep 15, 2023

feat: Allow more assumptions in library backend (dafny-lang#4545 )
robin-aws
committedSep 15, 2023