Commit Graph

210 Commits

Author SHA1 Message Date
Sergey Pepyakin 0dc908c81b fmt 2019-04-18 15:11:23 +02:00
Sergey Pepyakin 7d1d6efe38 fmt. 2019-04-18 14:59:06 +02:00
Sergey Pepyakin 8a654554d1 s/with_instruction_capacity/with_capacity 2019-04-17 18:20:46 +02:00
Sergey Pepyakin cd34cc6afb Print value that can't be coerced to u32 2019-04-17 18:19:18 +02:00
Sergey Pepyakin ddbeba0154 Remove redundant PartialEq 2019-04-17 18:15:52 +02:00
Sergey Pepyakin 65e8400e56 Comment access to require_target 2019-04-16 16:47:45 +02:00
Sergey Pepyakin 36e671bc31 Remove another TODO 2019-04-16 16:36:16 +02:00
Sergey Pepyakin 88c48aa1ea Add comment about top_label safety 2019-04-16 16:35:16 +02:00
Sergey Pepyakin d5a383a442 Clean and detail End opcode. 2019-04-16 16:30:41 +02:00
Sergey Pepyakin 921dda469e fmt. 2019-04-16 16:14:19 +02:00
Sergey Pepyakin 98570fc1d7 Estimate capacity. 2019-04-16 16:14:10 +02:00
Sergey Pepyakin e7381bfdde Clean. 2019-04-16 16:14:00 +02:00
Sergey Pepyakin e4dcf553a2 Rename. 2019-04-16 14:39:34 +02:00
Sergey Pepyakin fc36931c06 Get rid of memory_units dependency in validation 2019-04-16 14:27:05 +02:00
Sergey Pepyakin 9935df3307 Renamings. 2019-04-15 20:17:44 +02:00
Sergey Pepyakin 0b11d665aa Make wasmi compilation tests work 2019-04-15 20:02:55 +02:00
Sergey Pepyakin 584b1fd2e9 Make validation tests work 2019-04-15 19:43:51 +02:00
Sergey Pepyakin e78f8ad37e Rename validate_module2 → validate_module 2019-04-15 19:00:32 +02:00
Sergey Pepyakin 44acdd6eb7 Move deny_floating_point to wasmi 2019-04-15 18:57:30 +02:00
Sergey Pepyakin 321f0b765c Make it work under no_std 2019-04-15 17:45:54 +02:00
Sergey Pepyakin 379e960c94 Clean. 2019-04-15 17:35:29 +02:00
Sergey Pepyakin cf0f8b4ad6 Fix warnings. 2019-04-15 17:34:56 +02:00
Sergey Pepyakin 3cc5dd6485 Format it. 2019-04-15 17:34:09 +02:00
Sergey Pepyakin 1dad287999 Make it compile. 2019-04-15 17:33:50 +02:00
Sergey Pepyakin e167cbcb96 Make validation compile 2019-04-15 17:25:34 +02:00
Sergey Pepyakin baf60ac977 The great move of validation 2019-04-15 17:16:20 +02:00
Sergey Pepyakin f02a356b6b WIP 2019-04-15 17:15:48 +02:00
Sergey Pepyakin cd4948e37e Comments. 2019-04-09 18:10:28 +02:00
Sergey Pepyakin b7a94855d8 Move code under prepare 2019-04-08 16:20:21 +02:00
Sergey Pepyakin fc3d21a17a Express the compiler using validation trait 2019-04-08 15:41:44 +02:00
Sergey Pepyakin 9723dfbfb6 Add Validation traits 2019-04-08 14:49:53 +02:00
Sergey Pepyakin eaa030afa7 Move push_label under validation context. 2019-04-08 10:59:34 +02:00
Sergey Pepyakin 628815ac0f fmt 2019-04-05 23:56:55 +02:00
Sergey Pepyakin 05527b05db Rename to compiler. 2019-04-05 23:41:29 +02:00
Sergey Pepyakin b13c730604 Move sink to FunctionReader 2019-04-05 23:36:21 +02:00
Sergey Pepyakin 33125dd00f Validation separated from compilation. 2019-04-05 23:21:43 +02:00
Sergey Pepyakin a4b7140c0e Refactoring cleaning 2019-04-05 23:19:39 +02:00
Sergey Pepyakin 382d68d4b4 Extract compilation 2019-04-05 18:42:58 +02:00
Sergey Pepyakin 30c738c571 Finally get rid from frame_type. 2019-04-05 14:30:31 +02:00
Sergey Pepyakin ff379cb950 Avoid using frame_type. 2019-04-05 14:29:43 +02:00
Sergey Pepyakin 57251eec79 Mirror label_stack. 2019-04-05 14:17:15 +02:00
Sergey Pepyakin 4e2347b4bf Actually use started_with. 2019-04-05 14:10:40 +02:00
Sergey Pepyakin 5c183c4da0 Introduce StartedWith 2019-04-05 13:38:12 +02:00
Sergey Pepyakin 0994150ba2 Get rid of outcome 2019-04-05 13:25:17 +02:00
Sergey Pepyakin d813c912a5 Rework.
Now we will a compiler which wraps and uses info from a evaluation simulator.
2019-04-05 13:22:33 +02:00
Sergey Pepyakin 58e4722a39 Attempt number 10 2019-04-01 20:49:49 +02:00
Sergey Pepyakin 7868e77f8e Add comment about safety of top_label 2019-04-01 17:46:58 +02:00
Sergey Pepyakin cf0dee5c18 return_type isn't failable 2019-04-01 17:20:46 +02:00
Sergey Pepyakin 716e8b5613 Add some docs. 2019-04-01 17:20:14 +02:00
Sergey Pepyakin 0267b20e6e Bump version to 0.4.4 2019-03-15 12:13:10 +01:00