summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
Commit message (Expand)AuthorAgeFilesLines
* properly handle unreachable atomic operations, fixes a regression from #1693 ...Alon Zakai2018-10-111-2/+2
* No atomic float operations (#1693)Alon Zakai2018-10-051-1/+7
* Unify imported and non-imported things (#1678)Alon Zakai2018-09-191-47/+16
* remove PageSize and HasFeature, which wasm removed a while back (#1667)Alon Zakai2018-09-121-3/+1
* Stack IR (#1623)Alon Zakai2018-07-301-0/+2
* Optimize validation of many nested blocks (#1576)Alon Zakai2018-05-301-44/+49
* Optimize equivalent locals (#1540)Alon Zakai2018-05-101-0/+1
* Fix MSVC warnings when compiling the binaryen target (#1535)Daniel Wirtz2018-05-091-4/+4
* Fix bad param/var type error handling (#1499)Alon Zakai2018-04-101-0/+6
* Function pointer cast emulation (#1468)Alon Zakai2018-03-131-0/+6
* Fuzz fix: if global does not exist, report error and don't run the rest of th...Alon Zakai2018-03-071-37/+38
* Rename WasmType => Type (#1398)Alon Zakai2018-02-021-29/+29
* Validation fixes for #1317 (#1347)Alon Zakai2018-01-031-0/+16
* allow exporting an import (#1326)Alon Zakai2017-12-081-9/+6
* accept overlapping segments (#1289)Alon Zakai2017-11-141-5/+2
* Restrict validation output to just validation errors in the API (#1253)Daniel Wirtz2017-11-011-2/+0
* Add Features enum to IR (#1250)Derek Schuff2017-10-271-1/+10
* notation change: AST => IR (#1245)Alon Zakai2017-10-241-2/+2
* Atomics support in interpreter + optimizer + fuzz fixes for that (#1227)Alon Zakai2017-10-201-3/+4
* Refactor validator API to use enums (#1209)Alon Zakai2017-10-031-5/+5
* Fast validation (#1204)Alon Zakai2017-10-021-192/+476
* Update text syntax for shared memory limits (#1197)Derek Schuff2017-09-221-0/+1
* Expressions should not appear twice in the ast (#1191)Alon Zakai2017-09-181-0/+18
* Add support for sign-extension operators from threading proposal (#1167)Derek Schuff2017-09-061-2/+11
* clean up untaken => unreachable, as well as unnecessary named stuff in valida...Alon Zakai2017-09-061-6/+1
* 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