https://gitlab.com/tezos/tezos
History
Tip revision: 5b1c92b2215b35ffc27ed48b9a2423d0fe7134b1 authored by ambrona on 19 April 2023, 14:26:21 UTC
lib_plonk: generalize names of T, Si and Ss polynomials
Tip revision: 5b1c92b
File Mode Size
assert.ml -rw-r--r-- 10.7 KB
assert.mli -rw-r--r-- 8.9 KB
assert_lib.ml -rw-r--r-- 4.7 KB
assert_lib.mli -rw-r--r-- 4.0 KB
dune -rw-r--r-- 756 bytes
lwt_assert.ml -rw-r--r-- 2.9 KB
qcheck2_helpers.ml -rw-r--r-- 10.8 KB
qcheck2_helpers.mli -rw-r--r-- 9.4 KB
qcheck_extra.ml -rw-r--r-- 5.6 KB
qcheck_extra.mli -rw-r--r-- 7.3 KB
qcheck_helpers.ml -rw-r--r-- 8.8 KB
qcheck_helpers.mli -rw-r--r-- 8.7 KB
random_pure.ml -rw-r--r-- 21 bytes
random_pure.mli -rw-r--r-- 2.7 KB
roundtrip.ml -rw-r--r-- 2.7 KB
testable.ml -rw-r--r-- 2.7 KB

back to top