New module for generating abstract SCCharts out of Blech code.

boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.

Apache License 2.0

72 stars 5 forks source link

Closed dalu2104 closed 2 years ago

dalu2104 commented 2 years ago

New module for generating abstract SCCharts out of Blech code.

Usage is explained in the README file.

Signed-off-by: Daniel Lucas daniel.lucas94@web.de