Commit Graph

  • fb6638c163 Add better proof Sergey Pepyakin 2019-04-18 17:29:42 +0200
  • 28456e1163 Proofs Sergey Pepyakin 2019-04-18 17:26:26 +0200
  • 0dc908c81b fmt Sergey Pepyakin 2019-04-18 15:11:23 +0200
  • 7d1d6efe38 fmt. Sergey Pepyakin 2019-04-18 14:59:06 +0200
  • 8a654554d1 s/with_instruction_capacity/with_capacity Sergey Pepyakin 2019-04-17 18:20:46 +0200
  • cd34cc6afb Print value that can't be coerced to u32 Sergey Pepyakin 2019-04-17 18:19:18 +0200
  • ddbeba0154 Remove redundant PartialEq Sergey Pepyakin 2019-04-17 18:15:52 +0200
  • 65e8400e56 Comment access to require_target Sergey Pepyakin 2019-04-16 16:47:45 +0200
  • 36e671bc31 Remove another TODO Sergey Pepyakin 2019-04-16 16:36:16 +0200
  • 88c48aa1ea Add comment about top_label safety Sergey Pepyakin 2019-04-16 16:35:16 +0200
  • d5a383a442 Clean and detail End opcode. Sergey Pepyakin 2019-04-16 16:29:49 +0200
  • 921dda469e fmt. Sergey Pepyakin 2019-04-16 16:14:19 +0200
  • 98570fc1d7 Estimate capacity. Sergey Pepyakin 2019-04-16 16:14:10 +0200
  • e7381bfdde Clean. Sergey Pepyakin 2019-04-16 16:14:00 +0200
  • e4dcf553a2 Rename. Sergey Pepyakin 2019-04-16 14:39:34 +0200
  • fc36931c06 Get rid of memory_units dependency in validation Sergey Pepyakin 2019-04-16 14:27:05 +0200
  • 9935df3307 Renamings. Sergey Pepyakin 2019-04-15 20:17:44 +0200
  • 0b11d665aa Make wasmi compilation tests work Sergey Pepyakin 2019-04-15 19:44:02 +0200
  • 584b1fd2e9 Make validation tests work Sergey Pepyakin 2019-04-15 19:43:51 +0200
  • e78f8ad37e Rename validate_module2 → validate_module Sergey Pepyakin 2019-04-15 19:00:32 +0200
  • 44acdd6eb7 Move deny_floating_point to wasmi Sergey Pepyakin 2019-04-15 18:57:30 +0200
  • 321f0b765c Make it work under no_std Sergey Pepyakin 2019-04-15 17:45:54 +0200
  • 379e960c94 Clean. Sergey Pepyakin 2019-04-15 17:35:29 +0200
  • cf0f8b4ad6 Fix warnings. Sergey Pepyakin 2019-04-15 17:34:56 +0200
  • 3cc5dd6485 Format it. Sergey Pepyakin 2019-04-15 17:34:09 +0200
  • 1dad287999 Make it compile. Sergey Pepyakin 2019-04-15 17:33:50 +0200
  • e167cbcb96 Make validation compile Sergey Pepyakin 2019-04-15 17:25:34 +0200
  • baf60ac977 The great move of validation Sergey Pepyakin 2019-04-15 17:16:20 +0200
  • f02a356b6b WIP Sergey Pepyakin 2019-04-15 17:15:48 +0200
  • e5bde5b0d7 update fmt edition NikVolf 2019-04-09 20:19:48 +0300
  • a51413563e fix nightly and warnings NikVolf 2019-04-09 19:24:45 +0300
  • cd4948e37e Comments. Sergey Pepyakin 2019-04-09 18:10:28 +0200
  • 6e9d2eb8d2 edition to 2018 NikVolf 2019-04-09 19:10:00 +0300
  • b7a94855d8 Move code under prepare Sergey Pepyakin 2019-04-08 16:20:21 +0200
  • fc3d21a17a Express the compiler using validation trait Sergey Pepyakin 2019-04-08 15:41:44 +0200
  • 9723dfbfb6 Add Validation traits Sergey Pepyakin 2019-04-08 14:49:53 +0200
  • eaa030afa7 Move push_label under validation context. Sergey Pepyakin 2019-04-08 10:59:34 +0200
  • 628815ac0f fmt Sergey Pepyakin 2019-04-05 23:56:55 +0200
  • 05527b05db Rename to compiler. Sergey Pepyakin 2019-04-05 23:41:29 +0200
  • b13c730604 Move sink to FunctionReader Sergey Pepyakin 2019-04-05 23:36:21 +0200
  • 33125dd00f Validation separated from compilation. Sergey Pepyakin 2019-04-05 23:21:19 +0200
  • a4b7140c0e Refactoring cleaning Sergey Pepyakin 2019-04-05 18:48:45 +0200
  • 382d68d4b4 Extract compilation Sergey Pepyakin 2019-04-05 16:39:41 +0200
  • 30c738c571 Finally get rid from frame_type. Sergey Pepyakin 2019-04-05 14:30:31 +0200
  • ff379cb950 Avoid using frame_type. Sergey Pepyakin 2019-04-05 14:29:26 +0200
  • 57251eec79 Mirror label_stack. Sergey Pepyakin 2019-04-05 14:17:15 +0200
  • 4e2347b4bf Actually use started_with. Sergey Pepyakin 2019-04-05 13:41:25 +0200
  • 5c183c4da0 Introduce StartedWith Sergey Pepyakin 2019-04-05 13:38:12 +0200
  • 0994150ba2 Get rid of outcome Sergey Pepyakin 2019-04-05 13:25:17 +0200
  • d813c912a5 Rework. Sergey Pepyakin 2019-04-05 13:22:00 +0200
  • 58e4722a39 Attempt number 10 Sergey Pepyakin 2019-04-01 20:49:49 +0200
  • 7868e77f8e Add comment about safety of top_label Sergey Pepyakin 2019-04-01 17:46:58 +0200
  • cf0dee5c18 return_type isn't failable Sergey Pepyakin 2019-04-01 17:20:26 +0200
  • 716e8b5613 Add some docs. Sergey Pepyakin 2019-03-29 18:13:36 +0100
  • 0267b20e6e Bump version to 0.4.4 0.4.4 Sergey Pepyakin 2019-03-15 12:12:51 +0100
  • b90fcaf2dd Added the nightly feature to hashbrown (#174) Elichai Turkel 2019-03-15 13:08:25 +0200
  • 23cfb536c8
    Added the nightly feature to hashbrown Elichai Turkel 2019-03-12 17:20:21 +0200
  • 8403cc3411 Add a check if NotStartedModuleRef has a start function (#173) Elichai Turkel 2019-02-28 18:19:04 +0200
  • cda9c021d6
    Removed redundant doc comment Sergei Pepyakin 2019-02-27 20:53:26 +0200
  • 8bcabae7be
    Add a check if NotStartedModuleRef has a start function Elichai Turkel 2019-02-27 20:25:39 +0200
  • 188ad62955
    Update readme (#167) Sergei Pepyakin 2019-02-26 15:45:55 +0100
  • e88d5d32e5 Removed Byteorder now that rust supports it natively (#171) Elichai Turkel 2019-02-26 12:37:14 +0200
  • 7bfe9ab404
    Rust fmt Elichai Turkel 2019-02-26 11:02:50 +0200
  • 68241346d1
    Removed byteorder now that from_le_bytes is stabilized Elichai Turkel 2019-02-26 11:02:25 +0200
  • e23f94f27d Expand our vision in more detail. Sergey Pepyakin 2019-01-29 12:36:11 +0100
  • b131d7ba44 WASM → Wasm Sergey Pepyakin 2019-01-29 12:10:34 +0100
  • 98b825e614 Remove the note about parity-wasm Sergey Pepyakin 2019-01-29 12:10:10 +0100
  • ddeef6c2fc Remove point of README Sergey Pepyakin 2019-01-29 12:03:57 +0100
  • 2edf2a593a Restructure README Sergey Pepyakin 2019-01-29 12:02:48 +0100
  • af974ceaf3 Merge remote-tracking branch 'upstream/master' Andrew Mackenzie 2019-01-26 15:32:22 +0100
  • 342c218262 Implement Send+Sync for ModuleInstance & ModuleRef Andrew Mackenzie 2019-01-26 15:32:18 +0100
  • 0474402aca Explicitly use the core crate derive Sergey Pepyakin 2019-01-26 12:57:50 +0100
  • c9c83e44c7 Add tests Sergey Pepyakin 2019-01-25 16:47:35 +0100
  • ed9488629d Return compile errors Sergey Pepyakin 2019-01-25 16:46:42 +0100
  • 2b149f5bdf Fix Cargo.toml Sergey Pepyakin 2019-01-25 16:46:18 +0100
  • 05027e617e Merge remote-tracking branch 'origin/master' into derive Sergey Pepyakin 2019-01-25 13:07:37 +0100
  • 0f6b3e15f4 Clean Sergey Pepyakin 2019-01-25 13:06:04 +0100
  • 27c5501ab0 Clean up Sergey Pepyakin 2019-01-25 13:02:11 +0100
  • e9a414d504 Move examples and adapt. Sergey Pepyakin 2019-01-25 13:00:24 +0100
  • 3bd8f8a250 Fix benches Sergey Pepyakin 2019-01-25 11:59:16 +0100
  • 649818482d Fix fuzz Sergey Pepyakin 2019-01-25 11:56:47 +0100
  • d49b9fe252 Test Sergey Pepyakin 2019-01-25 11:55:28 +0100
  • 244648f40d fmt Sergey Pepyakin 2019-01-25 11:55:25 +0100
  • 9410d17cb6 Rejig the repo structure Sergey Pepyakin 2019-01-25 11:52:12 +0100
  • 1b8cf2705e Add docs. Sergey Pepyakin 2019-01-25 11:39:59 +0100
  • cd9bcc073a Documentation. Sergey Pepyakin 2019-01-25 11:33:03 +0100
  • da384ed27a Add derive feature Sergey Pepyakin 2019-01-25 11:32:54 +0100
  • 0502619259 Cleanup Sergey Pepyakin 2019-01-25 11:03:47 +0100
  • 0d5a87f64f Comments and renames Sergey Pepyakin 2019-01-25 11:02:03 +0100
  • f578675ba6 Generate impl inside unused associated const Sergey Pepyakin 2019-01-25 10:52:05 +0100
  • 6221f50545 Clean parser. Sergey Pepyakin 2019-01-25 10:51:42 +0100
  • b83e6178b8 Start refactoring. Sergey Pepyakin 2019-01-25 10:45:39 +0100
  • af19c66589 fmt Sergey Pepyakin 2019-01-25 10:43:03 +0100
  • da3067ca03 Adding lifetime to Externals to allow to expose infromation by reference that exists within externals existance Illia Polosukhin 2019-01-21 23:02:17 -0800
  • 23b054c0e5 Replaced hashmap_core with hashbrown (#161) Elichai Turkel 2019-01-20 18:59:26 +0200
  • b993c6020d
    Replaced hashmap_core with hashbrown Elichai Turkel 2019-01-20 18:19:26 +0200
  • 4c51136e7c Renamings Sergey Pepyakin 2019-01-19 21:59:32 +0100
  • 5f49943cfb Make it work. Sergey Pepyakin 2019-01-19 21:29:29 +0100
  • 23b10d386c WIP Sergey Pepyakin 2019-01-19 01:31:47 +0100
  • ad14d82bce Expose globals to host (#158) Leonardo Yvens 2019-01-17 21:27:56 -0200