Commits

Commits on Sep 27, 2024

Omit empty modules when translating to Go (#5766 )
robin-aws
committedSep 27, 2024

Commits on Aug 12, 2024

feat: Legacy module names option (#5679 )
robin-aws
committedAug 12, 2024

Commits on Jun 19, 2024

ci: Fix nightly build tests broken by skipping Rust (#5566 )
robin-aws
committedJun 19, 2024

Commits on Jun 17, 2024

fix: Legacy datatype constructor compatibility in Java (#5558 )
robin-aws
committedJun 17, 2024

Commits on May 28, 2024

ci: Use macos-11 in all CI (#5493 )
robin-aws
committedMay 28, 2024

Commits on May 22, 2024

Omit empty modules from translation records (#5475 )
robin-aws
committedMay 22, 2024

Commits on May 1, 2024

ci: Daily CI to soak flaky tests (#5382 )
robin-aws
committedMay 1, 2024
Release 4.6.0 (#5268 )

robin-aws
and
keyboardDrummer
committedMay 1, 2024
Revert "Feat rust operators (#5380 )" (again) (#5383 )
robin-aws
committedMay 1, 2024

Commits on Apr 30, 2024

feat: Translation records (#5346 )
robin-aws
committedApr 30, 2024

Commits on Mar 27, 2024

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

Commits on Mar 12, 2024

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

Commits on Mar 6, 2024

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

Commits on Jan 25, 2024

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

Commits on Dec 12, 2023

Release Dafny 4.4.0 (update refman snapshot and docs/dev/news post-release) (#4872 )
robin-aws
committedDec 12, 2023
feat: Tighten specifications on Strings standard library (#4868 )
robin-aws
committedDec 12, 2023

Commits on Dec 11, 2023

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

Commits on Dec 8, 2023

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

Commits on Dec 7, 2023

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

Commits on Nov 27, 2023

feat: {:assume_concurrent} attribute (#4563 )

committedNov 27, 2023

Commits on Nov 17, 2023

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

robin-aws
and
alex-chew
committedNov 17, 2023

Commits on Nov 15, 2023

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

Commits on Nov 14, 2023

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

Commits on Nov 10, 2023

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

Commits on Nov 9, 2023

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

Commits on Nov 7, 2023

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

Commits on Nov 2, 2023

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

Commits on Oct 20, 2023

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

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

Commits on Sep 26, 2023

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

Commits on Sep 22, 2023

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

Commits on Sep 20, 2023

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