Activity for Event-B Generic Instantiation
-
Son Hoang committed [r10]
Version 1.1.1 of Generic Instantiation plug-in
-
Event-B Generic Instantiation released /Plugin_GenInst/1.1.1/com.hitachi.geninst_1.1.1.zip
-
-
-
-
-
Version number 1.1.1
-
Fix a NPE for update to Rodin 3.1
-
Version number to 1.1.1
-
Updated to use EventB Utils 0.2.0
-
-
-
-
Home
-
<REDACTED> committed [58067e]
Deleted updatesite project
-
Kunmun Mandala committed [d753ce]
PO Generation implemented
-
ui fragment is removed and the functionality is...
-
Build issue has been fixed
-
instantiated context PO decorated
-
fragment is merged with ui
-
Plug-in version no updated to 1.0.4 and update...
-
plug-in installation issue has been fixed
-
<REDACTED> committed [a0202a]
Committed latest update site
-
Rodin 3.0 compatible GI plug-in
-
Version No updated to 1.1.0
-
Author name updated
-
build issue has been fixed
-
Change related to PO and Navigation drop down.
-
PO file integration
-
<REDACTED> committed [bd6185]
Committed with MANIFEST status id and revision ...
-
<REDACTED> committed [671b5b]
added PO gen files
-
Symbol table insert
-
class files deleted
-
Merge branch 'master' of ssh://170.95.204.21/va...
-
Navigation image decoration implemented
-
<REDACTED> committed [0aaeb0]
Committed initial version of GI PO generation.
-
<REDACTED> committed [42be83]
Committed locally for history merge
-
com.hitachi.geninst.ui.fragment added
-
<REDACTED> committed [166fac]
Merge branch 'gi_pogeneration-master'
-
Preetty Print implemented
-
Update site updated after the UI error fix
-
update site and feature project updated to make...
-
PO integrated
-
code cleanup and design document update
-
-
<REDACTED> committed [r9]
GI Release 1.1 update to SourceForge by HIL R&D...
-
-
-
-
-
Hitachi and ETHZ modified a wiki page
Home
-
-
-
-
Minor typos fixed
-
Added the fact that the old versions of plug-in...
-
Minor type fixed
-
Minor type fixed
-
Instructions on how to make a release
-
Thai Son Hoang committed [2f5fea]
Preparing for release v1.0.3 (For Rodin 3.0.0)
-
Thai Son Hoang committed [2afe2d]
Ported to Rodin 3.0
-
Thai Son Hoang committed [7b15fe]
Updated missing Copyright
-
Thai Son Hoang committed [4676a4]
Added ELP v1.0 to source code folders
-
Thai Son Hoang committed [3ea65d]
Fixed a bug that prevent the static checker to ...
-
Thai Son Hoang committed [dc0152]
Move the update site to svn (for the purpose of...
-
Removed unnecessary features and plugins folders
-
Moved from git
-
Share project "com.hitachi.geninst_updatesite" ...
-
-
-
-
-
-
-
-
-
-
-
-
-
1 >
