User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance: Difference between revisions
imported>Ladenberger |
imported>Sebastian |
||
| Line 59: | Line 59: | ||
=== Overview === | === Overview === | ||
The Camille plug-in provides a textual editor for Rodin. This editor provides the same look and feel as a typical Eclipse text editor, including features most text editors provide, such as copy, paste, syntax highlighting and code completion. | The Camille plug-in provides a textual editor for Rodin. This editor provides the same look and feel as a typical Eclipse text editor, including features most text editors provide, such as copy, paste, syntax highlighting and code completion. | ||
During the last period of the ADVANCE project, the three new versions of Camille have been released: | |||
* 3.0.0 - Initial release for version 3 of the Core Rodin platform. This release has been based on Camille 2.1.4. | |||
* 3.0.1 - Port of the changes done in Camille 2.2.0 to version 3. This includes theorems in guards as well as other bugfixes. See D3.3 for details. | |||
* 3.0.2 - Camille's structure parser has been moved to ProB's parser library. A fully automatic build process featuring continuous integration has been set up. This is the first release build by it. | |||
{{TODO}} | {{TODO}} | ||
Revision as of 11:04, 15 October 2014
This part describes the general maintenance performed on the Rodin toolset within the last year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and to ease the reading of this part of the deliverable, the maintenance section has been decomposed in a list of subsections corresponding to scopes of the toolset. All these subsections maintain the template previously defined in the introduction.
Core Rodin platform
Overview
During the last period of the ADVANCE project, the following versions of the Rodin platform have been released:
- 3.0.1 (2014-06-11).
- 3.1.0 (2014-10-??).
TODO
Other running tasks consisted in answering questions on mailing lists, and processing bug tickets and feature requests.
Motivations / Decisions
TODO
Available Documentation
The release notes, that appear and are maintained on the wiki, and that accompany each release, give useful information about the changes introduced by each. Moreover, two web trackers list and detail the known bugs and open feature requests:
TODO
Conclusion
TODO
UML-B Improvements
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Conclusion
TODO
ProR
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Conclusion
TODO
Camille
Overview
The Camille plug-in provides a textual editor for Rodin. This editor provides the same look and feel as a typical Eclipse text editor, including features most text editors provide, such as copy, paste, syntax highlighting and code completion.
During the last period of the ADVANCE project, the three new versions of Camille have been released:
- 3.0.0 - Initial release for version 3 of the Core Rodin platform. This release has been based on Camille 2.1.4.
- 3.0.1 - Port of the changes done in Camille 2.2.0 to version 3. This includes theorems in guards as well as other bugfixes. See D3.3 for details.
- 3.0.2 - Camille's structure parser has been moved to ProB's parser library. A fully automatic build process featuring continuous integration has been set up. This is the first release build by it.
TODO
Motivations / Decisions
TODO
Available Documentation
- Architectures for an Extensible Text Editor for Rodin.[3] Bachelor thesis analysing the problem and discussing possible solutions.
- An earlier version of the thesis has been published as a technical report[4] that has been discussed on the Roding Developers Mailing List and the ADVANCE Progress Meeting in May 2012 in Paris.
- Camille GitHub Repository and Bugtracker: https://github.com/hhu-stups/camille
- Camille Wiki: http://wiki.event-b.org/index.php/Camille_Editor
Conclusion
TODO
