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

Update dependency: deps/wasm-semantics #127

Merged
merged 18 commits into from
Aug 31, 2023
Merged

Update dependency: deps/wasm-semantics #127

merged 18 commits into from
Aug 31, 2023

Commits on Aug 16, 2023

  1. deps/wasm-semantics: Set Version 51b9d18625ad764a784f6bca985ca57926d8… 

    …e903
    devops committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    6ca8a8b View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Merge branch 'master' into _update-deps/runtimeverification/wasm-sema… 

    …ntics
    @bbyalcinkaya
    bbyalcinkaya authored Aug 21, 2023
    Configuration menu
    Copy the full SHA
    5bd847d View commit details
    Browse the repository at this point in the history

  2. init pykelrond

    @bbyalcinkaya
    bbyalcinkaya committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    111b023 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. move python files to pykelrond

    @bbyalcinkaya
    bbyalcinkaya committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    f00a5d9 View commit details
    Browse the repository at this point in the history

  2. update makefile

    @bbyalcinkaya
    bbyalcinkaya committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    f8f2f1e View commit details
    Browse the repository at this point in the history

  3. Dockerfile: remove pip installs, add poetry

    @bbyalcinkaya
    bbyalcinkaya committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    001222a View commit details
    Browse the repository at this point in the history

  4. remove PYK_VERSION build arg

    @bbyalcinkaya
    bbyalcinkaya committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    c6d3690 View commit details
    Browse the repository at this point in the history

  5. update README.md

    @bbyalcinkaya
    bbyalcinkaya committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    cf7afd6 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. checkout with submodules recursive

    @bbyalcinkaya
    bbyalcinkaya committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    3f6cea2 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. make poetry-install a separate step

    @bbyalcinkaya
    bbyalcinkaya committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    5cfb6c9 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. poetry install no ansi output

    @bbyalcinkaya
    bbyalcinkaya committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    1519654 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. generate Cargo.lock if it doesn't exist

    @bbyalcinkaya
    bbyalcinkaya committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    e8f32a1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into _update-deps/runtimeverification/wasm-sema… 

    …ntics
    @bbyalcinkaya
    bbyalcinkaya authored Aug 29, 2023
    Configuration menu
    Copy the full SHA
    62030bd View commit details
    Browse the repository at this point in the history

  3. add comment to mxpy-build

    @bbyalcinkaya
    bbyalcinkaya committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    18dd055 View commit details
    Browse the repository at this point in the history

  4. pykelrond => kmultiversx

    @bbyalcinkaya
    bbyalcinkaya committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    0ac887d View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. minor corrections

    @bbyalcinkaya
    bbyalcinkaya committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    fb047c1 View commit details
    Browse the repository at this point in the history

  2. add python code quality checks

    @bbyalcinkaya
    bbyalcinkaya committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    b324511 View commit details
    Browse the repository at this point in the history

  3. add conversion flags

    @bbyalcinkaya
    bbyalcinkaya committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    5e29e87 View commit details
    Browse the repository at this point in the history