improve-0.3.3: An imperative, verifiable programming language for high assurance applications.

Language.ImProve.Code

Synopsis

Documentation

data Target Source

Code generation targets.

Constructors

C 
Modelica 
Simulink 

Instances

code :: Target -> Name -> Statement -> IO ()Source

Generate target code.