Commit Graph

  • c75900a2c8 fix loading of signed ints from memory Ilya Rezvov 2018-04-10 21:09:58 -07:00
  • ab1782c982 fix int instructions Ilya Rezvov 2018-04-10 21:02:37 -07:00
  • 1fe669e762 use correct signed int representation Ilya Rezvov 2018-04-10 20:50:26 -07:00
  • 8514232513 fix offset parsing and one byte loading instruction Ilya Rezvov 2018-04-10 19:48:02 -07:00
  • fd7ce7e450 fix copysign instruction Ilya Rezvov 2018-04-10 16:56:42 -07:00
  • f6cae32148 fix float numbers parsing Ilya Rezvov 2018-04-10 15:04:18 -07:00
  • f4e008ab9a fix arguments order on function call Ilya Rezvov 2018-04-10 09:17:26 -07:00
  • 147f4224d3 implement grow memory instruction Ilya Rezvov 2018-04-10 09:07:30 -07:00
  • 3be5840c9a implement grow_memory Ilya Rezvov 2018-04-09 21:48:37 -07:00
  • d055a4ff6d fix call_indirect evaluation Ilya Rezvov 2018-04-09 21:41:17 -07:00
  • dac931b055 implement assert_return assertion Ilya Rezvov 2018-04-09 15:08:48 -07:00
  • b7933df8c3 add actions interpretatiion Ilya Rezvov 2018-04-09 14:36:14 -07:00
  • 554a56fb63 pass nan with payload to token Ilya Rezvov 2018-04-09 07:12:47 -07:00
  • 8cd33831a1 'fix' type of br_if and comment multiple table definitions in test module Ilya Rezvov 2018-04-08 20:06:25 -07:00
  • 8ef3eadc9a parse arithmetic nan Ilya Rezvov 2018-04-08 19:47:10 -07:00
  • 6b376ee4cb fix elems validator Ilya Rezvov 2018-04-08 17:51:04 -07:00
  • 277cfad6ff add host environment for script modules Ilya Rezvov 2018-04-08 17:42:25 -07:00
  • 7a66ff7150 provide imports for modules from registery Ilya Rezvov 2018-04-08 12:50:36 -07:00
  • 98d9ca2399 fix parsing binary modules from text representation Ilya Rezvov 2018-04-08 11:54:29 -07:00
  • 87758b2789 fix memory growing for empty data segments Ilya Rezvov 2018-04-08 10:53:14 -07:00
  • 8b5c7fa154 grow tables and memories on module initialization Ilya Rezvov 2018-04-08 10:45:09 -07:00
  • d7641bcee2 fix implicit type extraction Ilya Rezvov 2018-04-08 10:25:05 -07:00
  • 43feccbf08 load modules in wasm script commands Ilya Rezvov 2018-04-08 09:43:41 -07:00
  • 8c8cec0498 update goals Ilya Rezvov 2018-03-21 09:49:50 -07:00
  • 8a22d84804 pass all tests Ilya Rezvov 2018-03-20 21:51:55 -07:00
  • 682e71defc fix tokenizing of numbers and expressions of offset Ilya Rezvov 2018-03-20 21:33:11 -07:00
  • 3400a7c1ad fix stack instructions parsing Ilya Rezvov 2018-03-20 21:26:42 -07:00
  • e9c5ad8dac fix function parsing Ilya Rezvov 2018-03-20 21:11:59 -07:00
  • 4ed8752744 add whole test files from Core Test Suit Ilya Rezvov 2018-03-20 21:01:25 -07:00
  • d9849f77bf parse wasm script grammar Ilya Rezvov 2018-03-20 20:28:03 -07:00
  • 4bf66b9295 fix module idents coding Ilya Rezvov 2018-03-20 16:51:58 -07:00
  • 13fecfe74b Merge branch 'master' of github.com:SPY/haskell-wasm Ilya Rezvov 2018-03-20 16:17:20 -07:00
  • 952fa3bd97 add types for script extention Ilya Rezvov 2018-03-20 16:17:10 -07:00
  • b03bdf5b57 Update goals in readme Ilya Rezvov 2018-03-19 12:27:44 -07:00
  • 96cd65ac24 implement store operations Ilya Rezvov 2018-03-19 11:36:12 -07:00
  • da6d15c63f add loading instructions for i64 Ilya Rezvov 2018-03-19 11:10:23 -07:00
  • 4d6a8d6d3f add load instructions handling for primitive types and i32 parts Ilya Rezvov 2018-03-18 22:18:54 -07:00
  • a4ed63fe53 implement relation float operations Ilya Rezvov 2018-03-18 19:59:23 -07:00
  • 3be5bd0648 implement binary float operations Ilya Rezvov 2018-03-18 19:53:40 -07:00
  • 8bcfdb18c5 add unary float operations Ilya Rezvov 2018-03-18 19:46:45 -07:00
  • 1ba3044aa5 implement numeric conversion instructions Ilya Rezvov 2018-03-18 19:18:41 -07:00
  • 4775c42207 implement test and unary integer operations Ilya Rezvov 2018-03-16 10:32:36 -07:00
  • 51f4cdfa53 fix arguments ordering for int binary operations Ilya Rezvov 2018-03-16 10:11:06 -07:00
  • 3d9cb6132b make fact work Ilya Rezvov 2018-03-15 21:53:02 -07:00
  • 421d7db976 implement int rel operations Ilya Rezvov 2018-03-15 21:02:38 -07:00
  • 36225ea479 implement int bin operations Ilya Rezvov 2018-03-15 20:53:45 -07:00
  • d5324acb40 implement call_indirect Ilya Rezvov 2018-03-15 19:52:57 -07:00
  • 6561ed0264 implement interpretation of control instruction Ilya Rezvov 2018-03-15 19:42:24 -07:00
  • edbdeaec46 start instruction evaluator Ilya Rezvov 2018-03-14 21:12:01 -07:00
  • 1b4a79655f store memory as word8 vector and do not grow mem and tables on initialization Ilya Rezvov 2018-03-12 20:46:21 -07:00
  • 8af5518e2b initialize elem and data segments Ilya Rezvov 2018-03-12 10:04:17 -07:00
  • 93d6d4a417 allocate memories and tables Ilya Rezvov 2018-03-11 19:11:19 -07:00
  • 867092c820 add globals allocation Ilya Rezvov 2018-03-07 16:35:36 -08:00
  • 1dab371720 calculate module instance Ilya Rezvov 2018-03-07 14:40:19 -08:00
  • a073456a63 adjust types to spec Ilya Rezvov 2018-03-07 10:53:06 -08:00
  • efcd8f35e2 refactor interpreter types Ilya Rezvov 2018-03-04 20:18:18 -08:00
  • c09397539f store integer const instructions as words Ilya Rezvov 2018-03-03 10:20:02 -08:00
  • b9e03584dd start interpreter Ilya Rezvov 2018-02-28 21:20:52 -08:00
  • 6075818a56 const expression get_global can refer only imported constant globals Ilya Rezvov 2018-02-27 15:45:39 -08:00
  • 8012373a96 finish validation phase Ilya Rezvov 2018-02-27 15:28:38 -08:00
  • 6866c886f3 Merge branch 'master' of github.com:SPY/haskell-wasm Ilya Rezvov 2018-02-26 15:48:20 -08:00
  • e373066ef5 add more validators Ilya Rezvov 2018-02-26 15:48:11 -08:00
  • 8a1a62f1a8 Merge pull request #1 from s-panferov/patch-1 Ilya Rezvov 2018-02-25 16:44:03 -08:00
  • d2dbb16fce Update README.md Ilya Rezvov 2018-02-25 16:43:28 -08:00
  • df22143563 Update README.md Stanislav Panferov 2018-02-25 16:42:26 -08:00
  • 853334765f Update README.md Stanislav Panferov 2018-02-25 16:40:26 -08:00
  • 88696e4666 make tests green again Ilya Rezvov 2018-02-25 16:12:56 -08:00
  • fdfdd14ace pass more tests on validation stage Ilya Rezvov 2018-02-25 12:28:51 -08:00
  • 6a3a7d56a5 fix context building for typechecker Ilya Rezvov 2018-02-25 11:28:51 -08:00
  • d53611c1e5 pass more tests Ilya Rezvov 2018-02-25 09:53:28 -08:00
  • c7ecb055d4 fix types indexes in some cases Ilya Rezvov 2018-02-25 09:19:54 -08:00
  • 1366c63bf3 pass more tests Ilya Rezvov 2018-02-25 08:52:44 -08:00
  • e05bcdd0cb handle functions with empty body Ilya Rezvov 2018-02-24 21:49:06 -08:00
  • 55215f56de pass more tests Ilya Rezvov 2018-02-24 21:08:18 -08:00
  • 254bfca5f8 fix function parsing Ilya Rezvov 2018-02-24 20:36:11 -08:00
  • d69f0fed99 check expression types Ilya Rezvov 2018-02-24 19:29:06 -08:00
  • 89e0fb89ed add instruction type signatures Ilya Rezvov 2018-02-24 12:13:50 -08:00
  • e7978b8d48 properly handle order of params and result types in function type in call_indirect instruction Ilya Rezvov 2018-02-23 17:01:22 -08:00
  • 4c8a71de16 reduce shift/reduce conflicts Ilya Rezvov 2018-02-23 16:40:40 -08:00
  • 97ae291be5 handle call_indirect properly in raw instruction case Ilya Rezvov 2018-02-23 16:17:11 -08:00
  • a30e6676ff accept only folded form of instructions inside folded forms Ilya Rezvov 2018-02-23 15:00:06 -08:00
  • 31735c93aa handle raw instructions properly Ilya Rezvov 2018-02-23 14:52:03 -08:00
  • bf67333ec1 add test case for unhandled instructions representation Ilya Rezvov 2018-02-23 11:23:36 -08:00
  • 62bca80a3a make validation result monoid instance Ilya Rezvov 2018-02-21 20:52:46 -08:00
  • 7bd2914148 add some validation checks Ilya Rezvov 2018-02-21 20:14:39 -08:00
  • 55a6b482ef fix mem arg parsing Ilya Rezvov 2018-02-19 18:48:50 -08:00
  • 6a7b82086a update readme Ilya Rezvov 2018-02-19 18:41:40 -08:00
  • f1eae1969a fix section parsing Ilya Rezvov 2018-02-19 18:38:54 -08:00
  • 928fa3a606 add deserializer for instructions and module Ilya Rezvov 2018-02-19 18:36:17 -08:00
  • 8dc40aa699 make serializer work correct Ilya Rezvov 2018-02-19 14:30:06 -08:00
  • 809d5bbf38 serialize code and data segments Ilya Rezvov 2018-02-19 13:52:46 -08:00
  • 37656d868a add serializer for export, start and elem sections Ilya Rezvov 2018-02-19 13:31:35 -08:00
  • 9d784d03bd pack/unpack int values Ilya Rezvov 2018-02-19 12:52:20 -08:00
  • 0029c68115 add put implememntation for insturction Ilya Rezvov 2018-02-19 09:37:02 -08:00
  • f9239c52ee serialize more sections Ilya Rezvov 2018-02-18 22:59:02 -08:00
  • 78653b911c write import section Ilya Rezvov 2018-02-18 22:46:19 -08:00
  • 75bdf0637f start binary format support Ilya Rezvov 2018-02-18 19:03:21 -08:00
  • f6a2daefcc fix tests Ilya Rezvov 2018-02-18 10:20:24 -08:00
  • 4f11058f4b desugarize exports Ilya Rezvov 2018-02-18 10:19:12 -08:00
  • 2774c04689 desugarize globals Ilya Rezvov 2018-02-18 08:14:49 -08:00