Commit Graph

235 Commits

Author SHA1 Message Date
Tom Davies 2ea0dab85f Upgrade dependencies
This resolves the build errors surrounding conflicting versions of
dependencies
2020-07-15 18:28:59 +01:00
Ilya Rezvov bcb83798cb implemented fast-path for aligned addresses on memory read/write 2020-02-19 16:07:18 -08:00
Ilya Rezvov 915b705ed2 using primitive's ByteArray for memory instance's backend storage in the interpreter instead of IOVector 2020-02-19 14:36:03 -08:00
Ilya Rezvov f8d008bb04 small clean up 2020-01-14 17:00:41 -08:00
Ilya Rezvov d7e1b803f5 fix build and tests for ghc >8.6 2020-01-13 21:56:06 -08:00
Ilya Rezvov adeabf7e30 Merge pull request #4 from agustinmista/master
Adding missing exports in Structure.hs
2019-07-16 15:48:53 -07:00
Agustín Mista 6a2b3fbfc2 Added missing type synonym to exports 2019-07-16 20:50:36 +02:00
Agustín Mista f5c9fb45ee Added missing exports in Structure 2019-07-16 18:03:18 +02:00
Ilya Rezvov 8b29d3f51b Merge pull request #3 from agustinmista/master
Upgraded resolver to lts-12.11
2018-10-07 02:51:57 -07:00
Agustín Mista 0ec7fb6feb Upgraded resolver to lts-12.11 2018-10-04 11:02:52 +02:00
Ilya Rezvov 1245707afa fix cabal file 2018-06-21 08:32:20 -07:00
Ilya Rezvov 709c8d994c bump version to 1.0 tag 2018-06-20 16:33:52 -07:00
Ilya Rezvov db18150ec9 expose label type from builder 2018-06-11 20:20:06 -07:00
Ilya Rezvov f862c74bf9 fix typos in sign suffixes 2018-06-02 11:01:01 -07:00
Ilya Rezvov 85dfac08f1 enforce type constraints for conversion operations 2018-06-02 10:57:49 -07:00
Ilya Rezvov 4dccc4279e add all instructions 2018-06-02 10:36:24 -07:00
Ilya Rezvov 2aeb960cb1 introduce declaration+implementation mechanic for mutual recursive functions definitions 2018-05-31 14:06:33 -07:00
Ilya Rezvov 1cf668408a unify name convention for signed/unsigned operations 2018-05-27 15:29:31 -07:00
Ilya Rezvov ddf89644ce make inc and dec polymorphic 2018-05-27 14:49:49 -07:00
Ilya Rezvov 3926e5b9f1 make export combinator polymorphic 2018-05-27 11:59:27 -07:00
Ilya Rezvov 330fb93f0f introduce polymorphic result types for combinators 2018-05-27 11:17:26 -07:00
Ilya Rezvov 95318c86fc wrap instruction for builder 2018-05-25 11:30:08 -07:00
Ilya Rezvov 4ec5a0fcbf two more helpers for builder 2018-05-24 16:22:05 -07:00
Ilya Rezvov 9d1ce5a630 more instructions for builder 2018-05-24 11:36:34 -07:00
Ilya Rezvov a0bdcae94a fix memarg binary parsing 2018-05-23 11:48:45 -07:00
Ilya Rezvov 705b43af34 add more operations 2018-05-23 09:38:21 -07:00
Ilya Rezvov 05ad97a30e fix binary generation 2018-05-22 18:47:10 -07:00
Ilya Rezvov ba6f26b06d add export directives 2018-05-22 15:06:39 -07:00
Ilya Rezvov 96dd6a8a40 export nop instruction 2018-05-18 11:42:02 -07:00
Ilya Rezvov d2d767d122 add partial memory instructions for builder 2018-05-17 13:28:34 -07:00
Ilya Rezvov 9ca5353b0f extend supported instructions set 2018-05-16 14:45:34 -07:00
Ilya Rezvov edf072ed2a add more generators 2018-05-13 15:12:13 -07:00
Ilya Rezvov 5986526167 implement more operations for generation 2018-05-13 10:37:09 -07:00
Ilya Rezvov 2db6b2db41 add if expression form 2018-05-13 09:41:29 -07:00
Ilya Rezvov 1330eb41f6 start builder api 2018-05-12 22:37:50 -07:00
Ilya Rezvov 8ca3319ba4 add wasm executable 2018-05-10 13:39:43 -07:00
Ilya Rezvov 4601666eab stabilize inline exports extraction algorithm 2018-04-26 20:19:19 -07:00
Ilya Rezvov 0a7b417605 reduce deep of code 2018-04-25 13:47:11 -07:00
Ilya Rezvov abc546723d reduce code duplication 2018-04-25 11:16:41 -07:00
Ilya Rezvov fc2eb97647 use ExceptT transformer to clarify interpreter code 2018-04-25 10:49:58 -07:00
Ilya Rezvov 70f207d02d extract storing code to common function 2018-04-24 21:07:12 -07:00
Ilya Rezvov a619e1b742 extract load instructions to generic function 2018-04-24 19:08:31 -07:00
Ilya Rezvov 9d14c233c5 fix parsing of multiple folded instructions in if predicate expression 2018-04-24 16:12:52 -07:00
Ilya Rezvov 081d6ded2a use single rule for all index refences 2018-04-24 15:37:43 -07:00
Ilya Rezvov 6157cbb492 update readme 2018-04-21 11:28:03 -07:00
Ilya Rezvov 5356e0b435 pass all tests 2018-04-21 11:24:05 -07:00
Ilya Rezvov d0b5535bb2 pass all assert_trap tests 2018-04-21 10:58:34 -07:00
Ilya Rezvov c073d85d74 calculate offset without uint32 overflow 2018-04-21 10:46:29 -07:00
Ilya Rezvov 56f9aea99d check if target and local type of call_indirect are the same 2018-04-21 10:39:23 -07:00
Ilya Rezvov 7726eb7505 protect memory access with traps 2018-04-21 10:11:37 -07:00