search

jeannin / zelus

A synchronous language with ODEs
http://zelus.di.ens.fr
Other
0 stars 4 forks source link

[Summer] Create a custom data type data structure and environment #18

Closed jlvargasme closed 2 years ago

jlvargasme commented 2 years ago

The current implementation does not have an environment to hold custom data types defined in MARVLus.

Goal: Create a custom data type environment to hold the custom data type

The environment will be a map [string, custom type data structure], where "string" will be the custom data type alias, and the custom data type structure will be defined as below,

custom_t { string base_type; string reference_variable; z3_expression Phi(reference_variable); }

[Harder task] - Create a custom data type data structure and an environment to hold these data structures

jchen-cs commented 2 years ago

52