summaryrefslogtreecommitdiff
path: root/src/wasm-validator.h
Commit message (Collapse)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
| | | | | | | In the web embedding, modules are not allowed to import or export functions which have i64 params or return values. Add a mode to the validator to check for this, and add flags to s2wasm and wasm-as to enable or disable this check. Also add tests.
* make call_indirect type a name, so that it is not a dependency on the ↵Alon Zakai2016-06-031-1/+2
| | | | module, which would break consistency and make some parallel passes tricky (#568)
* 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 ↵Alon Zakai2016-05-301-4/+3
| | | | that is clearer where it should be overridden (#551)
* 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
| | | | | | * harmonize the internal opcodes with the binary format, so they clearly parallel, and also this helps us avoid needing the type to disambiguate * comment on GetLocal in C API
* 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 ↵Alon Zakai2016-04-181-2/+2
| | | | function, to avoid confusion with having both visit* and visitExpression in a single pass (#357)
* De-recurse traversals (#333)Alon Zakai2016-04-111-2/+2
| | | | | | | | | | | | * refactor core walking to not recurse * add a simplify-locals test * reuse parent's non-branchey scan logic in SimpleExecutionWalker, reduce code duplication * update wasm.js * rename things following comments
* 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
| | | | This applies Apache 2.0 properly (as far as our lawyers have told me). We can do this early since all of the code was written by Alon Zakai.
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-09 04:55:01 +0000