 Ilya Rezvov
|
6e9c4d969a
|
update initialization sequence for elems
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
179b7ce180
|
fix validator for new elems
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
fd72ee9d23
|
newtype for expressions to serialize in vectors
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
b6c0ef4462
|
update text and binary parsers to new elem formats
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
51cf7e753b
|
syntax support for ref.ops and pass ref_null.wast
|
2023-08-21 21:11:39 -06:00 |
|
|
Илья Резвов
|
fe6c31984b
|
update test specs to bring fixed SIMD and reference types
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
a58bb32d98
|
Merge pull request #22 from chrbauer/chrbauer/update-stack-lts
Stack lts-16.5 -> 20.23 and URLs in Cabal
|
2023-08-20 21:02:54 -06:00 |
|
|
Christoph Bauer
|
418847226e
|
Stack lts-16.5 -> 20.23 and URLs in Cabal
|
2023-06-03 06:49:43 +02:00 |
|
|
Ilya Rezvov
|
efba9c2b50
|
Merge pull request #21 from RyanGlScott/bump-dependencies
Allow building with `mtl-2.3`, `transformers-0.6`, `vector-0.13`
|
2023-02-16 09:30:48 -07:00 |
|
|
Ryan Scott
|
f6d0783fd0
|
Allow building with mtl-2.3, transformers-0.6, vector-0.13
|
2023-02-13 07:57:03 -05:00 |
|
|
Ilya Rezvov
|
57c4184c18
|
Merge pull request #20 from carbolymer/master
Expose mutable memory access
|
2023-01-09 10:22:22 -07:00 |
|
|
Mateusz Galazyn
|
3be70781b8
|
Expose mutable memory access
|
2022-10-22 09:37:50 +02:00 |
|
|
Ilya Rezvov
|
c8f1bc9186
|
bump version
|
2021-12-11 21:39:18 -07:00 |
|
|
Ilya Rezvov
|
54c3cfd697
|
all tests are green
|
2021-04-19 17:17:25 -07:00 |
|
|
Ilya Rezvov
|
5f28711f6d
|
use hex float parsing for doubles
|
2021-04-18 14:19:07 -07:00 |
|
|
Ilya Rezvov
|
3cb1ac331a
|
start native float hex converter
|
2021-04-18 10:12:34 -07:00 |
|
|
Ilya Rezvov
|
0bf74253cb
|
fix serialization/deserialization and complete saturated data conversions
|
2021-04-12 23:01:39 -07:00 |
|
|
Ilya Rezvov
|
8f698df5f2
|
implement parsing and validation for saturated conv instructions
|
2021-04-11 21:33:14 -07:00 |
|
|
Ilya Rezvov
|
2eab690213
|
hack nan's check and handle select typings properly
|
2021-04-11 21:19:21 -07:00 |
|
|
Ilya Rezvov
|
66af1b3a37
|
add uniqueness check for func and local idents
|
2021-04-08 21:18:05 -07:00 |
|
|
Ilya Rezvov
|
53bdf096a4
|
fix nan with payload parsing and safely handle out of range type indecies
|
2021-04-07 22:38:34 -07:00 |
|
|
Ilya Rezvov
|
fa1d9a7bd1
|
handle more parsing edgecases
|
2021-04-07 10:35:51 -07:00 |
|
|
Ilya Rezvov
|
93a79badbe
|
fix multivalue return typecheck and some execution rules
|
2021-04-06 23:20:03 -07:00 |
|
|
Ilya Rezvov
|
604f8f190d
|
start the validator refactoring to deal with multiresults
|
2021-04-05 22:10:45 -07:00 |
|
|
Ilya Rezvov
|
ee1c7d3f7a
|
resolve all grammar conflicts
|
2021-04-05 21:03:55 -07:00 |
|
|
Ilya Rezvov
|
88e80306b7
|
simplify typeuse rule
|
2021-04-05 10:31:29 -07:00 |
|
|
Ilya Rezvov
|
d20985c890
|
Merge branch 'update-tests' of github.com:SPY/haskell-wasm into update-tests
|
2021-04-04 17:34:24 -07:00 |
|
|
Ilya Rezvov
|
fe83e2c1a3
|
rebase artefacts
|
2021-04-04 17:34:03 -07:00 |
|
|
Ilya Rezvov
|
cd834466a4
|
remove redundant clauses
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
afb5cb4f05
|
fix imports
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
d4a72089ba
|
get rid of some rules
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
d62f945b8b
|
instuction_list parser
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
b816e04b6d
|
type signature parsing for loop and if blocks
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
2d58addefa
|
refactor function parser
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
58fd11dfa8
|
refactor typeuse parser to accomodate raw instructions
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
72804d2210
|
get rid of some shift/reduce conflicts in grammar
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
b64193b6a9
|
clean up the parser a little bit and relax arity checks on validation phase
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
2a49528a1f
|
simplify grammar and parse block typeuses
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
2082a8557f
|
start multivalue proposal implementation for block instruction
|
2021-04-04 17:30:38 -07:00 |
|
|
Ilya Rezvov
|
f92754b572
|
change instansiating to be stateful
|
2021-04-04 17:30:17 -07:00 |
|
|
Ilya Rezvov
|
2451dc2ddc
|
added line position for failed asserts and implemented mutable globals import/export proposal
|
2021-04-04 17:29:47 -07:00 |
|
|
Ilya Rezvov
|
ea7769aa9f
|
more grammar fixes
|
2021-04-04 17:28:16 -07:00 |
|
|
Ilya Rezvov
|
b1874dfcea
|
start multivalue proposal implementation for block instruction
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
511bae84e8
|
report multiple start sections in text representation as parsing error
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
1e7afd94fc
|
change instansiating to be stateful
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
01e0ab8d44
|
added line position for failed asserts and implemented mutable globals import/export proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
20c2623b1c
|
fix align bug for I64Load32U and start mutable globals export/import proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
d61926e18a
|
implement sign-extension operators proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
4fb4da0f2f
|
more grammar fixes
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
d01691338f
|
add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness
|
2021-04-04 17:23:43 -07:00 |
|