py2many Files

What's Changed

• build(deps): bump actions/upload-artifact from 6 to 7 in the github_actions group by @dependabot[bot] in https://github.com/py2many/py2many/pull/754
• build(deps): bump julia-actions/setup-julia from 2 to 3 in the github_actions group by @dependabot[bot] in https://github.com/py2many/py2many/pull/755
• vlang: rebase previous commits by @adsharma in https://github.com/py2many/py2many/pull/756
• Build CI runtime image in workflow by @adsharma in https://github.com/py2many/py2many/pull/757
• ci: name focused runtime images by @adsharma in https://github.com/py2many/py2many/pull/758
• go: pass delete.go by @adsharma in https://github.com/py2many/py2many/pull/759
• Improve go transpiler test coverage by @adsharma in https://github.com/py2many/py2many/pull/760
• Add Go stdlib stubs by @adsharma in https://github.com/py2many/py2many/pull/761
• Improve test coverage for cpp and py by @adsharma in https://github.com/py2many/py2many/pull/763
• Add omni CI image by @adsharma in https://github.com/py2many/py2many/pull/762
• ci: fix omni/full backend runs by @adsharma in https://github.com/py2many/py2many/pull/764
• Update passing generated expected outputs by @adsharma in https://github.com/py2many/py2many/pull/765
• Add matrix-style SMT sudoku example by @adsharma in https://github.com/py2many/py2many/pull/766
• Vlang bootstrap binary by @adsharma in https://github.com/py2many/py2many/pull/767
• Support jlfmt by @jayvdb in https://github.com/py2many/py2many/pull/772
• Install Julia CI tooling via setup script by @adsharma in https://github.com/py2many/py2many/pull/773
• Many small non-functional fixes by @jayvdb in https://github.com/py2many/py2many/pull/774
• Sync dlang test metadata by @jayvdb in https://github.com/py2many/py2many/pull/776
• Support "from .. import .." in zig by @jayvdb in https://github.com/py2many/py2many/pull/779
• Dont rewrite with x: emitting Python by @jayvdb in https://github.com/py2many/py2many/pull/781
• Explicitly include <array> for cpp by @jayvdb in https://github.com/py2many/py2many/pull/783
• Add rewriter to ignore class_getitem by @jayvdb in https://github.com/py2many/py2many/pull/785
• Improve go-setup.sh by @jayvdb in https://github.com/py2many/py2many/pull/786
• Finish transition to ldmd2 for dlang by @jayvdb in https://github.com/py2many/py2many/pull/788
• Fix docker mojo builds by @jayvdb in https://github.com/py2many/py2many/pull/789
• Pin Kotlin and klint dependencies by @jayvdb in https://github.com/py2many/py2many/pull/791
• Improve scripts/zig-runner.sh by @jayvdb in https://github.com/py2many/py2many/pull/794
• Fix z3 tests on macos intel by @jayvdb in https://github.com/py2many/py2many/pull/796
• Fix finding g++ on macos by @jayvdb in https://github.com/py2many/py2many/pull/797
• Allow running scripts on Windows by @jayvdb in https://github.com/py2many/py2many/pull/798
• Fix _run on Windows by @jayvdb in https://github.com/py2many/py2many/pull/799
• Pin dfmt version by @jayvdb in https://github.com/py2many/py2many/pull/800
• Add .mise.toml by @jayvdb in https://github.com/py2many/py2many/pull/795
• docs: fix some typos by @jeis4wpi in https://github.com/py2many/py2many/pull/802
• Add lean language target by @jayvdb in https://github.com/py2many/py2many/pull/803
• Add Rust AST render pass by @adsharma in https://github.com/py2many/py2many/pull/771
• Add C++ AST render pass by @adsharma in https://github.com/py2many/py2many/pull/806
• Allow testing without git Python deps by @jayvdb in https://github.com/py2many/py2many/pull/807
• Remove macos gsed dependency by @jayvdb in https://github.com/py2many/py2many/pull/808
• Split mise by language by @jayvdb in https://github.com/py2many/py2many/pull/809
• Use latest stable on Fast CI by @jayvdb in https://github.com/py2many/py2many/pull/811
• Bump actions/checkout from 6 to 7 in the github_actions group by @dependabot[bot] in https://github.com/py2many/py2many/pull/813
• Expand Lean transpiler by @jayvdb in https://github.com/py2many/py2many/pull/814
• pylean: Five more by @jayvdb in https://github.com/py2many/py2many/pull/816
• Implement zig sys.argv by @jayvdb in https://github.com/py2many/py2many/pull/817
• pydart: Add three test cases by @jayvdb in https://github.com/py2many/py2many/pull/818
• pyrs: str functions by @jayvdb in https://github.com/py2many/py2many/pull/819
• pyzig: Emit print function to fix eight test cases by @jayvdb in https://github.com/py2many/py2many/pull/820
• pylean: Add 13 test case support by @jayvdb in https://github.com/py2many/py2many/pull/821
• Skip tests requiring conan by @jayvdb in https://github.com/py2many/py2many/pull/822
• Add SMT features to Lean transpiler by @jayvdb in https://github.com/py2many/py2many/pull/815
• Bump actions/cache from 5 to 6 in the github_actions group by @dependabot[bot] in https://github.com/py2many/py2many/pull/823
• Lean: end to end flow by @adsharma in https://github.com/py2many/py2many/pull/826
• pyrs: use is_rust_reference by @adsharma in https://github.com/py2many/py2many/pull/828
• lean: generate real postconditions from CHECKER.post blocks by @adsharma in https://github.com/py2many/py2many/pull/830
• Bump the github_actions group with 2 updates by @dependabot[bot] in https://github.com/py2many/py2many/pull/824
• CI: add lean focus option and install lean toolchain by @adsharma in https://github.com/py2many/py2many/pull/832
• CI: add update_existing workflow to regenerate expected outputs by @adsharma in https://github.com/py2many/py2many/pull/833
• Update expected files by @adsharma in https://github.com/py2many/py2many/pull/837
• CI: upload test results even when regeneration tests fail by @adsharma in https://github.com/py2many/py2many/pull/836
• tests: delete test case that doesn't pass by @adsharma in https://github.com/py2many/py2many/pull/838
• Fix vlang and go self transpile cases by @adsharma in https://github.com/py2many/py2many/pull/839

New Contributors

• @jeis4wpi made their first contribution in https://github.com/py2many/py2many/pull/802

Full Changelog: https://github.com/py2many/py2many/compare/v0.8...v0.9