Add a generation tool for the context simulation
requested to merge guillaume-claret@399-generate-the-description-of-the-store-from-a-json-file into master
Fixes #399 (closed)
In this MR there is the beginning of a tool to generate the content of the file https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/simulations/context/
The goal is to both:
- complete the
contextvariable at the beginning to include all the stores in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/storage - complete and plug the generation script
For now, we identify the various kinds of sub-stores into three possible shapes:
Single_data_storageIndexed_data_storageData_set_storage
Additionally, in some cases the context can be indexed.
Edited by Guillaume Claret