 Ilya Rezvov
|
1e7afd94fc
|
change instansiating to be stateful
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
01e0ab8d44
|
added line position for failed asserts and implemented mutable globals import/export proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
20c2623b1c
|
fix align bug for I64Load32U and start mutable globals export/import proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
d61926e18a
|
implement sign-extension operators proposal
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
4fb4da0f2f
|
more grammar fixes
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
d01691338f
|
add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
88a31548b8
|
replace hardcoded tests with submodule to the official testsuit
|
2021-04-04 17:23:43 -07:00 |
|
|
Ilya Rezvov
|
bbd09ecf4f
|
remove redundant clauses
|
2021-04-04 17:19:25 -07:00 |
|
|
Ilya Rezvov
|
52b2a11887
|
fix imports
|
2021-04-04 17:11:07 -07:00 |
|
|
Ilya Rezvov
|
53b145399d
|
get rid of some rules
|
2021-04-04 16:25:22 -07:00 |
|
|
Ilya Rezvov
|
1202fc50f9
|
instuction_list parser
|
2021-04-04 15:30:57 -07:00 |
|
|
Ilya Rezvov
|
47b6b546ef
|
type signature parsing for loop and if blocks
|
2021-04-04 13:56:40 -07:00 |
|
|
Ilya Rezvov
|
057b490864
|
refactor function parser
|
2021-04-01 21:30:58 -07:00 |
|
|
Ilya Rezvov
|
f3415a611f
|
refactor typeuse parser to accomodate raw instructions
|
2021-03-29 21:56:25 -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 |
|
|
Kevin Quick
|
df75bd4791
|
Remove package.yaml and hpack dependency: use a standard cabal file.
|
2021-03-25 17:06:15 -07:00 |
|
|
Kevin Quick
|
1bea1756a3
|
Remove unneeded (and conflicting) test dependencies.
|
2021-03-25 12:58:10 -07:00 |
|
|
Kevin Quick
|
366a04eebc
|
Update version of git source to be greater than the hackage version.
Helps ensure dependency resolution will choose the git version (if
available) over the hackage version.
|
2021-03-25 10:21:25 -07:00 |
|
|
Ilya Rezvov
|
a6692fdef9
|
get rid of some shift/reduce conflicts in grammar
|
2021-03-19 22:25:47 -07:00 |
|
|
Ilya Rezvov
|
03f9386c8a
|
clean up the parser a little bit and relax arity checks on validation phase
|
2021-03-17 22:34:50 -07:00 |
|
|
Ilya Rezvov
|
d5664908d1
|
simplify grammar and parse block typeuses
|
2021-03-16 23:45:43 -07:00 |
|
|
Ilya Rezvov
|
a466bb0135
|
Merge branch 'update-tests' of github.com:SPY/haskell-wasm into update-tests
|
2021-03-16 21:49:35 -07:00 |
|
|
Ilya Rezvov
|
4b670b3d17
|
start multivalue proposal implementation for block instruction
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
66e86754b0
|
report multiple start sections in text representation as parsing error
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
016ec83422
|
change instansiating to be stateful
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
252ced4989
|
added line position for failed asserts and implemented mutable globals import/export proposal
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
02e2c4a705
|
fix align bug for I64Load32U and start mutable globals export/import proposal
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
36cc7a1c16
|
implement sign-extension operators proposal
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
6131babc8e
|
more grammar fixes
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
4f0926ca3f
|
add parsing of canonical nan, reinterpret instructions and check for mem idents uniqueness
|
2021-03-16 21:49:02 -07:00 |
|
|
Ilya Rezvov
|
21f0046898
|
replace hardcoded tests with submodule to the official testsuit
|
2021-03-16 21:49:02 -07: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
|
1281643874
|
start multivalue proposal implementation for block instruction
|
2021-03-15 22:59:10 -07:00 |
|
|
Kevin Quick
|
3ec6832e5f
|
Make the Structure module public to allow API access to it.
|
2021-03-15 22:06:55 -07:00 |
|
|
Kevin Quick
|
277b725b30
|
Add Valid.getModule to the Wasm exports.
|
2021-03-15 17:21:43 -07:00 |
|
|
Ilya Rezvov
|
d36c6fddbc
|
report multiple start sections in text representation as parsing error
|
2021-03-12 22:56:23 -08:00 |
|
|
Ilya Rezvov
|
50c7e90772
|
change instansiating to be stateful
|
2021-03-12 22:34:42 -08:00 |
|
|
Ilya Rezvov
|
0c912ca575
|
added line position for failed asserts and implemented mutable globals import/export proposal
|
2021-03-09 22:45:16 -08:00 |
|
|
Ilya Rezvov
|
029c2416fb
|
fix align bug for I64Load32U and start mutable globals export/import proposal
|
2021-03-08 21:58:21 -08:00 |
|
|
Ilya Rezvov
|
bf9cee08c0
|
implement sign-extension operators proposal
|
2021-03-08 21:35:43 -08:00 |
|
|
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 |
|