7 Commits

Author SHA1 Message Date
Sergey Pepyakin
1b7a5d26ea A couple of small tests. 2019-04-03 14:24:01 +02:00
NikVolf
06277915da some graph structure definition 2019-01-21 17:04:31 +03:00
Sergey Pepyakin
8db40174ae Add gas tests. 2018-12-24 20:43:23 +01:00
Sergey Pepyakin
3db0d60e70 Teach stack limiter to handle start fn 2018-12-24 19:20:33 +01:00
Alexey
3e7946ab1c fix call_indirect test (#98)
Merged
2018-08-01 13:48:38 +03:00
NikVolf
b0f43bb575 rename crate 2018-03-13 16:02:34 +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