summaryrefslogtreecommitdiff
path: root/src/wasm-validator.h
Commit message (Expand)AuthorAgeFilesLines
...
* globals mutability fixesAlon Zakai2016-09-191-1/+1
* parsing and validation fixesAlon Zakai2016-09-171-1/+9
* autodrop if body if no elseAlon Zakai2016-09-071-0/+3
* new validation checks for upcoming spec testsAlon Zakai2016-09-071-4/+32
* import type for globalsAlon Zakai2016-09-071-4/+6
* export kindsAlon Zakai2016-09-071-6/+8
* some additional validationsAlon Zakai2016-09-071-0/+11
* a table is needed if there is a call_indirectAlon Zakai2016-09-071-0/+1
* check store value type, and validation printing improvementsAlon Zakai2016-09-071-4/+6
* ignore unused return values in functionsAlon Zakai2016-09-071-2/+4
* tolerate returning a nopAlon Zakai2016-09-071-1/+0
* select values must be validAlon Zakai2016-09-071-0/+4
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-071-7/+7
* it is not cool to return a nopAlon Zakai2016-09-071-0/+1
* add drop and tee expressionsAlon Zakai2016-09-071-34/+90
* support expressions in segment offsetsAlon Zakai2016-08-121-6/+0
* support wasm globals (#650)Alon Zakai2016-07-211-0/+5
* improve a validation errorAlon Zakai2016-07-201-1/+6
* validate set_local types against the function #618 (#620)Alon Zakai2016-07-061-0/+2
* improve validator errorsAlon Zakai2016-06-291-3/+9
* Add mode to wasm validator to check for web-environment constraints (#584)Derek Schuff2016-06-141-3/+21
* make call_indirect type a name, so that it is not a dependency on the module,...Alon Zakai2016-06-031-1/+2
* improve some parsing error textsAlon Zakai2016-06-031-1/+1
* check calls more carefully in validatorAlon Zakai2016-06-031-6/+9
* refactor walk logic into walk* and doWalk* methods, for a more regular API th...Alon Zakai2016-05-301-4/+3
* type check return types fullyAlon Zakai2016-05-201-1/+7
* type check loop output type properlyAlon Zakai2016-05-201-17/+0
* use separate internal opcodes for unary variantsAlon Zakai2016-05-181-12/+24
* spec test updates, and many validation fixesAlon Zakai2016-05-181-10/+67
* validation improvementsAlon Zakai2016-05-131-35/+36
* more validation checksAlon Zakai2016-05-131-30/+46
* fix spurious validation errors on unreachable typesAlon Zakai2016-05-131-3/+5
* break type system fixes, avoid spurious errors on mismatched typesAlon Zakai2016-05-131-2/+4
* Fix VS warning in wasm-validator.h (#468)BSalita2016-05-111-1/+1
* improve validator error message on set_localAlon Zakai2016-05-051-1/+1
* Harmonize the internal opcodes with the binary format (#433)Alon Zakai2016-05-031-10/+20
* validate in binaryen shell and on wasm binaries, and fix type checkingAlon Zakai2016-04-291-25/+158
* just use a simple vector in data segmentsAlon Zakai2016-04-271-2/+2
* create a UnifiedExpressionVisitor for passes that want a single visitor funct...Alon Zakai2016-04-181-2/+2
* De-recurse traversals (#333)Alon Zakai2016-04-111-2/+2
* add apis for accessing module elementsAlon Zakai2016-04-041-3/+2
* br_table, no more casesAlon Zakai2016-03-071-10/+0
* validate startAlon Zakai2016-02-121-2/+13
* check break types in validatorAlon Zakai2016-02-081-0/+22
* Some cleanup.Michael Bebenita2016-01-141-2/+2
* Use LLVM style static polymorphism for WasmVisitors.Michael Bebenita2016-01-131-12/+12
* Implement feedbackAndrew Scheidecker2015-12-231-3/+3
* Fix a few Windows/VS2013 compile errorsAndrew Scheidecker2015-12-231-13/+15
* Fix / uniformize include guardsJF Bastien2015-12-221-0/+5
* Fix the license headersJF Bastien2015-12-211-1/+15
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 03:15:55 +0000