29 Commits

Author SHA1 Message Date
NikVolf
0837464ec4 change imports 2018-07-09 17:44:04 +03:00
Wei Tang
a30afec0cd Port core util lib to support no_std 2018-05-15 08:22:29 +08:00
Wei Tang
bb47c22618 Refactor executables to separate crates 2018-05-15 08:05:00 +08:00
NikVolf
abc9818925 packing errors also 2018-03-27 17:12:55 +03:00
Sergey Pepyakin
9527b969a4 Impl stack height limiter (#64)
* Initial implementation

* Add wasm-stack-height binary

* Fixes and tracing.

* Doc fixes.

* Fix type resolving for thunks.

* Fix thunk numbering.

* Don't generate thunks for fns with stack_cost = 0

* Diff tests.

* Add table tests.

* Add global test.

* Make tests deterministic.

* Refactoring.

* Clean and refactor.

* Rename Context → Stack in stach_height.

* Don't generate call wrappers if stack_cost = 0

* Errors instead of panics.

* Add with_stack_limit function.

* Fix thunk generation.

* Pass the stack height limit as separate value.

* Use .unwrap_or_default() in diff.rs.

* Remove redundant &.

* Remove simple_test.

* Remove variants of the Error.

* `resolve_func_type` returns an Error.

* Don't unwrap for .last()

* Remove stack_limit from rules::Set

* Rename max_height::compute.
2018-02-27 16:52:37 +03:00
NikVolf
9e92237c4d add rules with forbid operations 2018-02-19 19:28:12 +03:00
NikVolf
614cdbf131 refactor pack 2018-02-08 00:49:52 +03:00
NikVolf
e2b8c9431f add stack alteration in wasm-build 2018-02-05 18:22:51 +03:00
NikVolf
d217c1eae0 remove memory symbol from export 2018-02-04 22:12:34 +03:00
NikVolf
6878005822 make unknown-unknown primary 2018-01-30 15:21:17 +03:00
NikVolf
f146187e00 finalize tool 2017-12-27 12:12:09 +03:00
NikVolf
06219aa6e2 externalize mem 2017-12-26 16:03:59 +03:00
fro
b8354e292c rename symbol _create to _deploy due to name conflict with external "create" which creates a contract 2017-11-15 19:14:08 +03:00
Sergey Pepyakin
d2c1d92e2b Don't externalize setTempRet0
It is not longer needed, as we stopped to do legalization for JS FFI.
2017-11-09 22:25:27 +03:00
fro
4a70824a88 test for pack added 2017-10-27 18:32:33 +03:00
fro
b369ce903e fix grumbles + added constructor logic 2017-10-26 15:49:55 +03:00
fro
9be2a5bf31 runtime type injection implemented #10 2017-09-25 20:16:09 +03:00
fro
da265f3671 remame indeterminism 2017-09-21 12:44:08 +03:00
fro
6aa896e9fe rename non_determinism_checker -> indeterminism_check
tests added
2017-09-20 19:21:22 +03:00
fro
31673aa31d non-determinism checker initial impl
wip
2017-09-20 12:06:59 +03:00
NikVolf
9111c75292 copy for instruction type, pub module 2017-07-27 13:38:21 +03:00
NikVolf
b2d04ea3a9 initial cost table 2017-07-25 18:43:12 +03:00
NikVolf
729dddc9cc wasm-pack utility to pack wasm files into transactions payload 2017-06-09 18:36:32 +03:00
NikVolf
3255d4be75 result return for optimizer, test correctness 2017-05-09 12:54:16 +03:00
NikVolf
9d03b0984b put externalizer to api 2017-05-05 16:05:21 +03:00
NikVolf
8fca2a9eb6 prints to logger 2017-05-05 15:51:42 +03:00
NikVolf
beea9addfc various fixes 2017-05-04 17:38:09 +03:00
NikVolf
a2b235a818 more of optimizer decomposition 2017-05-04 16:08:57 +03:00
NikVolf
518669e44c optimizer decompose 2017-05-04 15:59:22 +03:00