https://gitlab.com/tezos/tezos
Revision 6046ff48471b14c3190e2f9a23b819bf70e93bbd authored by Marge Bot on 15 December 2023, 16:16:43 UTC, committed by Marge Bot on 15 December 2023, 16:16:43 UTC
Co-authored-by: Nikolay Yakimov <root@livid.pp.ru>

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

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10982
2 parent s b652760 + 32c0627
History
Tip revision: 6046ff48471b14c3190e2f9a23b819bf70e93bbd authored by Marge Bot on 15 December 2023, 16:16:43 UTC
Merge tezos/tezos!10982: MIR: Add EXEC instruction
Tip revision: 6046ff4
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