summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
Commit message (Expand)AuthorAgeFilesLines
* Return to more structured type rules for block and if (#1148)Alon Zakai2017-09-051-9/+11
* wasm-reduce tool (#1139)Alon Zakai2017-09-011-7/+12
* Add support for atomic wait and wake operators (#1140)Derek Schuff2017-08-241-0/+14
* improve WasmValidator::validateMemBytes, check for unreasonable sizes even ty...Alon Zakai2017-07-191-6/+6
* Merge pull request #1095 from WebAssembly/fuzz-3Alon Zakai2017-07-181-2/+5
|\
| * fix validation of memBytes, if the load type is unreachable, we can't and sho...Alon Zakai (kripken)2017-07-131-2/+5
* | Validation for AtomicRMW and cmpxchg (#1092)Derek Schuff2017-07-141-1/+25
|/
* Merge pull request #1087 from WebAssembly/fuzz-2Alon Zakai2017-07-121-15/+19
|\
| * refactor and improve break validation. breaks names are unique, so we don't n...Alon Zakai (kripken)2017-07-111-15/+19
* | Refactor validation failure and printing, validate atomic memory (#1090)Derek Schuff2017-07-121-10/+42
* | add docs and error hints when a Call should be a CallImport (#1081)Alon Zakai2017-07-111-1/+6
|/
* Factor wasm validator into a cpp file (#1086)Derek Schuff2017-07-101-0/+639