Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

411 simple integration test using old simple rust programs #413

Merged
merged 32 commits into from
Sep 8, 2024
Merged

411 simple integration test using old simple rust programs #413

merged 32 commits into from
Sep 8, 2024

Commits on Aug 26, 2024

  1. Add Rust test programs from prior repo to test data

    @jberthold
    jberthold committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    5de3075 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. make all programs compile and run without errors/warnings/output

    @jberthold
    jberthold committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    97a6bac View commit details
    Browse the repository at this point in the history

  2. Fix two typos in symbol names

    @jberthold
    jberthold committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    c39bf1f View commit details
    Browse the repository at this point in the history

  3. Add error messages to some assertions in the parser

    @jberthold
    jberthold committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    33a7193 View commit details
    Browse the repository at this point in the history

  4. submodule setup for smir_pretty, simple make target for parse tests

    @jberthold
    jberthold committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    02ec008 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Add CI job to test integration with smir_pretty

    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    6bdd7ea View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into 411-salvage-old-rus… 

    …t-tests
    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    0356f7d View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.3.41

    devops committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    342af6b View commit details
    Browse the repository at this point in the history

  4. rename container for smir integration test

    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    ad9bb8d View commit details
    Browse the repository at this point in the history

  5. tweak dependency on rust compiler source

    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    c121268 View commit details
    Browse the repository at this point in the history

  6. tweak dependency on rust compiler source again, use github-native rust

    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    c1820a5 View commit details
    Browse the repository at this point in the history

  7. use 3rd-party rustc setup action (want nightly)

    @jberthold
    jberthold committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    2ec3f6e View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. attempt to work around CI-build logic in rustc bootstrap

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    1a46f69 View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.3.42

    devops committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    a6b90ee View commit details
    Browse the repository at this point in the history

  3. attempt to work around CI-build logic in rustc bootstrap - stage 2

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    243e2ae View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into 411-salvage-old-rus… 

    …t-tests
    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    94b6ad9 View commit details
    Browse the repository at this point in the history

  5. Set Version: 0.3.42

    devops committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    14e32dd View commit details
    Browse the repository at this point in the history

  6. remove config.toml experiment

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    2683c37 View commit details
    Browse the repository at this point in the history

  7. lie to rustc bootstrap that we are not in CI (modify GITHUB_ACTIONS v… 

    …ariable)
    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    498d006 View commit details
    Browse the repository at this point in the history

  8. another way to modify GITHUB_ACTIONS

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    aaeda05 View commit details
    Browse the repository at this point in the history

  9. tests not test

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    b79f1db View commit details
    Browse the repository at this point in the history

  10. rearrange steps to run the tests within docker (with K available)

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    8a3196c View commit details
    Browse the repository at this point in the history

  11. pin nightly rustc to today's date

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    770646f View commit details
    Browse the repository at this point in the history

  12. add caching for rust artefacts

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7a1c632 View commit details
    Browse the repository at this point in the history

  13. Formatting of all steps

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    0d35a8e View commit details
    Browse the repository at this point in the history

  14. use yesterday's date, as I am ahead of the world

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    116585e View commit details
    Browse the repository at this point in the history

  15. different syntax for pinned nightly toolchain 

    See dtolnay/rust-toolchain#76 (comment)
    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    529be01 View commit details
    Browse the repository at this point in the history

  16. add build dir to rust cache

    @jberthold
    jberthold committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    731bdcc View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. actually fail on smir errors or parse errors

    @jberthold
    jberthold committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    125cb5e View commit details
    Browse the repository at this point in the history

  2. HACK: patch rustc_arch.sh script in docker so we can run smir_pretty

    @jberthold
    jberthold committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3a1ddb3 View commit details
    Browse the repository at this point in the history

  3. patching the patch

    @jberthold
    jberthold committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    ebac227 View commit details
    Browse the repository at this point in the history

  4. correct symbols for MonoItems (kast requires use of append/empty)

    @jberthold
    jberthold committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    bee05d5 View commit details
    Browse the repository at this point in the history