37 Commits

Author SHA1 Message Date
Eric Kidd
e01c0ef043 Implement Error for error types
This makes it easier to handle errors from parity-wasm in an idiomatic
fashion.

Fixes #125.
2018-01-01 09:43:56 -05:00
Sergey Pepyakin
f6891e6de9 clean func 2017-12-05 19:57:07 +01:00
Sergey Pepyakin
7c7e3bd051 use self::Opcode::* 2017-12-05 19:45:06 +01:00
Sergey Pepyakin
dea1f3cac0 Oops 2017-12-05 19:44:40 +01:00
Sergey Pepyakin
3b86a8e335 Fix break condition. 2017-12-05 19:34:38 +01:00
Sergey Pepyakin
7ad604b5ad ok_or_else fixes 2017-12-05 19:32:26 +01:00
Sergey Pepyakin
8bd984b10f Fix imports 2017-12-05 18:54:28 +01:00
Sergey Pepyakin
15b93038f9 Fix matches 2017-12-05 18:54:23 +01:00
Sergey Pepyakin
93b61bc2dc Old test uncommented 2017-12-05 17:43:17 +01:00
Sergey Pepyakin
e9ec5e8aa8 Clean 2017-12-05 17:25:32 +01:00
Sergey Pepyakin
42142f6513 Clean 2017-12-05 17:10:40 +01:00
Sergey Pepyakin
ba6018957a Refactor limits test 2017-12-05 17:06:39 +01:00
Sergey Pepyakin
b146c21147 validate element section 2017-12-05 16:51:26 +01:00
Sergey Pepyakin
d30e4052cb Add data section validation 2017-12-05 16:41:16 +01:00
Sergey Pepyakin
e41e0f98ef Refactor 2017-12-05 14:11:00 +01:00
Sergey Pepyakin
11e4cd6ba1 Import section validation 2017-12-05 12:57:42 +01:00
Sergey Pepyakin
056ac258cd Test recursive calls 2017-12-05 12:41:14 +01:00
Sergey Pepyakin
71b8b933bf Clean 2017-12-05 12:26:42 +01:00
Sergey Pepyakin
8afb7b6450 Add checks for tables and memories count. 2017-12-05 12:12:54 +01:00
Sergey Pepyakin
991fb8fcd8 Clean 2017-12-05 12:07:39 +01:00
Sergey Pepyakin
b20eaec695 Make require_function[_type] to return slice 2017-12-05 12:06:41 +01:00
Sergey Pepyakin
ad3f882274 Validate globals 2017-12-05 12:03:06 +01:00
Sergey Pepyakin
4984eca6d6 Clean 2017-12-05 11:39:51 +01:00
Sergey Pepyakin
71c9709885 get_global can only use imported globals. 2017-12-04 18:00:51 +01:00
Sergey Pepyakin
251d4d68db Validate start_section 2017-12-04 17:36:48 +01:00
Sergey Pepyakin
7ea00b975b Fix tests. 2017-12-01 20:27:33 +03:00
Sergey Pepyakin
41e74eb889 Return ValidatedModule 2017-12-01 20:00:54 +03:00
Sergey Pepyakin
0feed2fa21 Refactor 2017-12-01 19:45:48 +03:00
Sergey Pepyakin
907b914fba Move tests in separate file 2017-12-01 19:33:07 +03:00
Sergey Pepyakin
4cf6bf6868 Implement functions checking 2017-12-01 19:27:36 +03:00
Sergey Pepyakin
d92bfa1b2c Global validation 2017-12-01 18:53:19 +03:00
Sergey Pepyakin
859d985599 Module fill context 2017-12-01 16:38:12 +03:00
Sergey Pepyakin
040cbb5056 Validator extracted. 2017-12-01 15:35:16 +03:00
Sergey Pepyakin
12a1bcfe04 Reorganize 2017-12-01 09:07:56 +03:00
Sergey Pepyakin
28199fdac8 Add table validation. 2017-12-01 09:05:33 +03:00
Sergey Pepyakin
e46690d64a Fix condition. 2017-12-01 09:05:25 +03:00
Sergey Pepyakin
990cf7fbf2 Mem validation 2017-12-01 08:58:25 +03:00