-
We have decided to migrate the EBON architecture from Eiffel to JML-annotated Java to better integrate it with ongoing work in the Mobius project <http://mobius.inria.fr/>. Fintan Fairmichael and Dan Zimmerman, both project members, are helping with this effort during the Summer of 2007.
-Joe.
2007-08-09 13:09:30 UTC by kiniry
-
kiniry committed patchset 236 of module ebon to the The Extended BON Toolsuite CVS repository, changing 1 files.
2005-12-21 14:21:08 UTC by kiniry
-
kiniry committed patchset 235 of module ebon to the The Extended BON Toolsuite CVS repository, changing 9 files.
2005-12-21 14:18:59 UTC by kiniry
-
kiniry committed patchset 234 of module ebon to the The Extended BON Toolsuite CVS repository, changing 2 files.
2005-12-21 14:12:03 UTC by kiniry
-
kiniry committed patchset 233 of module ebon to the The Extended BON Toolsuite CVS repository, changing 2 files.
2005-12-21 14:11:10 UTC by kiniry
-
kiniry committed patchset 232 of module ebon to the The Extended BON Toolsuite CVS repository, changing 10 files.
2005-12-21 14:08:49 UTC by kiniry
-
kiniry committed patchset 231 of module ebon to the The Extended BON Toolsuite CVS repository, changing 32 files.
2005-12-21 14:06:18 UTC by kiniry
-
kiniry committed patchset 230 of module ebon to the The Extended BON Toolsuite CVS repository, changing 4 files.
2005-12-21 14:05:38 UTC by kiniry
-
kiniry committed patchset 229 of module ebon to the The Extended BON Toolsuite CVS repository, changing 5 files.
2005-12-19 17:23:02 UTC by kiniry
-
kiniry committed patchset 228 of module ebon to the The Extended BON Toolsuite CVS repository, changing 3 files.
2005-05-02 23:49:03 UTC by kiniry