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

Wasm Backend for Ergo #771

Closed
wants to merge 28 commits into from
Closed

Wasm Backend for Ergo #771

wants to merge 28 commits into from

Conversation

jeromesimeon
Copy link
Member

Issue #727

Changes

  • New WASM backend
  • New execution engine
  • Refactor logic manager and script manager

jeromesimeon and others added 28 commits August 13, 2020 14:47
@jeromesimeon
WIP(Wasm) Some initial compiler extension for Wasm
816ff8b 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
feature(wasm) Add, almost, compilation path from Ergo to Wasm
9eb7c45 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(test) license check and some tests
e91e7ac 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(rebase) Adjust code after rebase with master
da2a1dc 
Signed-off-by: Jerome Simeon <[email protected]>
@pkel
Use QCert's new Wasm backend functor
8da4009 
Signed-off-by: Patrik Keller <[email protected]>
@jeromesimeon @pkel
chore(dep) Fixes for Coq 8.12 + license check fixes
480ef41 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(Wasm) Update to new compile call with type hierarchy
146f698 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(engine) Make calls async yet again...
c069bc2 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
feature(wasm) Some initial code for the new Ergo to Wasm compiler
8c63e7a 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(Wasm) --target wasm in the compiler now generates binary wasm for…
0f63761 
… execution

Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
feature(engine) trigger is now just invoking main
47a768c 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
refactor(compiler) Remove unneeded dispatch/init boiler plates in ES6…
1d61a02 
… target

Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
refactor(engine) Updates to API calls / terminology in the engine
8172ea5 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
feature(wasm) Gets first end to end Wasm backed with lots of hacks
066c676 
Signed-off-by: Jerome Simeon <[email protected]>
@pkel
Return B64 from wasm backend.
aa24e1a 
Enables true ergo -> wasm -> invoke/trigger pipeline.

Signed-off-by: Patrik Keller <[email protected]>
@pkel
Avoid Base64 on JS/Ocaml interop
930668a 
Signed-off-by: Patrik Keller <[email protected]>
@jeromesimeon @pkel
chore(dep) Add wasm to OCaml dependencies in CI and DEVELOPERS.md
1dcb43c 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(wasm) Various fixes to tests
edf2f94 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(wasm) Various fixes to engine and tests, factor out error handlimg
e93d6e8 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(build) Remove base64 from js_of_ocaml build dependencies
4fa6ad1 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
refactor(runtime) Remove error unwrap from ES6 runtime
dcab51c 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(dep) dependency for assemblyscript loader
f06b956 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(runtime) Temporarily remove copy of WASM runtime -- until we know…
69b2b96 
… how it is being distributed

Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(engine) Some initial WASM test harness
c130eb0 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(wasm) More tests for WASM + engine
cb24fcf 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(wasm) Update with latest Wasm compiler + volumediscount test
2e7d3d7 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(tests) Fixes broken tests
fa4c660 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon @pkel
fix(compiler) Fix to logic manager for ES6 compiled archives
a864a1b 
Signed-off-by: Jerome Simeon <[email protected]>
@coveralls
Copy link

Coverage Status

Coverage decreased (-1.5%) to 94.069% when pulling a864a1b on jeromesimeon:wasm into 9e64c94 on accordproject:release-1.0.

@jeromesimeon jeromesimeon mentioned this pull request Mar 14, 2021
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jeromesimeon @coveralls @pkel