Revision a56f563e
Added by Lélio Brun over 3 years ago
| src/machine_code_types.mli | ||
|---|---|---|
| 66 | 66 |
type machine_spec = {
|
| 67 | 67 |
mnode_spec : mc_contract_t node_spec_t option; |
| 68 | 68 |
mtransitions : mc_transition_t list; |
| 69 |
mmemory_packs : mc_memory_pack_t list; |
|
| 69 |
mmemory_packs : int * mc_memory_pack_t list;
|
|
| 70 | 70 |
} |
| 71 | 71 |
|
| 72 | 72 |
type machine_t = {
|
Also available in: Unified diff
more compact assign clauses for state variables, and remove useless memory pack predicates and assertions