https://gitlab.com/tezos/tezos
Revision c91d1c9e6a42a267c9c3f0dc24292bf7fbec423e authored by iguerNL@Functori on 19 July 2022, 16:19:21 UTC, committed by iguerNL@Functori on 25 July 2022, 14:18:51 UTC
1 parent b6da608
History
Tip revision: c91d1c9e6a42a267c9c3f0dc24292bf7fbec423e authored by iguerNL@Functori on 19 July 2022, 16:19:21 UTC
Proto/Scoru: re-design the way the proof sliding window is handled
Tip revision: c91d1c9
File Mode Size
.github
.gitlab
_coverage_output
devtools
docs
emacs
manifest
opam
script-inputs
scripts
src
tests_python
tezt
vendors
.dockerignore -rw-r--r-- 918 bytes
.gitattributes -rw-r--r-- 369 bytes
.gitignore -rw-r--r-- 1.0 KB
.gitlab-ci.yml -rw-r--r-- 3.1 KB
.npmrc -rw-r--r-- 125 bytes
.ocamlformat -rw-r--r-- 390 bytes
.pylintrc -rw-r--r-- 17.5 KB
CHANGES.rst -rw-r--r-- 1.3 KB
CODEOWNERS -rw-r--r-- 3.7 KB
Dockerfile -rw-r--r-- 4.6 KB
LICENSE -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 13.9 KB
README.md -rw-r--r-- 3.1 KB
build.Dockerfile -rw-r--r-- 1.1 KB
contributing.md -rw-r--r-- 2.2 KB
dune -rw-r--r-- 548 bytes
dune-project -rw-r--r-- 9.4 KB
dune-workspace -rw-r--r-- 510 bytes
package-lock.json -rw-r--r-- 871 bytes
package.json -rw-r--r-- 335 bytes
poetry.lock -rw-r--r-- 71.8 KB
pyproject.toml -rw-r--r-- 1.3 KB
rust-toolchain -rw-r--r-- 6 bytes

README.md

back to top