diff options
| author | Marc Vertes <marc.vertes@tendermint.com> | 2023-07-24 14:18:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-24 14:18:27 +0200 |
| commit | aa4cc2b45ebadf4cea16d1e27149e13669f3a5fc (patch) | |
| tree | 9dc5ae021d99c35c89773a89a2a6a0caa548fc9d /samples | |
| parent | 05d04189c92f9b315410a97369e391f507ac52dd (diff) | |
scanner: compute numerical values (#2)
The conversion to numerical values is done by the scanner so it's
only done once. This will simplify and accelerate vm0 and the code
generator.
Diffstat (limited to 'samples')
0 files changed, 0 insertions, 0 deletions