Skip to content
This repository has been archived by the owner on Mar 24, 2022. It is now read-only.

Update VeriWasm version #684

Merged
merged 3 commits into from Oct 30, 2021
Merged

Update VeriWasm version #684

merged 3 commits into from Oct 30, 2021

Commits on Oct 27, 2021

  1. Update VeriWasm

    @enjhnsn2
    enjhnsn2 committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    79513ac View commit details
    Browse the repository at this point in the history

  2. Upgrade wabt to 0.10.0.

    @cfallin
    cfallin committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    835e8bd View commit details
    Browse the repository at this point in the history

  3. Let's try Ubuntu 20.04...

    @cfallin
    cfallin committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    e0cc4a5 View commit details
    Browse the repository at this point in the history