GitHub - alighanbari2002/Afra: Afra is an integrated development environment for modeling and verifying Rebeca family designs.

alighanbari2002 / Afra Public

forked from rebeca-lang/org.rebecalang.afra

Afra is an integrated development environment for modeling and verifying Rebeca family designs.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 88 Commits
.circleci		.circleci
.github/workflows		.github/workflows
org.rebecalang.afra.feature		org.rebecalang.afra.feature
org.rebecalang.afra.ideplugin		org.rebecalang.afra.ideplugin
org.rebecalang.afra.repository		org.rebecalang.afra.repository
org.rebecalang.afra.target		org.rebecalang.afra.target
pom.xml		pom.xml