Updating coroutines branch#5772

Merged

ssomayyajula merged 152 commits intoiterator-expfrom

Sep 16, 2024

Commits on Apr 19, 2024

Commits on Apr 20, 2024

Add first pass of proof obligation description expressions (#5317)

alex-chew
and
atomb
authored

Commits on Apr 21, 2024

Test ResolutionErrors[45679] with new resolver (#5333)
RustanLeino
authored

Commits on Apr 23, 2024

Change the format of output produced by `--progress` (#5341)
atomb
authored

Commits on Apr 24, 2024

Commits on Apr 25, 2024

Turning on doofiles/Test4.dfy (#5360)
keyboardDrummer
authored

Commits on Apr 26, 2024

Feat: Rust operators and immutable collections (#5081)

MikaelMayer
and
robin-aws
authored

Commits on Apr 29, 2024

Commits on May 2, 2024

Commits on May 7, 2024

Semantic vs non-semantic options (#5397)
keyboardDrummer
authored

Commits on May 8, 2024

Go libray module support (#5140)

ShubhamChaturvedi7
and
robin-aws
authored

Commits on May 9, 2024

Unsafe dependencies (#5394)
keyboardDrummer
authored

Commits on May 10, 2024

Feat: Rust operators (#5390)
MikaelMayer
authored

Commits on May 13, 2024

IDE performance improvements (#5415)

keyboardDrummer
and
robin-aws
authored

Commits on May 14, 2024

Commits on May 15, 2024

Commits on May 16, 2024

Commits on May 17, 2024

Commits on May 18, 2024

Add more ProofObligationDescription expressions (#5455)
alex-chew
authored

Commits on May 19, 2024

Fix bugs that could lead to an unresponsive IDE when working with project files (#5444)
keyboardDrummer
authored

Commits on May 20, 2024

Add yet more ProofObligationDescription expressions (#5467)
alex-chew
authored

Commits on May 21, 2024

Fix crash and add test (#5447)
keyboardDrummer
authored

Commits on May 22, 2024

Commits on May 23, 2024

Commits on May 27, 2024

Revert "fix: Ignore values not in a multiset when computing its hash … (#5492)
keyboardDrummer
authored

Commits on May 28, 2024

ci: Use macos-11 in all CI (#5493)
robin-aws
authored

Commits on May 29, 2024

Commits on May 31, 2024

Commits on Jun 3, 2024

chore: Double shard count and drop `ubuntu-lastest` from the nightly build (#5518)
fabiomadge
authored

Commits on Jun 5, 2024

No flatten for most backends (#5528)
keyboardDrummer
authored

Commits on Jun 6, 2024

Commits on Jun 7, 2024

Commits on Jun 8, 2024

Commits on Jun 10, 2024

Commits on Jun 11, 2024

Fix bug in projectAsLibrary test (#5545)
keyboardDrummer
authored

Commits on Jun 12, 2024

Update testing documentation (#5504)
stefan-aws
authored

Commits on Jun 14, 2024

Fix: No new resolver crash with partially resolved datatype update expressions (#5440)
MikaelMayer
authored

Commits on Jun 15, 2024

Chore: Omit Rust from the nightly release workflow (#5559)
MikaelMayer
authored

Commits on Jun 17, 2024

fix: Legacy datatype constructor compatibility in Java (#5558)
robin-aws
authored

Commits on Jun 18, 2024

Ensure nightly skips Rust (fixed) (#5564)
MikaelMayer
authored

Commits on Jun 19, 2024

ci: Fix nightly build tests broken by skipping Rust (#5566)
robin-aws
authored

Commits on Jun 20, 2024

chore: Remove typos in docs (#5529)

fabiomadge
and
stefan-aws
authored

Commits on Jun 22, 2024

Chore: Dafny to Rust refactorings (#5513)
MikaelMayer
authored

Commits on Jun 25, 2024

Commits on Jun 26, 2024

Commits on Jun 27, 2024

Commits on Jul 4, 2024

Refactor codebase in preparation for hide PR (#5594)
keyboardDrummer
authored

Commits on Jul 5, 2024

Macos13 and indirect c#backend (#5601)

authored

Commits on Jul 8, 2024

Commits on Jul 9, 2024

Commits on Jul 10, 2024

Commits on Jul 11, 2024

Chore: better compile-time elephant operator (#5614)

MikaelMayer
and
ssomayyajula
authored

Commits on Jul 22, 2024

fix: Crash when compiling an empty source file while including testing code (#5638)
fabiomadge
authored

Commits on Jul 23, 2024

Use a DafnyProject instead of a root file for printing (#5645)
keyboardDrummer
authored

Commits on Jul 24, 2024

Commits on Jul 25, 2024

chore(deps): bump rexml from 3.2.8 to 3.3.2 in /docs (#5648)

dependabot[bot]
and
fabiomadge
authored

Commits on Jul 29, 2024

Verification in the IDE now works correctly when declaring nested mod… (#5651)
keyboardDrummer
authored

Commits on Jul 30, 2024

Fix NRE and add test (#5655)
keyboardDrummer
authored

Commits on Jul 31, 2024

Fix bad generated Java code when using --legacy-data-constructors (#5657)
keyboardDrummer
authored

Commits on Aug 1, 2024

When using --legacy-data-constructors, add a typeDescriptor method to… (#5659)
keyboardDrummer
authored

Commits on Aug 2, 2024

Commits on Aug 7, 2024

Add developer options --sprint and --pprint (#5673)
keyboardDrummer
authored

Commits on Aug 8, 2024

Chore: Generated Id are now declaration-specific (#5669)

MikaelMayer
and
keyboardDrummer
authored

Commits on Aug 12, 2024

Commits on Aug 13, 2024

CompFuzzCI integration (#5682)

stefan-aws
and
robin-aws
authored

Commits on Aug 14, 2024

Revert "CompFuzzCI integration" (#5696)
stefan-aws
authored

Commits on Aug 15, 2024

Commits on Aug 16, 2024

Add --performance-stats option and use this on some tests (#5695)
keyboardDrummer
authored

Commits on Aug 19, 2024

Commits on Aug 23, 2024

Update Boogie to 3.2.4 (#5709)
keyboardDrummer
authored

Commits on Aug 28, 2024

feat: Allow type parameters on newtypes (#5495)
RustanLeino
authored

Commits on Aug 29, 2024

chore(deps): bump rexml from 3.3.3 to 3.3.6 in /docs (#5717)

dependabot[bot]
and
fabiomadge
authored

Commits on Aug 30, 2024

feat: Prelude extractor (#5621)
RustanLeino
authored

Commits on Sep 3, 2024

Commits on Sep 4, 2024

Commits on Sep 6, 2024

Commits on Sep 9, 2024

Feat rust exactboundedpool (#5706)

MikaelMayer
and
fabiomadge
authored

Commits on Sep 10, 2024

Commits on Sep 11, 2024

Fuzzing on forks (#5762)
kbuaaaaaa
authored

Commits on Sep 12, 2024

Commits on Sep 16, 2024