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