Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

GSoC 2020: Webassembly backend for the Ergo compiler #777

Closed
wants to merge 30 commits into from
Closed

GSoC 2020: Webassembly backend for the Ergo compiler #777

wants to merge 30 commits into from

Commits on Aug 24, 2020

  1. (WIP) New backend compiler, new code org, new build 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    020fb15 View commit details
    Browse the repository at this point in the history

  2. WIP(Wasm) Some initial compiler extension for Wasm 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    8671328 View commit details
    Browse the repository at this point in the history

  3. feature(wasm) Add, almost, compilation path from Ergo to Wasm 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    6edb6e3 View commit details
    Browse the repository at this point in the history

  4. fix(test) license check and some tests 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    ec3bb0b View commit details
    Browse the repository at this point in the history

  5. fix(rebase) Adjust code after rebase with master 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    abfb134 View commit details
    Browse the repository at this point in the history

  6. Use QCert's new Wasm backend functor 

    Signed-off-by: Patrik Keller <[email protected]>
    @pkel @jeromesimeon
    pkel authored and jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    4d744a8 View commit details
    Browse the repository at this point in the history

  7. chore(dep) Fixes for Coq 8.12 + license check fixes 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    d60966c View commit details
    Browse the repository at this point in the history

  8. fix(Wasm) Update to new compile call with type hierarchy 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    69d91a9 View commit details
    Browse the repository at this point in the history

  9. fix(engine) Make calls async yet again... 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    7aee535 View commit details
    Browse the repository at this point in the history

  10. feature(wasm) Some initial code for the new Ergo to Wasm compiler 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    49878e7 View commit details
    Browse the repository at this point in the history

  11. fix(Wasm) --target wasm in the compiler now generates binary wasm for… 

    … execution

Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    03f61d5 View commit details
    Browse the repository at this point in the history

  12. feature(engine) trigger is now just invoking main 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    f37ede8 View commit details
    Browse the repository at this point in the history

  13. refactor(compiler) Remove unneeded dispatch/init boiler plates in ES6… 

    … target

Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    9f2f9c2 View commit details
    Browse the repository at this point in the history

  14. refactor(engine) Updates to API calls / terminology in the engine 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    7e63b8a View commit details
    Browse the repository at this point in the history

  15. feature(wasm) Gets first end to end Wasm backed with lots of hacks 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    68ee55c View commit details
    Browse the repository at this point in the history

  16. Return B64 from wasm backend. 

    Enables true ergo -> wasm -> invoke/trigger pipeline.

Signed-off-by: Patrik Keller <[email protected]>
    @pkel @jeromesimeon
    pkel authored and jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    8dfa0cb View commit details
    Browse the repository at this point in the history

  17. Avoid Base64 on JS/Ocaml interop 

    Signed-off-by: Patrik Keller <[email protected]>
    @pkel @jeromesimeon
    pkel authored and jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    d87329b View commit details
    Browse the repository at this point in the history

  18. chore(dep) Add wasm to OCaml dependencies in CI and DEVELOPERS.md 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    80a1a4b View commit details
    Browse the repository at this point in the history

  19. fix(wasm) Various fixes to tests 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    41411c6 View commit details
    Browse the repository at this point in the history

  20. fix(wasm) Various fixes to engine and tests, factor out error handlimg 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    9226af2 View commit details
    Browse the repository at this point in the history

  21. fix(build) Remove base64 from js_of_ocaml build dependencies 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    4e8ffb1 View commit details
    Browse the repository at this point in the history

  22. refactor(runtime) Remove error unwrap from ES6 runtime 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    edf3021 View commit details
    Browse the repository at this point in the history

  23. fix(dep) dependency for assemblyscript loader 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    c56bc01 View commit details
    Browse the repository at this point in the history

  24. fix(runtime) Temporarily remove copy of WASM runtime -- until we know… 

    … how it is being distributed

Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    7d8c13a View commit details
    Browse the repository at this point in the history

  25. fix(engine) Some initial WASM test harness 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    eda9a86 View commit details
    Browse the repository at this point in the history

  26. fix(wasm) More tests for WASM + engine 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    60abe46 View commit details
    Browse the repository at this point in the history

  27. fix(wasm) Update with latest Wasm compiler + volumediscount test 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    bd3c019 View commit details
    Browse the repository at this point in the history

  28. fix(compiler) Fix to logic manager for ES6 compiled archives 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    ee42324 View commit details
    Browse the repository at this point in the history

  29. fix(wasm) Add runtime and test for float -> integer coercion 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    1fd376e View commit details
    Browse the repository at this point in the history

  30. fix(wasm) Update to latest Q*cert WASM backend/runtime + pyth test 

    Signed-off-by: Jerome Simeon <[email protected]>
    @jeromesimeon
    jeromesimeon committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    1ee3619 View commit details
    Browse the repository at this point in the history