GitHub/haskell-wasm
1
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 4753ebceb4 syntax support for table.init Ilya Rezvov 2022-05-30 18:57:21 -06:00
  • de40134caf update initialization sequence for elems Ilya Rezvov 2022-02-15 21:43:45 -07:00
  • 286ee40489 fix validator for new elems Ilya Rezvov 2022-02-09 21:49:03 -07:00
  • c08e81fa40 newtype for expressions to serialize in vectors Ilya Rezvov 2022-02-01 21:22:09 -07:00
  • 8af7b45681 update text and binary parsers to new elem formats Ilya Rezvov 2022-02-01 21:18:12 -07:00
  • 960acac955 syntax support for ref.ops and pass ref_null.wast Ilya Rezvov 2022-01-30 16:21:22 -07:00
  • 99532adb63 bump version Ilya Rezvov 2021-12-11 21:39:18 -07:00
  • c8f1bc9186 bump version Ilya Rezvov 2021-12-11 21:39:18 -07:00
  • 66458e11f3 update test specs to bring fixed SIMD and reference types Илья Резвов 2021-12-11 20:59:34 -07:00
  • 825a24d59c add reference types test to test suite spec-1.1.0 Ilya Rezvov 2021-04-25 12:24:47 -07:00
  • 54c3cfd697 all tests are green update-tests Ilya Rezvov 2021-04-19 17:17:25 -07:00
  • 5f28711f6d use hex float parsing for doubles Ilya Rezvov 2021-04-18 14:19:07 -07:00
  • 3cb1ac331a start native float hex converter Ilya Rezvov 2021-04-18 10:12:34 -07:00
  • 0bf74253cb fix serialization/deserialization and complete saturated data conversions Ilya Rezvov 2021-04-12 23:01:39 -07:00
  • 8f698df5f2 implement parsing and validation for saturated conv instructions Ilya Rezvov 2021-04-11 21:33:14 -07:00
  • 2eab690213 hack nan's check and handle select typings properly Ilya Rezvov 2021-04-11 21:19:21 -07:00
  • 66af1b3a37 add uniqueness check for func and local idents Ilya Rezvov 2021-04-08 21:18:05 -07:00
  • 53bdf096a4 fix nan with payload parsing and safely handle out of range type indecies Ilya Rezvov 2021-04-07 22:38:34 -07:00
  • fa1d9a7bd1 handle more parsing edgecases Ilya Rezvov 2021-04-07 10:35:51 -07:00
  • 93a79badbe fix multivalue return typecheck and some execution rules Ilya Rezvov 2021-04-06 23:20:03 -07:00
  • 604f8f190d start the validator refactoring to deal with multiresults Ilya Rezvov 2021-04-05 22:10:45 -07:00
  • ee1c7d3f7a resolve all grammar conflicts Ilya Rezvov 2021-04-05 21:03:55 -07:00
  • 88e80306b7 simplify typeuse rule Ilya Rezvov 2021-04-05 10:31:29 -07:00
  • d20985c890 Merge branch 'update-tests' of github.com:SPY/haskell-wasm into update-tests Ilya Rezvov 2021-04-04 17:34:24 -07:00
  • fe83e2c1a3 rebase artefacts Ilya Rezvov 2021-04-04 17:34:03 -07:00
  • cd834466a4 remove redundant clauses Ilya Rezvov 2021-04-04 17:19:25 -07:00
  • afb5cb4f05 fix imports Ilya Rezvov 2021-04-04 17:11:07 -07:00
  • d4a72089ba get rid of some rules Ilya Rezvov 2021-04-04 16:25:22 -07:00
  • d62f945b8b instuction_list parser Ilya Rezvov 2021-04-04 15:30:57 -07:00
  • b816e04b6d type signature parsing for loop and if blocks Ilya Rezvov 2021-04-04 13:56:40 -07:00
  • 2d58addefa refactor function parser Ilya Rezvov 2021-04-01 21:30:58 -07:00
  • 58fd11dfa8 refactor typeuse parser to accomodate raw instructions Ilya Rezvov 2021-03-29 21:56:25 -07:00
  • 72804d2210 get rid of some shift/reduce conflicts in grammar Ilya Rezvov 2021-03-19 22:25:47 -07:00
  • b64193b6a9 clean up the parser a little bit and relax arity checks on validation phase Ilya Rezvov 2021-03-17 22:34:50 -07:00
  • 2a49528a1f simplify grammar and parse block typeuses Ilya Rezvov 2021-03-16 23:45:43 -07:00
  • 2082a8557f start multivalue proposal implementation for block instruction Ilya Rezvov 2021-03-15 22:59:10 -07:00
  • f92754b572 change instansiating to be stateful Ilya Rezvov 2021-03-12 22:34:42 -08:00
  • 2451dc2ddc added line position for failed asserts and implemented mutable globals import/export proposal Ilya Rezvov 2021-03-09 22:45:16 -08:00
  • ea7769aa9f more grammar fixes Ilya Rezvov 2021-03-04 22:04:56 -08:00
  • b1874dfcea start multivalue proposal implementation for block instruction Ilya Rezvov 2021-03-15 22:59:10 -07:00
  • 511bae84e8 report multiple start sections in text representation as parsing error Ilya Rezvov 2021-03-12 22:56:23 -08:00
  • 1e7afd94fc change instansiating to be stateful Ilya Rezvov 2021-03-12 22:34:42 -08:00
  • 01e0ab8d44 added line position for failed asserts and implemented mutable globals import/export proposal Ilya Rezvov 2021-03-09 22:45:16 -08:00
  • 20c2623b1c fix align bug for I64Load32U and start mutable globals export/import proposal Ilya Rezvov 2021-03-08 21:58:21 -08:00
  • d61926e18a implement sign-extension operators proposal Ilya Rezvov 2021-03-08 21:35:43 -08:00
  • 4fb4da0f2f more grammar fixes Ilya Rezvov 2021-03-04 22:04:56 -08:00
  • d01691338f add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness Ilya Rezvov 2021-03-03 22:08:18 -08:00
  • 88a31548b8 replace hardcoded tests with submodule to the official testsuit Ilya Rezvov 2021-03-02 21:46:52 -08:00
  • bbd09ecf4f remove redundant clauses Ilya Rezvov 2021-04-04 17:19:25 -07:00
  • 52b2a11887 fix imports Ilya Rezvov 2021-04-04 17:11:07 -07:00
  • 53b145399d get rid of some rules Ilya Rezvov 2021-04-04 16:25:22 -07:00
  • 1202fc50f9 instuction_list parser Ilya Rezvov 2021-04-04 15:30:57 -07:00
  • 47b6b546ef type signature parsing for loop and if blocks Ilya Rezvov 2021-04-04 13:56:40 -07:00
  • 057b490864 refactor function parser Ilya Rezvov 2021-04-01 21:30:58 -07:00
  • f3415a611f refactor typeuse parser to accomodate raw instructions Ilya Rezvov 2021-03-29 21:56:25 -07:00
  • bb881f7ee8 Merge pull request #18 from GaloisInc/ver1_0_1_0 Ilya Rezvov 2021-03-26 09:35:36 -06:00
  • df75bd4791 Remove package.yaml and hpack dependency: use a standard cabal file. Kevin Quick 2021-03-25 17:06:15 -07:00
  • 1bea1756a3 Remove unneeded (and conflicting) test dependencies. Kevin Quick 2021-03-25 12:58:10 -07:00
  • 366a04eebc Update version of git source to be greater than the hackage version. Kevin Quick 2021-03-25 10:21:25 -07:00
  • a6692fdef9 get rid of some shift/reduce conflicts in grammar Ilya Rezvov 2021-03-19 22:25:47 -07:00
  • 03f9386c8a clean up the parser a little bit and relax arity checks on validation phase Ilya Rezvov 2021-03-17 22:34:50 -07:00
  • d5664908d1 simplify grammar and parse block typeuses Ilya Rezvov 2021-03-16 23:45:43 -07:00
  • a466bb0135 Merge branch 'update-tests' of github.com:SPY/haskell-wasm into update-tests Ilya Rezvov 2021-03-16 21:49:35 -07:00
  • 4b670b3d17 start multivalue proposal implementation for block instruction Ilya Rezvov 2021-03-15 22:59:10 -07:00
  • 66e86754b0 report multiple start sections in text representation as parsing error Ilya Rezvov 2021-03-12 22:56:23 -08:00
  • 016ec83422 change instansiating to be stateful Ilya Rezvov 2021-03-12 22:34:42 -08:00
  • 252ced4989 added line position for failed asserts and implemented mutable globals import/export proposal Ilya Rezvov 2021-03-09 22:45:16 -08:00
  • 02e2c4a705 fix align bug for I64Load32U and start mutable globals export/import proposal Ilya Rezvov 2021-03-08 21:58:21 -08:00
  • 36cc7a1c16 implement sign-extension operators proposal Ilya Rezvov 2021-03-08 21:35:43 -08:00
  • 6131babc8e more grammar fixes Ilya Rezvov 2021-03-04 22:04:56 -08:00
  • 4f0926ca3f add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness Ilya Rezvov 2021-03-03 22:08:18 -08:00
  • 21f0046898 replace hardcoded tests with submodule to the official testsuit Ilya Rezvov 2021-03-02 21:46:52 -08:00
  • 36eacf1697 Merge pull request #16 from GaloisInc/crucibleExports Ilya Rezvov 2021-03-16 21:48:14 -07:00
  • 1281643874 start multivalue proposal implementation for block instruction Ilya Rezvov 2021-03-15 22:59:10 -07:00
  • 3ec6832e5f Make the Structure module public to allow API access to it. Kevin Quick 2021-03-15 22:06:55 -07:00
  • 277b725b30 Add Valid.getModule to the Wasm exports. Kevin Quick 2021-03-15 17:21:43 -07:00
  • d36c6fddbc report multiple start sections in text representation as parsing error Ilya Rezvov 2021-03-12 22:56:23 -08:00
  • 50c7e90772 change instansiating to be stateful Ilya Rezvov 2021-03-12 22:34:42 -08:00
  • 0c912ca575 added line position for failed asserts and implemented mutable globals import/export proposal Ilya Rezvov 2021-03-09 22:45:16 -08:00
  • 029c2416fb fix align bug for I64Load32U and start mutable globals export/import proposal Ilya Rezvov 2021-03-08 21:58:21 -08:00
  • bf9cee08c0 implement sign-extension operators proposal Ilya Rezvov 2021-03-08 21:35:43 -08:00
  • 40291c35f0 more grammar fixes Ilya Rezvov 2021-03-04 22:04:56 -08:00
  • 89df0e43d6 add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness Ilya Rezvov 2021-03-03 22:08:18 -08:00
  • 30a16780fc replace hardcoded tests with submodule to the official testsuit Ilya Rezvov 2021-03-02 21:46:52 -08:00
  • d36342d626 Merge pull request #10 from GaloisInc/expose-ast Ilya Rezvov 2021-01-08 15:57:31 -08:00
  • fb315ccffa Expose additional AST datatypes for downstream use. Rob Dockins 2021-01-08 15:04:03 -08:00
  • 9a3d73baeb Merge pull request #9 from ggreif/master Ilya Rezvov 2020-09-18 16:23:53 -07:00
  • 03072d8f79 another Gabor Greif 2020-09-13 15:44:16 +02:00
  • 4bce493d8c catch some typos Gabor Greif 2020-09-13 15:14:04 +02:00
  • cd4e6dc326 Merge pull request #7 from TD5/master Ilya Rezvov 2020-07-15 11:04:24 -07:00
  • bce316ce45 Fix missing mtl version constraint fixes Tom Davies 2020-07-15 18:46:24 +01:00
  • 2ea0dab85f Upgrade dependencies Tom Davies 2020-07-15 18:28:59 +01:00
  • bcb83798cb implemented fast-path for aligned addresses on memory read/write Ilya Rezvov 2020-02-19 16:07:18 -08:00
  • 915b705ed2 using primitive's ByteArray for memory instance's backend storage in the interpreter instead of IOVector Ilya Rezvov 2020-02-19 14:36:03 -08:00
  • f8d008bb04 small clean up Ilya Rezvov 2020-01-14 17:00:41 -08:00
  • d7e1b803f5 fix build and tests for ghc >8.6 Ilya Rezvov 2020-01-13 21:56:06 -08:00
  • adeabf7e30 Merge pull request #4 from agustinmista/master Ilya Rezvov 2019-07-16 15:48:53 -07:00
  • 6a2b3fbfc2 Added missing type synonym to exports Agustín Mista 2019-07-16 20:50:36 +02:00
  • f5c9fb45ee Added missing exports in Structure Agustín Mista 2019-07-16 18:03:18 +02:00
  • 8b29d3f51b Merge pull request #3 from agustinmista/master Ilya Rezvov 2018-10-07 02:51:57 -07:00