GitHub/haskell-wasm
1
0 Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
380 Commits 9 Branches 0 Tags
7fab53969a1b278c977dd9e2b93655821eb0b16a
Commit Graph
64 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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