https://gitlab.com/tezos/tezos
History
Tip revision: 19b9ef9c9c35158ab276630d1ea1660dba590a73 authored by iguerNL@Functori on 01 March 2024, 07:38:39 UTC
WIP: try to typecheck the plugin with existential variables
Tip revision: 19b9ef9
File Mode Size
sql
2021-09-01-to-2021-09-30.json -rw-r--r-- 174 bytes
2022-01-01-to-2022-02-28.json -rw-r--r-- 122 bytes
README.md -rw-r--r-- 9.4 KB
average-block.json -rw-r--r-- 122 bytes
average_block.ml -rw-r--r-- 3.3 KB
average_block.mli -rw-r--r-- 2.7 KB
benchmark_tps_command.ml -rw-r--r-- 13.6 KB
benchmark_tps_command.mli -rw-r--r-- 2.0 KB
constants.ml -rw-r--r-- 2.3 KB
constants.mli -rw-r--r-- 2.7 KB
dashboard.ml -rw-r--r-- 3.4 KB
dashboard.mli -rw-r--r-- 2.7 KB
dune -rw-r--r-- 915 bytes
estimate_average_block_command.ml -rw-r--r-- 8.5 KB
estimate_average_block_command.mli -rw-r--r-- 2.0 KB
gas.ml -rw-r--r-- 5.4 KB
gas.mli -rw-r--r-- 2.6 KB
gas_tps_command.ml -rw-r--r-- 4.3 KB
gas_tps_command.mli -rw-r--r-- 2.5 KB
lift_limits.patch -rw-r--r-- 883 bytes
main_tps_evaluation.ml -rw-r--r-- 2.1 KB
perform-analysis.sh -rwxr-xr-x 1.1 KB
tezos-tps-evaluation-benchmark-tps -rwxr-xr-x 72 bytes
tezos-tps-evaluation-estimate-average-block -rwxr-xr-x 85 bytes
tezos-tps-evaluation-gas-tps -rwxr-xr-x 66 bytes

README.md

back to top