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

WebAssembly Backend #772

Closed
wants to merge 71 commits into from
Closed

WebAssembly Backend #772

wants to merge 71 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 26 commits August 13, 2020 14:48
@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]>
@jeromesimeon jeromesimeon requested a review from pkel August 20, 2020 16:32
@jeromesimeon jeromesimeon marked this pull request as draft August 20, 2020 16:33
@coveralls
Copy link

Coverage Status

Coverage decreased (-1.3%) to 94.069% when pulling a864a1b on wasm into e560a9e on master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@pkel pkel Awaiting requested review from pkel

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