23 Commits

Author	SHA1	Message	Date
Ilya Rezvov	8cd33831a1	'fix' type of br_if and comment multiple table definitions in test module	2018-04-08 20:06:25 -07:00
Ilya Rezvov	6b376ee4cb	fix elems validator	2018-04-08 17:51:04 -07:00
Ilya Rezvov	98d9ca2399	fix parsing binary modules from text representation	2018-04-08 11:54:29 -07:00
Ilya Rezvov	d7641bcee2	fix implicit type extraction	2018-04-08 10:25:05 -07:00
Ilya Rezvov	edbdeaec46	start instruction evaluator	2018-03-14 21:12:01 -07:00
Ilya Rezvov	93d6d4a417	allocate memories and tables	2018-03-11 19:11:19 -07:00
Ilya Rezvov	867092c820	add globals allocation	2018-03-07 16:35:36 -08:00
Ilya Rezvov	1dab371720	calculate module instance	2018-03-07 14:40:19 -08:00
Ilya Rezvov	6075818a56	const expression get_global can refer only imported constant globals	2018-02-27 15:45:39 -08:00
Ilya Rezvov	8012373a96	finish validation phase	2018-02-27 15:28:38 -08:00
Ilya Rezvov	e373066ef5	add more validators	2018-02-26 15:48:11 -08:00
Ilya Rezvov	88696e4666	make tests green again	2018-02-25 16:12:56 -08:00
Ilya Rezvov	fdfdd14ace	pass more tests on validation stage	2018-02-25 12:28:51 -08:00
Ilya Rezvov	6a3a7d56a5	fix context building for typechecker	2018-02-25 11:28:51 -08:00
Ilya Rezvov	d53611c1e5	pass more tests	2018-02-25 09:53:28 -08:00
Ilya Rezvov	1366c63bf3	pass more tests	2018-02-25 08:52:44 -08:00
Ilya Rezvov	e05bcdd0cb	handle functions with empty body	2018-02-24 21:49:06 -08:00
Ilya Rezvov	55215f56de	pass more tests	2018-02-24 21:08:18 -08:00
Ilya Rezvov	d69f0fed99	check expression types	2018-02-24 19:29:06 -08:00
Ilya Rezvov	89e0fb89ed	add instruction type signatures	2018-02-24 12:13:50 -08:00
Ilya Rezvov	62bca80a3a	make validation result monoid instance	2018-02-21 20:52:46 -08:00
Ilya Rezvov	7bd2914148	add some validation checks	2018-02-21 20:14:39 -08:00
Ilya Rezvov	75bdf0637f	start binary format support	2018-02-18 19:03:21 -08:00