swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
History
Tip revision: 285427db45366c31b54022f57c2ac75fa3e5b88b authored by Marge Bot on 05 April 2024, 12:53:28 UTC
Merge tezos/tezos!12676: RISC-V: Distinguish physical & virtual test environments
Tip revision: 285427d
File Mode Size
test
test_plompiler
README.md -rw-r--r-- 445 bytes
arithmetic_gates.ml -rw-r--r-- 15.1 KB
boolean_gates.ml -rw-r--r-- 7.5 KB
circuit.ml -rw-r--r-- 16.6 KB
cq.ml -rw-r--r-- 24.4 KB
custom_gates.ml -rw-r--r-- 12.9 KB
dune -rw-r--r-- 318 bytes
ecc_gates.ml -rw-r--r-- 26.2 KB
evaluations_map.ml -rw-r--r-- 6.0 KB
gates_common.ml -rw-r--r-- 5.2 KB
hash_gates.ml -rw-r--r-- 10.7 KB
identities.ml -rw-r--r-- 3.5 KB
input_commitment.ml -rw-r--r-- 1.9 KB
list.ml -rw-r--r-- 5.9 KB
main_protocol.ml -rw-r--r-- 53.7 KB
main_protocol_intf.ml -rw-r--r-- 7.7 KB
mod_arith_gates.ml -rw-r--r-- 18.6 KB
permutation_gate.ml -rw-r--r-- 27.6 KB
plookup_gate.ml -rw-r--r-- 21.6 KB
polynomial_protocol.ml -rw-r--r-- 12.2 KB
range_check_gate.ml -rw-r--r-- 21.0 KB

README.md

back to top