Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
po_hi_c
ocarina-backends-po_hi_c-activity.adb
Find file
Blame
History
Permalink
extends activity.c to support the implementation of many transitions in the BA of a thread
· dfe3fcf7
bouazizrahma
authored
Sep 10, 2019
dfe3fcf7