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

WebAssembly Backend #773

Draft
wants to merge 73 commits into
base: release-1.0
Choose a base branch
from
Draft

WebAssembly Backend #773

wants to merge 73 commits into from

Conversation

jeromesimeon
Copy link
Member

Issue #727

Changes

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

@jeromesimeon
(WIP) New backend compiler, new code org, new build
a1b9df8 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(WIP) Get the JavaScript extraction for the compiler back
d8dc92c 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(WIP) Refactor OCaml code
962e581 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Fix to Make clean
badf7c3 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Small fixes to build
0b15107 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(WIP) Switch back to new backend CodeGeneration for JS
38bead8 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Remove ES5 support
3e2ee3b 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Somewhat properly hooks up new JavaScript backend
9be34fe 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(compiler) Various adjustments to JS runtime and execution engine …
4edeeb1 
…for new compiler

Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Cleanup of JavaScript runtime for new backend
a9ea6e8 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(WIP) ergo-compiler package tests now work again
0a3e650 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Some initial fixes for ergo-engine, switch to new concerto
f26d3fc 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Sanitize contract name in Cicero target
b3c7b22 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Fix to the DateTime component of the runtime
500f980 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
More fixes to DateTime runtime and tests
3338ee8 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Fix to doubleToInteger runtime
348466f 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Several fixes to the compiler for optional values
41fa53d 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Temporary fixes to cast and unbrand for new runtime
a18824c 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Fixes runtime for enums, fixes tests
8f08fdb 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Further cleanup and refactoring of JavaScript runtime
871a303 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Further cleanup of JavaScript code emit
e64b17b 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Various fixes for new compiler
962a897 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
chore(dep) Upgrade to latest dev version of Concerto
1f370f7 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
chore(dep) Upgrade fast stringify
ec1a8fc 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
Remove temp config; Rename atd files
6e6bece 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
proof(backend) Discharges some of the proof obligations in the backen…
c1afe77 
…d instance

Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(runtime) Update to JavaScript runtime; Small refactor
e8c8937 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(doc) Update makefile for documentation build
e7a94c7 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
fix(build) Add qcert to opam description
ffc183e 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
feature(compiler) Consolidate ES6 and Cicero target into a new single…
e47d522 
… ES6 target

Signed-off-by: Jerome Simeon <[email protected]>
jeromesimeon and others added 20 commits August 20, 2020 18:14
@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

coveralls commented Aug 20, 2020 •
edited
Loading

Coverage Status

Coverage decreased (-1.5%) to 94.069% when pulling 04c7ccf on wasm into 9e64c94 on release-1.0.

@jeromesimeon jeromesimeon force-pushed the release-1.0 branch 4 times, most recently from 0fc8388 to 1a11e14 Compare August 24, 2020 19:19
@pkel pkel mentioned this pull request Aug 29, 2020
Closed
@jeromesimeon jeromesimeon force-pushed the release-1.0 branch 2 times, most recently from a64ce69 to 28b9673 Compare April 5, 2021 13:21
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