Claudio Gomes a6460bd560 added powerbonds and editor to solve crashing reflective editor 6 年之前
..
.settings cfe57f54cc generation of hints, reause loaded fmus, and analytical solution 6 年之前
META-INF cfe57f54cc generation of hints, reause loaded fmus, and analytical solution 6 年之前
src cabd61e0c8 integration with most recent contract language 6 年之前
.classpath db407069b3 fixed build. Added contract lang model code as dependency (this is ugly, but better than depending on xtext). 6 年之前
.project cfe57f54cc generation of hints, reause loaded fmus, and analytical solution 6 年之前
build.properties 4c9bea782d updated contral lang classes 6 年之前
plugin.properties cfe57f54cc generation of hints, reause loaded fmus, and analytical solution 6 年之前
plugin.xml cfe57f54cc generation of hints, reause loaded fmus, and analytical solution 6 年之前
pom.xml a6460bd560 added powerbonds and editor to solve crashing reflective editor 6 年之前