 Ilya Rezvov
|
e388e21370
|
pass tests in elem.wat test suit
|
2022-06-02 20:54:15 -06:00 |
|
|
Ilya Rezvov
|
95fdcc2f80
|
drop flag for elems was added. initial table.init implementation
|
2022-05-31 19:39:06 -06:00 |
|
|
Ilya Rezvov
|
5bcd863671
|
validate table.init and use mutable vector as a table storage
|
2022-05-30 21:43:44 -06:00 |
|
|
Ilya Rezvov
|
4753ebceb4
|
syntax support for table.init
|
2022-05-30 18:57:21 -06:00 |
|
|
Ilya Rezvov
|
de40134caf
|
update initialization sequence for elems
|
2022-02-15 21:43:45 -07:00 |
|
|
Ilya Rezvov
|
286ee40489
|
fix validator for new elems
|
2022-02-09 21:49:03 -07:00 |
|
|
Ilya Rezvov
|
c08e81fa40
|
newtype for expressions to serialize in vectors
|
2022-02-01 21:22:09 -07:00 |
|
|
Ilya Rezvov
|
8af7b45681
|
update text and binary parsers to new elem formats
|
2022-02-01 21:18:12 -07:00 |
|
|
Ilya Rezvov
|
960acac955
|
syntax support for ref.ops and pass ref_null.wast
|
2022-01-30 16:23:02 -07:00 |
|
|
Ilya Rezvov
|
99532adb63
|
bump version
|
2022-01-30 16:23:02 -07:00 |
|
|
Ilya Rezvov
|
bb881f7ee8
|
Merge pull request #18 from GaloisInc/ver1_0_1_0
Update to cabal file instead of hpack package.yaml
|
2021-03-26 09:35:36 -06:00 |
|
|
Ilya Rezvov
|
36eacf1697
|
Merge pull request #16 from GaloisInc/crucibleExports
More Wasm exports needed for Galois crucible tool support.
|
2021-03-16 21:48:14 -07:00 |
|
|
Ilya Rezvov
|
d36342d626
|
Merge pull request #10 from GaloisInc/expose-ast
Expose additional AST datatypes for downstream use
|
2021-01-08 15:57:31 -08:00 |
|
|
Ilya Rezvov
|
9a3d73baeb
|
Merge pull request #9 from ggreif/master
Typos
|
2020-09-18 16:23:53 -07:00 |
|
|
Ilya Rezvov
|
cd4e6dc326
|
Merge pull request #7 from TD5/master
Resolves build errors due to dependency issues
|
2020-07-15 11:04:24 -07:00 |
|