https://gitlab.com/tezos/tezos
Revision 2e662ab35de975cc5b11f21f45a3ea235e8d54df authored by Nikolay Yakimov on 23 November 2023, 15:32:15 UTC, committed by Nikolay Yakimov on 23 November 2023, 15:32:15 UTC
Leads to around 10% improvement when parsing the Vote contract according
to ad-hoc tests.
1 parent 113c6bd
History
Tip revision: 2e662ab35de975cc5b11f21f45a3ea235e8d54df authored by Nikolay Yakimov on 23 November 2023, 15:32:15 UTC
MIR: reduce parser allocations for common cases
Tip revision: 2e662ab
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.3 KB
README.md -rw-r--r-- 1.1 KB
main.ml -rw-r--r-- 258.4 KB
main.mli -rw-r--r-- 2.1 KB
manifest.ml -rw-r--r-- 137.9 KB
manifest.mli -rw-r--r-- 50.9 KB
tezos_protocol.ml -rw-r--r-- 1.7 KB

README.md

back to top