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

WebAssembly Backend#773

Draft
jeromesimeon wants to merge 73 commits intorelease-1.0from
wasm
Draft

WebAssembly Backend#773
jeromesimeon wants to merge 73 commits intorelease-1.0from
wasm

Conversation

@jeromesimeon
Copy link
Copy Markdown
Member

@jeromesimeon jeromesimeon commented Aug 20, 2020

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

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

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

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
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 <jeromesimeon@me.com>
@jeromesimeon @pkel
fix(Wasm) --target wasm in the compiler now generates binary wasm for…
0f63761 
… execution

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

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

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

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

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
fix(wasm) Add runtime and test for float -> integer coercion
d53e5cd 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
fix(wasm) Update to latest Q*cert WASM backend/runtime + pyth test
04c7ccf 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@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