Google Git
Sign in
chromium / external / github.com / WebAssembly / spec / refs/heads/memarg / . / specification / wasm-3.0
tree: db74254f3ebea6c32d9cc297063f8eaeaa7f96cc [path history] [tgz]
  1. 0.1-aux.vars.spectec
  2. 0.2-aux.num.spectec
  3. 0.3-aux.seq.spectec
  4. 1.0-syntax.profiles.spectec
  5. 1.1-syntax.values.spectec
  6. 1.2-syntax.types.spectec
  7. 1.3-syntax.instructions.spectec
  8. 1.4-syntax.modules.spectec
  9. 2.0-validation.contexts.spectec
  10. 2.1-validation.types.spectec
  11. 2.2-validation.subtyping.spectec
  12. 2.3-validation.instructions.spectec
  13. 2.4-validation.modules.spectec
  14. 3.0-numerics.relaxed.spectec
  15. 3.1-numerics.scalar.spectec
  16. 3.2-numerics.vector.spectec
  17. 4.0-execution.configurations.spectec
  18. 4.1-execution.values.spectec
  19. 4.2-execution.types.spectec
  20. 4.3-execution.instructions.spectec
  21. 4.4-execution.modules.spectec
  22. 5.1-binary.values.spectec
  23. 5.2-binary.types.spectec
  24. 5.3-binary.instructions.spectec
  25. 5.4-binary.modules.spectec
  26. 6.0-text.lexical.spectec
  27. 6.1-text.values.spectec
  28. 6.2-text.types.spectec
  29. 6.3-text.instructions.spectec
  30. 6.3-text.modules.spectec
  31. X.1-notation.syntax.spectec
  32. X.2-notation.typing.spectec
  33. X.3-notation.execution.spectec
  34. X.4-notation.binary.spectec
  35. X.5-notation.text.spectec