 Ilya Rezvov
|
23aef00097
|
Merge pull request #25 from RyanGlScott/ghc-9.8-9.10
Bump dependencies ranges to allow building with GHC 9.8 and 9.10
|
2024-06-04 07:22:59 -06:00 |
|
|
Ilya Rezvov
|
7810040226
|
all tests are green
|
2023-08-26 21:44:36 -06:00 |
|
|
Ilya Rezvov
|
d112b28233
|
fix parsing of select instruction and evaluation of const expressions
|
2023-08-26 21:35:36 -06:00 |
|
|
Ilya Rezvov
|
be13488f69
|
update tests and fix some
|
2023-08-23 22:58:19 -06:00 |
|
|
Ilya Rezvov
|
7fab53969a
|
merge artifact
|
2023-08-21 21:23:07 -06:00 |
|
|
Ilya Rezvov
|
a3de890895
|
Merge branch 'references-simd' of github.com:SPY/haskell-wasm into references-simd
|
2023-08-21 21:22:20 -06:00 |
|
|
Ilya Rezvov
|
9eadc50ee3
|
all tests are green
|
2023-08-21 21:15:53 -06:00 |
|
|
Ilya Rezvov
|
5b6b043049
|
more green test
|
2023-08-21 21:15:53 -06:00 |
|
|
Ilya Rezvov
|
bb2a6cea7f
|
fix reexports
|
2023-08-21 21:15:53 -06:00 |
|
|
Ilya Rezvov
|
f23dc20d57
|
fix more tests
|
2023-08-21 21:15:44 -06:00 |
|
|
Ilya Rezvov
|
2b822a8d44
|
validate and interprete bulk memory instructions
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
46f95dd11d
|
parse memory instructions
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
2d4ad42549
|
add syntax support for extended data segments
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
c044f3f556
|
add return type for select
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
d0403ad554
|
forbid special nan values for non-script contexts
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
d321bf6a9c
|
implement table.fill
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
ec83b12ccd
|
keep track of defined references and store global function address for table.set instructions
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
9f17885106
|
better bounds check for table.get and table.set
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
ea50c54900
|
parse externref elems, but fail on validation
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
4e9cb99e69
|
change table storage format to allow growing and implement table.grow and table.size
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
b2f001aea8
|
implement table.copy
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
f445340568
|
add elem.drop and extend call_indirect to accept table index
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
2d15ddfa36
|
implement table.get and table.set and pass ref_is_null test suit
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
0b44ee13b8
|
pass tests in elem.wat test suit
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
e9140ae70c
|
drop flag for elems was added. initial table.init implementation
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
cbeb4bb61d
|
validate table.init and use mutable vector as a table storage
|
2023-08-21 21:11:39 -06:00 |
|
|
Ilya Rezvov
|
8c97e2c328
|
syntax support for table.init
|
2023-08-21 21:11:39 -06:00 |
|
|
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 |
|
|
Ilya Rezvov
|
f2f5fcc56f
|
all tests are green
|
2023-08-21 21:11:14 -06:00 |
|
|
Ilya Rezvov
|
a5ffe38a1c
|
more green test
|
2023-08-21 19:28:54 -06:00 |
|
|
Ilya Rezvov
|
724973b15e
|
fix reexports
|
2023-08-21 08:23:58 -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 |
|
|
Ilya Rezvov
|
0e0b1abbba
|
fix more tests
|
2023-08-20 21:00:46 -06: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 |
|
|
Ilya Rezvov
|
57c4184c18
|
Merge pull request #20 from carbolymer/master
Expose mutable memory access
|
2023-01-09 10:22:22 -07:00 |
|
|
Ilya Rezvov
|
5256d5063f
|
validate and interprete bulk memory instructions
|
2022-06-12 21:12:19 -06:00 |
|
|
Ilya Rezvov
|
2bf6e88072
|
parse memory instructions
|
2022-06-10 22:29:31 -06:00 |
|
|
Ilya Rezvov
|
32392dcc29
|
add syntax support for extended data segments
|
2022-06-09 20:21:57 -06:00 |
|
|
Ilya Rezvov
|
c743e11ffd
|
add return type for select
|
2022-06-08 21:12:00 -06:00 |
|
|
Ilya Rezvov
|
32357d68fe
|
forbid special nan values for non-script contexts
|
2022-06-07 20:28:02 -06:00 |
|
|
Ilya Rezvov
|
83fea36c02
|
implement table.fill
|
2022-06-07 19:41:03 -06:00 |
|
|
Ilya Rezvov
|
43cbfe653f
|
keep track of defined references and store global function address for table.set instructions
|
2022-06-06 20:34:59 -06:00 |
|
|
Ilya Rezvov
|
71d332e3dc
|
better bounds check for table.get and table.set
|
2022-06-06 18:44:42 -06:00 |
|
|
Ilya Rezvov
|
4e9105717b
|
parse externref elems, but fail on validation
|
2022-06-06 18:41:22 -06:00 |
|
|
Ilya Rezvov
|
df15d3c4d1
|
change table storage format to allow growing and implement table.grow and table.size
|
2022-06-06 18:27:26 -06:00 |
|
|
Ilya Rezvov
|
b1da37ac03
|
implement table.copy
|
2022-06-05 21:45:58 -06:00 |
|
|
Ilya Rezvov
|
82defff076
|
add elem.drop and extend call_indirect to accept table index
|
2022-06-04 21:58:34 -06:00 |
|
|
Ilya Rezvov
|
6eb3acde17
|
implement table.get and table.set and pass ref_is_null test suit
|
2022-06-04 16:32:20 -06:00 |
|
|
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
|
c8f1bc9186
|
bump version
|
2021-12-11 21:39:18 -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 |
|