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

Wasm_of_ocaml support #11093

Merged
merged 26 commits into from
Nov 5, 2024
Merged

Wasm_of_ocaml support #11093

merged 26 commits into from
Nov 5, 2024

Commits on Nov 5, 2024

  1. Add wasm_files option and wasmoo_runtime META file entry 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    f1d0369 View commit details
    Browse the repository at this point in the history

  2. Compilation to Wasm using Wasm_of_ocaml 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    774d877 View commit details
    Browse the repository at this point in the history

  3. Update documentation 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    5da9c12 View commit details
    Browse the repository at this point in the history

  4. Add tests 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    fae1f0c View commit details
    Browse the repository at this point in the history

  5. Changes 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    7ba44dd View commit details
    Browse the repository at this point in the history

  6. ci: enable wasm_of_ocaml tests 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    a1cbe1f View commit details
    Browse the repository at this point in the history

  7. Wording changes 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    5c1c339 View commit details
    Browse the repository at this point in the history

  8. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    4ae8cc4 View commit details
    Browse the repository at this point in the history

  9. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    e26ece4 View commit details
    Browse the repository at this point in the history

  10. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    21ca0ca View commit details
    Browse the repository at this point in the history

  11. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    3fb2541 View commit details
    Browse the repository at this point in the history

  12. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    583ba09 View commit details
    Browse the repository at this point in the history

  13. _ 

    Signed-off-by: Rudi Grinberg <[email protected]>
    @rgrinberg @vouillon
    rgrinberg authored and vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    0e10ece View commit details
    Browse the repository at this point in the history

  14. Wasm_of_ocaml support: alternative design 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    f4e3c59 View commit details
    Browse the repository at this point in the history

  15. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    409a0f8 View commit details
    Browse the repository at this point in the history

  16. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    7b034e6 View commit details
    Browse the repository at this point in the history

  17. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    cb89db6 View commit details
    Browse the repository at this point in the history

  18. Updated documentation 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    fd5acfc View commit details
    Browse the repository at this point in the history

  19. Some clean-up 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    d31295f View commit details
    Browse the repository at this point in the history

  20. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    be2bd4a View commit details
    Browse the repository at this point in the history

  21. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    17e954a View commit details
    Browse the repository at this point in the history

  22. Disallow (wasm_of_ocaml (sourcemap file)) 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    aea189c View commit details
    Browse the repository at this point in the history

  23. Clean-up 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    2c0c5f6 View commit details
    Browse the repository at this point in the history

  24. enabled_if not allowed in libraries 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    a4bc007 View commit details
    Browse the repository at this point in the history

  25. Doc: how to install wasm_of_ocaml 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    f76b05e View commit details
    Browse the repository at this point in the history

  26. CR 

    Signed-off-by: Jérôme Vouillon <[email protected]>
    @vouillon
    vouillon committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    906b5e0 View commit details
    Browse the repository at this point in the history