Download List

Project Description

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

System Requirements

Operating System: OS Independent

Download Package list

Latest 5 files
Name Size Date Download count
org.rodinp.dev-3.7.0-RC1-d4c7516b4.zip 197.7 MB 2022-03-10 16:56 0
README.md 0.4 KB 2022-03-10 09:47 0
rodin-3.7.0.202203092315-RC1-d4c7516b4-win32.win32.x86_64.zip 105.0 MB 2022-03-10 09:44 1
rodin-3.7.0.202203092315-RC1-d4c7516b4-linux.gtk.x86_64.tar.gz 101.2 MB 2022-03-10 09:24 0
rodin-3.7.0.202203092315-RC1-d4c7516b4-macosx.cocoa.x86_64.tar.gz 101.4 MB 2022-03-10 09:04 1
All Files
Core_Rodin_Platform
3.7-RC1
org.rodinp.dev-3.7.0-RC1-d4c7516b4.zip197.7 MB2022-03-10 16:560
README.md0.4 KB2022-03-10 09:470
rodin-3.7.0.202203092315-RC1-d4c7516b4-win32.win32.x86_64.zip105.0 MB2022-03-10 09:441
rodin-3.7.0.202203092315-RC1-d4c7516b4-linux.gtk.x86_64.tar.gz101.2 MB2022-03-10 09:240
rodin-3.7.0.202203092315-RC1-d4c7516b4-macosx.cocoa.x86_64.tar.gz101.4 MB2022-03-10 09:041
3.6
README.md0.4 KB2021-05-13 01:000
org.rodinp.dev-3.6.0-77c344946.zip193.1 MB2021-05-13 00:560
rodin-3.6.0.202105121522-77c344946-win32.win32.x86_64.zip97.9 MB2021-05-13 00:520
rodin-3.6.0.202105121522-77c344946-linux.gtk.x86_64.tar.gz97.2 MB2021-05-13 00:481
rodin-3.6.0.202105121522-77c344946-macosx.cocoa.x86_64.tar.gz97.1 MB2021-05-13 00:481
3.6-RC1
README.md0.4 KB2021-03-09 23:560
rodin-3.6.0.202103091333-RC1-9b93bd7db-dirty-win32.win32.x86_64.zip97.9 MB2021-03-09 23:282
rodin-3.6.0.202103091333-RC1-9b93bd7db-dirty-macosx.cocoa.x86_64.tar.gz97.1 MB2021-03-09 23:270
org.rodinp.dev-3.6.0-RC1-9b93bd7db-dirty.zip193.1 MB2021-03-09 23:270
rodin-3.6.0.202103091333-RC1-9b93bd7db-dirty-linux.gtk.x86_64.tar.gz97.2 MB2021-03-09 23:260
3.5
README.md1.8 KB2020-11-10 23:370
org.rodinp.dev-3.5.0-9f39f1653.zip192.0 MB2020-11-10 22:390
org.rodinp.dev-3.5.0-74e0e4188.zip97.1 MB2020-09-11 22:140
rodin-3.5.0.202009111309-74e0e4188-macosx.cocoa.x86_64.tar.gz96.2 MB2020-09-11 22:101
rodin-3.5.0.202009111309-74e0e4188-win32.win32.x86_64.zip99.6 MB2020-09-11 22:100
rodin-3.5.0.202009111309-74e0e4188-linux.gtk.x86_64.tar.gz96.0 MB2020-09-11 22:100
3.5-RC1
README.md0.2 KB2020-08-24 18:090
rodin-3.5.0.202008240847-RC1-051cd6820-win32.win32.x86_64.zip99.6 MB2020-08-24 18:090
org.rodinp.dev-3.5.0-RC1-051cd6820.zip97.1 MB2020-08-24 18:090
rodin-3.5.0.202008240847-RC1-051cd6820-linux.gtk.x86_64.tar.gz96.0 MB2020-08-24 18:050
rodin-3.5.0.202008240847-RC1-051cd6820-macosx.cocoa.x86_64.tar.gz96.2 MB2020-08-24 18:050
Plugin_SMT_Solvers
1.5.0
plugins
org.eventb.smt.z3.linux_4.5.0.c5fa8c25.jar8.2 MB2022-01-15 01:382
org.eventb.smt.verit.win32_1.1.0.c5fa8c25.jar3.7 MB2022-01-15 01:350
org.eventb.smt.cvc3.win32_2.4.1.c5fa8c25.jar3.8 MB2022-01-15 01:320
org.eventb.smt.z3.macosx_4.5.0.c5fa8c25.jar7.0 MB2022-01-15 01:290
org.eventb.smt.z3.win32_4.5.0.c5fa8c25.jar5.4 MB2022-01-15 01:280
org.eventb.smt.z3.plugin_4.5.0.c5fa8c25.jar2.0 KB2022-01-15 01:260
org.eventb.smt.cvc4.win32_1.5.0.c5fa8c25.jar5.4 MB2022-01-15 01:230
org.eventb.smt.verit.plugin_1.1.0.c5fa8c25.jar2.3 KB2022-01-15 01:230
org.eventb.smt.verit.macosx_1.1.0.c5fa8c25.jar486.4 KB2022-01-15 01:230
org.eventb.smt.verit.linux_1.1.0.c5fa8c25.jar904.3 KB2022-01-15 01:230
org.eventb.smt.ui_1.3.0.c5fa8c25.jar61.3 KB2022-01-15 01:230
org.eventb.smt.plugin_1.5.0.c5fa8c25.jar5.6 KB2022-01-15 01:230
org.eventb.smt.help_1.2.0.c5fa8c25.jar1.4 MB2022-01-15 01:230
org.eventb.smt.cvc4.macosx_1.5.0.c5fa8c25.jar5.0 MB2022-01-15 01:220
org.eventb.smt.cvc4.plugin_1.5.0.c5fa8c25.jar2.7 KB2022-01-15 01:220
org.eventb.smt.cvc4.linux_1.5.0.c5fa8c25.jar6.6 MB2022-01-15 01:220
org.eventb.smt.cvc3.linux_2.4.1.c5fa8c25.jar3.0 MB2022-01-15 01:180
org.eventb.smt.cvc3.plugin_2.4.1.c5fa8c25.jar2.3 KB2022-01-15 01:180
org.eventb.smt.cvc3.macosx_2.4.1.c5fa8c25.jar2.6 MB2022-01-15 01:180
org.eventb.smt.core_1.4.0.c5fa8c25.jar169.3 KB2022-01-15 01:170
features
org.eventb.smt.cvc4_1.5.0.c5fa8c25.jar2.6 KB2022-01-15 01:160
org.eventb.smt.verit_1.1.0.c5fa8c25.jar2.3 KB2022-01-15 01:160
org.eventb.smt.z3_4.5.0.c5fa8c25.jar2.1 KB2022-01-15 01:160
org.eventb.smt_1.5.0.c5fa8c25.jar13.5 KB2022-01-15 01:160
org.eventb.smt.cvc3_2.4.1.c5fa8c25.jar2.3 KB2022-01-15 01:160
content.jar16.8 KB2022-01-15 01:160
p2.index0.2 KB2022-01-15 01:160
artifacts.jar3.1 KB2022-01-15 01:160
artifacts.xml.xz2.7 KB2022-01-15 01:160
content.xml.xz9.4 KB2022-01-15 01:160
Plugin_Theory
4.0.3
features
org.eventb.theory.feature_4.0.3.202109291238-c05ee62.jar12.1 KB2021-09-29 21:510
plugins
org.eventb.theory.ui_3.0.0.202109291238-c05ee62.jar276.2 KB2021-09-29 21:510
org.eventb.theory.rbp_4.0.3.202109291238-c05ee62.jar149.8 KB2021-09-29 21:510
org.eventb.theory.help_2.0.0.202109291238-c05ee62.jar495.2 KB2021-09-29 21:500
org.eventb.theory.keyboard_0.1.0.202109291238-c05ee62.jar2.8 KB2021-09-29 21:500
org.eventb.theory.core_4.0.3.202109291238-c05ee62.jar444.5 KB2021-09-29 21:500
org.eventb.core.ast.extensions_4.0.2.202109291238-c05ee62.jar104.1 KB2021-09-29 21:500
org.eventb.theory.branding_4.0.2.202109291238-c05ee62.jar9.4 KB2021-09-29 21:500
p2.index0.2 KB2021-09-29 21:500
content.jar6.5 KB2021-09-29 21:500
content.xml.xz5.5 KB2021-09-29 21:500
artifacts.jar1.5 KB2021-09-29 21:500
artifacts.xml.xz1.3 KB2021-09-29 21:500
4.0.2
features
org.eventb.theory.feature_4.0.2.202106040825-0ae9143.jar12.1 KB2021-06-04 21:060
plugins
org.eventb.theory.ui_3.0.0.202106040825-0ae9143.jar276.2 KB2021-06-04 21:050
org.eventb.theory.rbp_4.0.2.202106040825-0ae9143.jar151.5 KB2021-06-04 21:050
org.eventb.theory.core_4.0.2.202106040825-0ae9143.jar444.5 KB2021-06-04 21:050
org.eventb.theory.help_2.0.0.202106040825-0ae9143.jar495.2 KB2021-06-04 21:050
org.eventb.theory.keyboard_0.1.0.202106040825-0ae9143.jar2.8 KB2021-06-04 21:050
org.eventb.core.ast.extensions_4.0.2.202106040825-0ae9143.jar104.1 KB2021-06-04 21:050
org.eventb.theory.branding_4.0.2.202106040825-0ae9143.jar9.4 KB2021-06-04 21:050
content.jar8.8 KB2021-06-04 21:050
content.xml.xz5.5 KB2021-06-04 21:050
artifacts.jar1.5 KB2021-06-04 21:050
p2.index0.2 KB2021-06-04 21:050
artifacts.xml.xz1.3 KB2021-06-04 21:050
4.0.1
plugins
org.eventb.theory.ui_3.0.0.202012221310-62dfc9a.jar276.2 KB2020-12-22 23:090
org.eventb.theory.rbp_4.0.0.202012221310-62dfc9a.jar151.2 KB2020-12-22 23:090
org.eventb.theory.help_2.0.0.202012221310-62dfc9a.jar495.2 KB2020-12-22 23:090
org.eventb.theory.keyboard_0.0.1.202012221310-62dfc9a.jar2.9 KB2020-12-22 23:091
org.eventb.theory.core_4.0.0.202012221310-62dfc9a.jar444.6 KB2020-12-22 23:080
org.eventb.core.ast.extensions_4.0.0.202012221310-62dfc9a.jar104.1 KB2020-12-22 23:080
org.eventb.theory.branding_3.0.1.202012221310-62dfc9a.jar9.4 KB2020-12-22 23:080
features
org.eventb.theory.feature_4.0.1.202012221310-62dfc9a.jar12.1 KB2020-12-22 23:080
p2.index0.2 KB2020-12-22 23:050
artifacts.xml.xz1.4 KB2020-12-22 23:050
content.xml.xz5.5 KB2020-12-22 23:050
Theory_StdLib
StandardTheory0.2.1.zip330.2 KB2021-07-09 15:560
README0.3 KB2021-07-09 15:560
Core_Update_Site
p2.index0.1 KB2021-05-17 20:500
compositeArtifacts.jar0.5 KB2021-05-17 20:500
compositeContent.jar0.5 KB2021-05-17 20:501
3.6
features
org.rodinp.platform_3.6.0.202105121522-77c344946.jar14.2 KB2021-05-17 19:251
fr.systerel.editor_0.10.0.202105121522-77c344946.jar11.5 KB2021-05-17 19:250
org.rodinp_1.9.0.202105121522-77c344946.jar13.9 KB2021-05-17 19:250
org.rodinp.handbook.feature_2.5.0.201606291411.jar2.6 KB2021-05-17 19:250
org.eventb.ide_3.6.0.202105121522-77c344946.jar14.1 KB2021-05-17 19:250
plugins
org.rodinp.handbook_2.5.0.201606291411.jar9.0 MB2021-05-17 19:240
org.rodinp.keyboard.ui_2.3.0.202105121522-77c344946.jar57.8 KB2021-05-17 19:230
org.rodinp.platform_3.6.0.202105121522-77c344946.jar189.0 KB2021-05-17 19:230
org.rodinp.core.emf_1.3.0.202105121522-77c344946.jar99.2 KB2021-05-17 19:230
org.rodinp.keyboard.core_2.2.0.202105121522-77c344946.jar19.4 KB2021-05-17 19:230
org.eventb.pp_0.9.0.202105121522-77c344946.jar323.3 KB2021-05-17 19:230
org.rodinp.core_1.9.0.202105121522-77c344946.jar514.8 KB2021-05-17 19:230
org.eventb.ui_3.5.0.202105121522-77c344946.jar1.6 MB2021-05-17 19:230
org.eventb.ui.symboltable_1.3.0.202105121522-77c344946.jar26.8 KB2021-05-17 19:230
org.rodinp_1.8.1.202105121522-77c344946.jar3.5 KB2021-05-17 19:230
org.eventb.keyboard_1.0.1.202105121522-77c344946.jar274.0 KB2021-05-17 19:230
org.eventb.pptrans_0.9.0.202105121522-77c344946.jar65.8 KB2021-05-17 19:230
org.eclipse.equinox.simpleconfigurator_1.3.600.v20200721-1308.jar45.5 KB2021-05-17 19:231
org.eventb.pp.ui_0.3.0.202105121522-77c344946.jar10.9 KB2021-05-17 19:230
org.eventb.core.seqprover_3.4.0.202105121522-77c344946.jar1.1 MB2021-05-17 19:230
org.eventb.ide_3.2.0.202105121522-77c344946.jar8.4 KB2021-05-17 19:230
org.eventb.core.ast_3.5.0.202105121522-77c344946.jar680.5 KB2021-05-17 19:230
org.eventb.core_3.5.0.202105121522-77c344946.jar808.7 KB2021-05-17 19:230
org.eclipse.equinox.common_3.14.0.v20201102-2053.jar139.1 KB2021-05-17 19:230
org.eclipse.equinox.ds_1.6.200.v20200422-1833.jar28.5 KB2021-05-17 19:230
org.eclipse.ui.views.log_1.2.1300.v20200926-2205.jar169.0 KB2021-05-17 19:230
fr.systerel.editor.help_0.6.0.202105121522-77c344946.jar461.5 KB2021-05-17 19:230
fr.systerel.explorer_2.3.0.202105121522-77c344946.jar163.2 KB2021-05-17 19:230
org.eclipse.core.runtime_3.20.0.v20201027-1526.jar71.7 KB2021-05-17 19:230
ch.ethz.eventb.keyboard.latex_1.0.1.202105121522-77c344946.jar4.0 KB2021-05-17 19:230
fr.systerel.editor_0.11.0.202105121522-77c344946.jar292.7 KB2021-05-17 19:230
binary
org.rodinp.platform.product.executable.cocoa.macosx.x86_64_3.6.0.202105121522-77c344946130.8 KB2021-05-17 19:220
org.rodinp.platform.product.executable.win32.win32.x86_64_3.6.0.202105121522-77c344946149.9 KB2021-05-17 19:220
org.rodinp.platform.product.executable.gtk.linux.x86_64_3.6.0.202105121522-77c34494626.0 KB2021-05-17 19:220
content.jar25.3 KB2021-05-17 19:220
content.xml.xz12.5 KB2021-05-17 19:220
artifacts.jar4.2 KB2021-05-17 19:220
artifacts.xml.xz3.7 KB2021-05-17 19:220
p2.index0.2 KB2021-05-17 19:220
3.5
artifacts.xml.xz3.6 KB2020-09-11 22:100
p2.index0.2 KB2020-09-11 22:100
artifacts.jar4.2 KB2020-09-11 22:100
binary
org.rodinp.platform.product.executable.cocoa.macosx.x86_64_3.5.0.202009111309-74e0e4188130.6 KB2020-09-11 22:100
org.rodinp.platform.product.executable.gtk.linux.x86_64_3.5.0.202009111309-74e0e418825.3 KB2020-09-11 22:100
org.rodinp.platform.product.executable.win32.win32.x86_64_3.5.0.202009111309-74e0e4188147.9 KB2020-09-11 22:100
content.jar19.0 KB2020-09-11 22:100
content.xml.xz12.6 KB2020-09-11 22:100
features
fr.systerel.editor_0.10.0.202009111309-74e0e4188.jar11.5 KB2020-09-11 22:100
org.eventb.ide_3.5.0.202009111309-74e0e4188.jar14.1 KB2020-09-11 22:100
org.rodinp_1.9.0.202009111309-74e0e4188.jar13.9 KB2020-09-11 22:100
org.rodinp.handbook.feature_2.5.0.201606291411.jar2.6 KB2020-09-11 22:100
org.rodinp.platform_3.5.0.202009111309-74e0e4188.jar14.2 KB2020-09-11 22:100
plugins
ch.ethz.eventb.keyboard.latex_1.0.1.202009111309-74e0e4188.jar4.0 KB2020-09-11 22:100
fr.systerel.editor_0.10.0.202009111309-74e0e4188.jar291.7 KB2020-09-11 22:100
fr.systerel.editor.help_0.6.0.202009111309-74e0e4188.jar461.5 KB2020-09-11 22:100
fr.systerel.explorer_2.2.0.202009111309-74e0e4188.jar162.4 KB2020-09-11 22:100
org.eclipse.core.runtime_3.18.0.v20200506-2143.jar72.1 KB2020-09-11 22:100
org.eclipse.equinox.common_3.12.0.v20200504-1602.jar126.9 KB2020-09-11 22:100
org.eclipse.equinox.ds_1.6.200.v20200422-1833.jar28.5 KB2020-09-11 22:100
org.eclipse.equinox.simpleconfigurator_1.3.500.v20200211-1505.jar44.9 KB2020-09-11 22:100
org.eclipse.ui.views.log_1.2.1100.v20200513-0930.jar169.2 KB2020-09-11 22:100
org.eventb.core_3.4.0.202009111309-74e0e4188.jar807.2 KB2020-09-11 22:100
org.eventb.core.ast_3.4.0.202009111309-74e0e4188.jar677.7 KB2020-09-11 22:100
org.eventb.core.seqprover_3.3.0.202009111309-74e0e4188.jar1.1 MB2020-09-11 22:100
org.eventb.ide_3.1.0.202009111309-74e0e4188.jar8.4 KB2020-09-11 22:100
org.eventb.keyboard_1.0.1.202009111309-74e0e4188.jar274.0 KB2020-09-11 22:100
org.eventb.pp_0.9.0.202009111309-74e0e4188.jar323.3 KB2020-09-11 22:100
org.eventb.pptrans_0.9.0.202009111309-74e0e4188.jar65.7 KB2020-09-11 22:100
org.eventb.pp.ui_0.3.0.202009111309-74e0e4188.jar10.8 KB2020-09-11 22:100
org.eventb.ui_3.4.0.202009111309-74e0e4188.jar1.6 MB2020-09-11 22:100
org.eventb.ui.symboltable_1.3.0.202009111309-74e0e4188.jar26.9 KB2020-09-11 22:100
org.rodinp_1.8.1.202009111309-74e0e4188.jar3.5 KB2020-09-11 22:100
org.rodinp.core_1.8.0.202009111309-74e0e4188.jar512.8 KB2020-09-11 22:100
org.rodinp.core.emf_1.2.0.202009111309-74e0e4188.jar99.1 KB2020-09-11 22:100
org.rodinp.handbook_2.5.0.201606291411.jar9.0 MB2020-09-11 22:100
org.rodinp.keyboard.core_2.1.0.202009111309-74e0e4188.jar19.4 KB2020-09-11 22:100
org.rodinp.keyboard.ui_2.2.0.202009111309-74e0e4188.jar57.7 KB2020-09-11 22:100
org.rodinp.platform_3.5.0.202009111309-74e0e4188.jar187.9 KB2020-09-11 22:100
Plugin_iUML-B
iUMLB Documentor
1.0.0
ac.soton.eventb.documentor.branding_1.0.0.release.jar3.2 KB2019-02-21 18:400
ac.soton.eventb.documentor.branding.source_1.0.0.release.jar2.9 KB2019-02-21 18:400
ac.soton.eventb.documentor.source_1.0.0.release.jar14.4 KB2019-02-21 18:400
ac.soton.eventb.documentor_1.0.0.release.jar21.6 KB2019-02-21 18:400
ac.soton.eventb.documentor.feature_1.0.0.release.jar3.6 KB2019-02-21 18:400
ac.soton.eventb.documentor.sdk_1.0.0.release.jar3.3 KB2019-02-21 18:400
ac.soton.eventb.documentor.source.feature_1.0.0.release.jar0.4 KB2019-02-21 18:400
readme.txt0.4 KB2019-02-21 18:390
iUMLB Class-Diagrams
readme.txt3.9 KB2019-01-23 01:046
2.0.1
ac.soton.eventb.classdiagrams.source_2.0.1.release.jar50.4 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams_2.0.1.release.jar78.6 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.source.feature_2.0.1.release.jar0.5 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.feature_2.0.1.release.jar5.1 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.sdk_2.0.1.release.jar3.4 KB2019-01-23 01:020
iUMLB State-Machines Animation
readme.txt1.1 KB2019-01-08 23:379
2.5.0
ac.soton.eventb.statemachines.animation.source.feature_2.5.0.release.jar0.5 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation_2.5.0.release.jar26.9 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.source_2.5.0.release.jar14.9 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.sdk_2.5.0.release.jar3.4 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.feature_2.5.0.release.jar4.0 KB2019-01-08 23:230
Plugin_EMF Inclusion
README.md1.5 KB2019-02-17 01:020
Plugin_CODA
CODA Oracle
readme.txt0.8 KB2019-02-13 23:530
1.2.1
ac.soton.eventb.emf.oracle.source.feature_1.2.1.release.jar2.2 KB2019-02-13 23:520
ac.soton.eventb.emf.oracle.feature_1.2.1.release.jar5.1 KB2019-02-13 23:520
ac.soton.eventb.emf.oracle.sdk_1.2.1.release.jar4.9 KB2019-02-13 23:520
1.2.0
ac.soton.eventb.emf.oracle.source_1.2.0.release.jar29.0 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.editor_1.1.0.release.jar64.4 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.editor.source_1.1.0.release.jar21.0 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.edit.source_1.2.0.release.jar16.4 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.branding.source_1.0.1.release.jar3.1 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.edit_1.2.0.release.jar25.5 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle_1.2.0.release.jar36.9 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.branding_1.0.1.release.jar3.9 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.source.feature_1.2.0.release.jar2.2 KB2018-12-10 16:360
ac.soton.eventb.emf.oracle.sdk_1.2.0.release.jar3.3 KB2018-12-10 16:360
ac.soton.eventb.emf.oracle.feature_1.2.0.release.jar5.2 KB2018-12-10 16:360
CODA Simulator
readme.txt1.4 KB2019-02-13 23:500
3.0.1
ac.soton.coda.simulator.sdk_3.0.1.release.jar4.8 KB2019-02-13 23:490
ac.soton.coda.simulator.source.feature_3.0.1.release.jar2.2 KB2019-02-13 23:490
ac.soton.coda.simulator.feature_3.0.1.release.jar5.5 KB2019-02-13 23:490
3.0.0
ac.soton.coda.simulator_3.0.0.release.jar134.3 KB2019-01-08 23:450
ac.soton.coda.simulator.source_3.0.0.release.jar30.0 KB2019-01-08 23:450
ac.soton.coda.simulator.source.feature_3.0.0.release.jar2.2 KB2019-01-08 23:450
ac.soton.coda.simulator.feature_3.0.0.release.jar5.6 KB2019-01-08 23:450
ac.soton.coda.simulator.sdk_3.0.0.release.jar4.9 KB2019-01-08 23:450
2.2.0
ac.soton.coda.simulator.ui_2.1.0.release.jar131.7 KB2018-12-10 16:160
ac.soton.coda.simulator.ui.source_2.1.0.release.jar28.0 KB2018-12-10 16:160
ac.soton.coda.simulator.branding_1.0.1.release.jar3.8 KB2018-12-10 16:160
ac.soton.coda.simulator.branding.source_1.0.1.release.jar3.1 KB2018-12-10 16:160
ac.soton.coda.simulator.sdk_2.2.0.release.jar4.9 KB2018-12-10 16:161
ac.soton.coda.simulator.source.feature_2.2.0.release.jar2.2 KB2018-12-10 16:160
ac.soton.coda.simulator.feature_2.2.0.release.jar5.4 KB2018-12-10 16:160
CODA UI
readme.txt0.8 KB2019-02-13 23:480
0.1.1
ac.soton.coda.ui.sdk_0.1.1.release.jar4.8 KB2019-02-13 22:570
ac.soton.coda.ui.source.feature_0.1.1.release.jar2.2 KB2019-02-13 22:570
ac.soton.coda.ui.feature_0.1.1.release.jar5.1 KB2019-02-13 22:570
0.1.0
ac.soton.coda.ui.branding.source_0.0.2.release.jar3.1 KB2019-01-08 23:570
ac.soton.coda.ui.source_0.1.0.release.jar1.9 KB2019-01-08 23:570
ac.soton.coda.ui_0.1.0.release.jar3.3 KB2019-01-08 23:570
ac.soton.coda.ui.branding_0.0.2.release.jar3.8 KB2019-01-08 23:570
ac.soton.coda.ui.sdk_0.1.0.release.jar4.9 KB2019-01-08 23:570
ac.soton.coda.ui.source.feature_0.1.0.release.jar2.2 KB2019-01-08 23:570
ac.soton.coda.ui.feature_0.1.0.release.jar5.2 KB2019-01-08 23:570
CODA Component Diagrams
6.0.1
ac.soton.eventb.emf.components.generator_5.0.1.release.jar67.6 KB2019-02-12 08:240
ac.soton.eventb.emf.components.generator.source_5.0.1.release.jar42.9 KB2019-02-12 08:240
ac.soton.eventb.emf.components.sdk_6.0.1.release.jar3.4 KB2019-02-12 08:240
ac.soton.eventb.emf.components.feature_6.0.1.release.jar7.6 KB2019-02-12 08:240
ac.soton.eventb.emf.components.source.feature_6.0.1.release.jar2.3 KB2019-02-12 08:240
readme.txt7.7 KB2019-02-12 08:221
6.0.0
ac.soton.eventb.emf.components_6.0.0.release.jar168.4 KB2018-12-10 15:345
ac.soton.eventb.emf.components.source_6.0.0.release.jar118.6 KB2018-12-10 15:330
ac.soton.eventb.emf.components.persistence.source_2.1.0.release.jar2.4 KB2018-12-10 15:330
ac.soton.eventb.emf.components.navigator_3.3.0.release.jar14.7 KB2018-12-10 15:330
ac.soton.eventb.emf.components.navigator.source_3.3.0.release.jar9.7 KB2018-12-10 15:330
ac.soton.eventb.emf.components.persistence_2.1.0.release.jar3.5 KB2018-12-10 15:330
ac.soton.eventb.emf.components.generator_5.0.0.release.jar67.6 KB2018-12-10 15:331
ac.soton.eventb.emf.components.generator.source_5.0.0.release.jar42.9 KB2018-12-10 15:330
ac.soton.eventb.emf.components.edit.source_6.0.0.release.jar60.0 KB2018-12-10 15:330
ac.soton.eventb.emf.components.edit_6.0.0.release.jar132.8 KB2018-12-10 15:330
ac.soton.eventb.emf.components.doc_0.0.1.release.jar4.3 MB2018-12-10 15:320
ac.soton.eventb.emf.components.doc.source_0.0.1.release.jar0.6 KB2018-12-10 15:320
ac.soton.eventb.emf.components.diagram_6.0.0.release.jar894.8 KB2018-12-10 15:320
ac.soton.eventb.emf.components.diagram.source_6.0.0.release.jar436.8 KB2018-12-10 15:320
ac.soton.eventb.emf.components.branding_1.1.0.release.jar3.6 KB2018-12-10 15:320
ac.soton.eventb.emf.components.branding.source_1.1.0.release.jar3.4 KB2018-12-10 15:320
ac.soton.eventb.emf.components.sdk_6.0.0.release.jar3.4 KB2018-12-10 15:320
ac.soton.eventb.emf.components.source.feature_6.0.0.release.jar2.2 KB2018-12-10 15:320
ac.soton.eventb.emf.components.feature_6.0.0.release.jar7.6 KB2018-12-10 15:320
CODA VHDL
0.0.5
ac.soton.coda.vhdl.source_0.1.0.release.jar112.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests_0.0.2.release.jar38.2 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests.source_0.0.2.release.jar44.7 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.tests_0.0.2.release.jar8.2 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.tests.source_0.0.2.release.jar7.1 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator_0.0.6.release.jar95.6 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.source_0.0.6.release.jar62.7 KB2019-02-12 02:230
ac.soton.coda.vhdl.edit.source_1.0.0.release.jar58.8 KB2019-02-12 02:230
ac.soton.coda.vhdl.edit_1.0.0.release.jar91.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.doc_0.0.2.release.jar333.1 KB2019-02-12 02:230
ac.soton.coda.vhdl_0.1.0.release.jar112.4 KB2019-02-12 02:230
ac.soton.coda.vhdl.branding.source_0.0.2.release.jar3.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.doc.source_0.0.2.release.jar0.6 KB2019-02-12 02:230
ac.soton.coda.vhdl.branding_0.0.2.release.jar4.0 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests.source.feature_0.0.5.release.jar2.2 KB2019-02-12 02:220
ac.soton.coda.vhdl.feature_0.0.5.release.jar5.4 KB2019-02-12 02:220
ac.soton.coda.vhdl.sdk_0.0.5.release.jar4.8 KB2019-02-12 02:220
ac.soton.coda.vhdl.source.feature_0.0.5.release.jar2.2 KB2019-02-12 02:220
ac.soton.coda.vhdl.tests.feature_0.0.5.release.jar4.9 KB2019-02-12 02:220
readme.txt3.4 KB2018-12-10 15:530
Plugin_Event-B EMF Support For Decomposition
readme.txt1.3 KB2018-12-10 17:020
0.1.0
ac.soton.eventb.emf.decomposition.source_0.1.0.release.jar17.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.navigator_0.1.0.release.jar8.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.navigator.source_0.1.0.release.jar4.7 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.edit_0.1.0.release.jar58.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.generator_0.1.0.release.jar26.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.generator.source_0.1.0.release.jar15.7 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.edit.source_0.1.0.release.jar29.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition_0.1.0.release.jar25.6 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.sdk_0.1.0.release.jar3.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.source.feature_0.1.0.release.jar0.5 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.feature_0.1.0.release.jar4.0 KB2018-12-10 17:010
Plugin_CamilleX
1.0.0
CamilleXUserManual_v1.0.0.pdf10.0 MB2018-11-13 23:210
ac.soton.xeventb.sdk_1.0.0.release.jar4.0 KB2018-11-13 17:370
ac.soton.xeventb.source.feature_1.0.0.release.jar0.5 KB2018-11-13 17:371
ac.soton.xeventb.tests.feature_1.0.0.release.jar4.0 KB2018-11-13 17:371