Revision 974da4819e9255a0f00be545179b10a0017482f0 authored by Raphaƫl Cauderlier on 23 July 2019, 12:10:04 UTC, committed by Pierre Boutillier on 21 October 2019, 12:25:35 UTC
The semantics of the STEPS_TO_QUOTA instruction changes each time the gas constants are modified to better reflect the real costs. Moreover, because of STEPS_TO_QUOTA, the interpreter is not monotonic: it is easy to write a contract that runs successfully at some gas amount but fails when more gas is given.
1 parent 22d2fa7
.gitattributes
.gitignore export-ignore
.gitattributes export-ignore
.gitlab-ci.yml export-ignore
src/lib_version/current_git_info.ml export-subst
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...