GitHub - evdenis/animate: Simple tool to randomly animate Event-B models based on ProB.

evdenis / animate Public

Simple tool to randomly animate Event-B models based on ProB.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
.github/workflows		.github/workflows
gradle/wrapper		gradle/wrapper
src/main/java/animate		src/main/java/animate
.gitignore		.gitignore
build.gradle		build.gradle
gradlew		gradlew
gradlew.bat		gradlew.bat