https://gitlab.com/tezos/tezos
History
Tip revision: 86cdb36c8e07f89948cf53dee7bf591cc4ceab58 authored by Marina Polubelova on 19 October 2023, 13:46:52 UTC
lib_plompiler: remove ignore_carry from addition
Tip revision: 86cdb36
File Mode Size
additional_registrations.ml -rw-r--r-- 3.9 KB
codec.ml -rw-r--r-- 7.3 KB
commands.ml -rw-r--r-- 15.0 KB
commands.mli -rw-r--r-- 1.9 KB
dune -rw-r--r-- 5.7 KB

back to top