search

GaloisInc / AMIDOL

Scientific model creation toolset.
BSD 3-Clause "New" or "Revised" License
12 stars 4 forks source link

Standardization of the IR #3

Open ewdavis opened 5 years ago

ewdavis commented 5 years ago

Standardize the AMIDOL IR to match the design documents.

Initial tasks should target standardizing the way VDSOLs are translated into the AMIDOL IR, and the implementation of the composition operator as a means of composing translated elements in the VDSOL into a single IR representation.