https://gitlab.com/tezos/tezos
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
.merlin -rw-r--r-- 63 bytes
JSON_AST.ml -rw-r--r-- 651 bytes
JSON_lexer.mll -rw-r--r-- 814 bytes
JSON_parser.mly -rw-r--r-- 553 bytes
Makefile -rw-r--r-- 1.5 KB
README.md -rw-r--r-- 1.1 KB
externals.ml -rw-r--r-- 11.2 KB
internals.ml -rw-r--r-- 1.8 KB
main.ml -rw-r--r-- 9.3 KB
main.mli -rw-r--r-- 2.1 KB
manifest.ml -rw-r--r-- 157.7 KB
manifest.mli -rw-r--r-- 53.3 KB
manifezt.sh -rwxr-xr-x 1016 bytes
product_ciao.ml -rw-r--r-- 1.1 KB
product_ciao.mli -rw-r--r-- 640 bytes
product_client_libs.ml -rw-r--r-- 3.2 KB
product_client_libs.mli -rw-r--r-- 640 bytes
product_etherlink.ml -rw-r--r-- 7.9 KB
product_etherlink.mli -rw-r--r-- 640 bytes
product_octez.ml -rw-r--r-- 235.7 KB
product_octez.mli -rw-r--r-- 2.5 KB
product_tooling.ml -rw-r--r-- 2.5 KB
product_tooling.mli -rw-r--r-- 640 bytes
tezos_protocol.ml -rw-r--r-- 1.7 KB

README.md

back to top