https://gitlab.com/tezos/tezos
Revision c5eec9ea659c51b15dc97c5158eed3e49fe94a1d authored by Marge Bot on 15 December 2023, 14:48:24 UTC, committed by Marge Bot on 15 December 2023, 14:48:24 UTC
Co-authored-by: Nikolay Yakimov <root@livid.pp.ru>

Approved-by: Diogo Castro <dc@diogocastro.com>
Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com>
Approved-by: Thomas Letan <lthms@nomadic-labs.com>
Approved-by: Konstantin Ivanov <martoon.hsk@gmail.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10952
2 parent s d6d26a9 + 7bb6a88
History
Tip revision: c5eec9ea659c51b15dc97c5158eed3e49fe94a1d authored by Marge Bot on 15 December 2023, 14:48:24 UTC
Merge tezos/tezos!10952: MIR: lambda type and values
Tip revision: c5eec9e
File Mode Size
.cargo
.github
.gitlab
_coverage_output
contrib
devtools
docs
emacs
etherlink
manifest
michelson_test_scripts
nix
opam
script-inputs
scripts
src
tezt
tzt_reference_test_suite
vendors
.dockerignore -rw-r--r-- 2.1 KB
.gitattributes -rw-r--r-- 369 bytes
.gitignore -rw-r--r-- 2.8 KB
.gitlab-ci.yml -rw-r--r-- 9.0 KB
.npmrc -rw-r--r-- 62 bytes
.ocamlformat -rw-r--r-- 388 bytes
.pylintrc -rw-r--r-- 17.4 KB
CHANGES.rst -rw-r--r-- 3.1 KB
CODEOWNERS -rw-r--r-- 4.8 KB
Dockerfile -rw-r--r-- 4.5 KB
LICENSE -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 19.5 KB
README.md -rw-r--r-- 3.5 KB
build.Dockerfile -rw-r--r-- 3.3 KB
contributing.md -rw-r--r-- 2.2 KB
default.nix -rw-r--r-- 3.3 KB
dune -rw-r--r-- 903 bytes
dune-project -rw-r--r-- 6.3 KB
dune-workspace -rw-r--r-- 509 bytes
kernels.mk -rw-r--r-- 6.2 KB
package-lock.json -rw-r--r-- 1.3 KB
package.json -rw-r--r-- 376 bytes
poetry.lock -rw-r--r-- 59.5 KB
pyproject.toml -rw-r--r-- 1.0 KB
rust-toolchain -rw-r--r-- 7 bytes
shell.nix -rw-r--r-- 3.7 KB

README.md

back to top