 Jim PosenandSergei Pepyakin
|
5792da28d5
|
Fix typo
Co-Authored-By: Sergei Pepyakin <s.pepyakin@gmail.com>
|
2019-07-25 12:37:57 +02:00 |
|
|
Jim Posen
|
f8673d5b87
|
Fix dev dependency crate imports.
|
2019-07-25 11:05:25 +02:00 |
|
|
Jim Posen
|
5180d694ce
|
Validate the gas metering algorithm using fuzzer.
|
2019-07-19 11:25:54 +02:00 |
|
|
Jim Posen
|
82bd972333
|
!fixup lowest_forward_br rename and field docs.
|
2019-07-12 10:45:01 +02:00 |
|
|
Jim Posen
|
93abbcfe56
|
Add gas injection unit test for correct else behavior.
|
2019-07-12 10:30:11 +02:00 |
|
|
Jim Posen
|
ed7f31ec20
|
Use macro + WAT to make gas injection unit tests more readable.
|
2019-07-12 10:15:37 +02:00 |
|
|
Jim Posen
|
b5472bcd8f
|
!fixup Address review comments.
|
2019-07-11 16:45:46 +02:00 |
|
|
Jim Posen
|
b3f8f62105
|
Update gas expectations.
|
2019-07-04 17:57:40 +02:00 |
|
|
Jim Posen
|
0cf7daa9e5
|
Update high level inject_gas_counter function documentation.
|
2019-07-04 17:57:40 +02:00 |
|
|
Jim Posen
|
24924f59ec
|
Change gas metering injection code to handle branches properly.
|
2019-07-04 17:57:40 +02:00 |
|
|
Jim Posen
|
de60f491b4
|
Fix ordering of actual and expected arguments in assert_eq!.
|
2019-07-04 17:57:40 +02:00 |
|
|
Jim Posen
|
4c0f42c6fc
|
Perform gas metering injection step in linear time.
Previously the code was quadratic in the worst case as inserting into
the middle of a vector is a linear-time operation.
|
2019-07-04 17:57:40 +02:00 |
|
|
Jim Posen
|
c3d10a2619
|
Merge pull request #121 from jimpo/gas-docs
Documentation of gas metering instrumentation process & cleanup.
|
2019-07-01 17:25:45 +02:00 |
|
|
Jim Posen
|
863744b1fc
|
Add gas test confirming that br instructions do not end blocks.
|
2019-07-01 17:02:21 +02:00 |
|
|
Jim Posen
|
89e13ee901
|
Cleanup stack height Context.
Removes unnecessary Options and fixes typos.
|
2019-06-26 12:48:51 +02:00 |
|
|
Jim Posen
|
929e0ec2c0
|
Documentation of gas metering instrumentation process.
|
2019-06-26 12:47:30 +02:00 |
|