 Ilya Rezvov
|
40291c35f0
|
more grammar fixes
|
2021-03-04 22:04:56 -08:00 |
|
|
Ilya Rezvov
|
89df0e43d6
|
add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness
|
2021-03-03 22:08:18 -08:00 |
|
|
Ilya Rezvov
|
30a16780fc
|
replace hardcoded tests with submodule to the official testsuit
|
2021-03-02 21:46:52 -08: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 |
|
|
Rob Dockins
|
fb315ccffa
|
Expose additional AST datatypes for downstream use.
|
2021-01-08 15:04:03 -08:00 |
|
|
Ilya Rezvov
|
9a3d73baeb
|
Merge pull request #9 from ggreif/master
Typos
|
2020-09-18 16:23:53 -07:00 |
|
|
Gabor Greif
|
03072d8f79
|
another
|
2020-09-13 15:44:16 +02:00 |
|
|
Gabor Greif
|
4bce493d8c
|
catch some typos
|
2020-09-13 15:14:04 +02: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 |
|
|
Tom Davies
|
bce316ce45
|
Fix missing mtl version constraint fixes
|
2020-07-15 18:46:24 +01:00 |
|
|
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 |
|