Dominik Tesch 00be1ea4fa added sct-unit and sct-model for issue 278 ( No action executed on 9 年之前
..
FinalState.cc 00be1ea4fa added sct-unit and sct-model for issue 278 ( No action executed on 9 年之前
FinalState.sgen 95e929068b added functionallity for is_active and is_final to C generator 10 年之前