Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README.md | 2017-07-23 | 803 Bytes | |
| ch.ethz.eventb.qualprob_0.2.4.zip | 2017-07-23 | 100.5 kB | |
| ch.ethz.eventb.qualprob.ui.source_0.1.1.release.jar | 2017-07-23 | 7.9 kB | |
| ch.ethz.eventb.qualprob.ui_0.1.1.release.jar | 2017-07-23 | 10.5 kB | |
| ch.ethz.eventb.qualprob.branding.source_0.0.1.release.jar | 2017-07-23 | 8.0 kB | |
| ch.ethz.eventb.qualprob.source_0.2.2.release.jar | 2017-07-23 | 28.4 kB | |
| ch.ethz.eventb.qualprob.branding_0.0.1.release.jar | 2017-07-23 | 3.4 kB | |
| ch.ethz.eventb.qualprob_0.2.2.release.jar | 2017-07-23 | 42.8 kB | |
| ch.ethz.eventb.qualprob.sdk_0.2.4.release.jar | 2017-07-23 | 3.7 kB | |
| ch.ethz.eventb.qualprob.source_0.2.4.release.jar | 2017-07-23 | 439 Bytes | |
| ch.ethz.eventb.qualprob_feature_0.2.4.release.jar | 2017-07-23 | 3.8 kB | |
| Totals: 11 Items | 210.2 kB | 0 | |
Event-B Qualitative Probability Package
This package provides supports for qualitative probability reasoning (termination with probability 1). There are different bundles for the package can be installed via the update site (RODIN sourceforge update site).
-
ch.ethz.eventb.qualprob_feature_x.x.x.x.jar The basic feature containing the binary build of the package.
-
ch.ethz.eventb.qualprob.sdk_x.x.x.x.jar The SDK feature containing the source code and tests used for development.
The complete source code of the package can be downloaded as a zip file ch.ethz.eventb.qualprob_x.x.x.zip
Release History
Version 0.2.4 - Branding
- Branding 0.0.1: Initial version
Version 0.2.3
- Publish the SDK feature of the package.
