Skip to content

Tmc: Added support for generation of promela objects required by promela...

Rafal Babski requested to merge feature-n7s-tmcc#656-tmc-support-for-power into master

Tmc: Added support for generation of promela objects required by promela generated by sdl2promela, it is used to provide support for power builtin in SDL

Merge request reports