GitHub - eventB-Soton/iUML_B_StateMachineAnimation1: Animation of iUML-B StateMachine diagrams based on ProB

eventB-Soton / iUML_B_StateMachineAnimation1 Public

Animation of iUML-B StateMachine diagrams based on ProB

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 125 Commits
.mvn		.mvn
ac.soton.eventb.statemachines.animation.branding		ac.soton.eventb.statemachines.animation.branding
ac.soton.eventb.statemachines.animation.feature		ac.soton.eventb.statemachines.animation.feature
ac.soton.eventb.statemachines.animation.releng		ac.soton.eventb.statemachines.animation.releng
ac.soton.eventb.statemachines.animation.sdk		ac.soton.eventb.statemachines.animation.sdk
ac.soton.eventb.statemachines.animation		ac.soton.eventb.statemachines.animation
.gitignore		.gitignore
.travis.yml		.travis.yml
pom.xml		pom.xml