Difference between revisions of "CamilleX Release Notes"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Son
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== Release history ==
 
== Release history ==
 +
=== 1.0.0 -- Rebranded as CamilleX ===
 +
* Branding (0.0.4): Updated logo to CamilleX.
 +
* Common (0.0.5): Update copyright statements in source code.
 +
* Cheatsheets (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
* Documentation (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
* UI (0.1.0): Updated the name to use CamilleX instead of XEvent-B.
 +
* XContext (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
** Update dependency ranges
 +
* XContext IDE (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
** Update dependency ranges
 +
* XContext UI (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
** Update dependency ranges
 +
* XMachine (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 +
** Update dependency ranges
 +
 +
=== 0.0.7 -- Cross-project inclusion ===
 +
* XEvent-B Branding (0.0.3): Updated logo to XEvent-B.
 +
* XEvent-B Common (0.0.4): Enhancement (Issue #11).
 +
** Machines from different projects can now be included.
 +
** Machines are now included using qualified name defined as: projectName.machineName
 +
* XEvent-B Documentations (0.0.7): Update documentation for 0.0.7 release.
 +
* XEvent-B XContext (0.0.5): Changed dependency on XText to [2.12.0, 3.0.0).
 +
* XEvent-B XContext IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 +
* XEvent-B XContext UI (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 +
* XEvent-B XMachine (0.0.5):
 +
** Changed dependency on XText to [2.12.0, 3.0.0).
 +
** Fixed Issue #8: Comments are not parsed.
 +
** Fixed Issue #10: Variants not translated: Fix is part of inclusion plug-in release 0.2.0.
 +
** Flattened machines now have the included machine elements generated before the source machine.
 +
** Order of generating elements of multiple inclusions and/or instances is from last to first.
 +
** This update is part of inclusion plug-in release 0.2.0.
 +
* XEvent-B XMachine IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 +
* XEvent-B XMachine UI (0.0.4):
 +
** Changed dependency on XText to [2.12.0, 3.0.0).
 +
** Regenerated from XEvent-B XMachine 0.0.5
 +
 
=== 0.0.6 -- Support for Machine Inclusion and Event Synchronisation ===
 
=== 0.0.6 -- Support for Machine Inclusion and Event Synchronisation ===
 
* Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
 
* Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
Line 20: Line 56:
 
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).
 
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).
  
=== 0.0.4 ===
+
=== 0.0.4 -- Feature dependency ===
 
* Updated plug-in dependency for the feature
 
* Updated plug-in dependency for the feature
  
=== 0.0.3 Features/Bug fixing ===
+
=== 0.0.3 -- Features/Bug fixing ===
 
* Event-B XText Context (0.0.3)
 
* Event-B XText Context (0.0.3)
 
** Issue #3: Single-line comment after the element, multi-line comment before the element
 
** Issue #3: Single-line comment after the element, multi-line comment before the element
Line 38: Line 74:
 
* Event-B XText Machine UI IDE (0.0.2) Regenerated
 
* Event-B XText Machine UI IDE (0.0.2) Regenerated
  
=== 0.0.2 Formatter ===
+
=== 0.0.2 -- Formatter ===
 
* Event-B XText Common (0.0.2)
 
* Event-B XText Common (0.0.2)
 
** Added transient value service for XContext and XMachine.
 
** Added transient value service for XContext and XMachine.
Line 51: Line 87:
 
** Added context menu for converting machines and contexts to XText.
 
** Added context menu for converting machines and contexts to XText.
  
=== 0.0.1 Initial version contains the following plug-ins: ===
+
=== 0.0.1 -- Initial version contains the following plug-ins: ===
 
* Event-B XText Branding (0.0.1) Initial version: Branding information
 
* Event-B XText Branding (0.0.1) Initial version: Branding information
 
* Event-B XText Common (0.0.1) Initial version: Common facilities
 
* Event-B XText Common (0.0.1) Initial version: Common facilities

Revision as of 14:29, 13 November 2018

Release history

1.0.0 -- Rebranded as CamilleX

  • Branding (0.0.4): Updated logo to CamilleX.
  • Common (0.0.5): Update copyright statements in source code.
  • Cheatsheets (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
  • Documentation (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
  • UI (0.1.0): Updated the name to use CamilleX instead of XEvent-B.
  • XContext (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
    • Update dependency ranges
  • XContext IDE (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
    • Update dependency ranges
  • XContext UI (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
    • Update dependency ranges
  • XMachine (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
    • Update dependency ranges

0.0.7 -- Cross-project inclusion

  • XEvent-B Branding (0.0.3): Updated logo to XEvent-B.
  • XEvent-B Common (0.0.4): Enhancement (Issue #11).
    • Machines from different projects can now be included.
    • Machines are now included using qualified name defined as: projectName.machineName
  • XEvent-B Documentations (0.0.7): Update documentation for 0.0.7 release.
  • XEvent-B XContext (0.0.5): Changed dependency on XText to [2.12.0, 3.0.0).
  • XEvent-B XContext IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
  • XEvent-B XContext UI (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
  • XEvent-B XMachine (0.0.5):
    • Changed dependency on XText to [2.12.0, 3.0.0).
    • Fixed Issue #8: Comments are not parsed.
    • Fixed Issue #10: Variants not translated: Fix is part of inclusion plug-in release 0.2.0.
    • Flattened machines now have the included machine elements generated before the source machine.
    • Order of generating elements of multiple inclusions and/or instances is from last to first.
    • This update is part of inclusion plug-in release 0.2.0.
  • XEvent-B XMachine IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
  • XEvent-B XMachine UI (0.0.4):
    • Changed dependency on XText to [2.12.0, 3.0.0).
    • Regenerated from XEvent-B XMachine 0.0.5

0.0.6 -- Support for Machine Inclusion and Event Synchronisation

  • Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
  • XEvent-B Branding (0.0.2): Renamed from Event-B XText Branding.
  • XEvent-B Documentations (0.0.2): Renamed from Event-B XText Documentations.
  • XEvent-B Cheatsheets (0.0.2): Renamed from Event-B XText Cheatsheets.
  • XEvent-B Common (0.0.3): Renamed from Event-B XText Common.
  • XEvent-B UI (0.0.2): Renamed from Event-B XText UI.
  • XEvent-B XContext (0.0.4): Renamed from Event-B XText Context.
  • XEvent-B XContext IDE (0.0.3): Renamed from Event-B XText Context IDE.
  • XEvent-B XContext UI (0.0.3): Renamed from Event-B Context UI.
  • XEvent-B XMachine (0.0.4): Renamed from Event-B XText Machine.
    • Support Machine Inclusion and Event Synchronisation.
  • XEvent-B XMachine IDE (0.0.3): Renamed from Event-B XText Machine IDE.
  • XEvent-B XMachine UI (0.0.3): Renamed from Event-B XText Machine UI.

0.0.5 -- Documentation

  • Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).
  • Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).

0.0.4 -- Feature dependency

  • Updated plug-in dependency for the feature

0.0.3 -- Features/Bug fixing

  • Event-B XText Context (0.0.3)
    • Issue #3: Single-line comment after the element, multi-line comment before the element
  • Event-B XText Context IDE (0.0.2) Regenerated
  • Event-B XText ContextUI IDE (0.0.2) Regenerated
  • Event-B XText Machine (0.0.3)
    • Issue #3: Single-line comment after the element, multi-line comment before the element
    • Issue #5: Event terminator using 'end' keyword instead of ';'
  • Event-B XText Machine IDE (0.0.2) Regenerated
  • Event-B XText Machine UI IDE (0.0.2) Regenerated

0.0.2 -- Formatter

  • Event-B XText Common (0.0.2)
    • Added transient value service for XContext and XMachine.
  • Event-B XText Context (0.0.2):
    • Added formatter (used for auto-indentation).
  • Event-B XText Machine (0.0.2):
    • Added formatter (used for auto-indentation).
  • Event-B XText UI (0.0.1): Initial version
    • Added context menu for converting machines and contexts to XText.

0.0.1 -- Initial version contains the following plug-ins:

  • Event-B XText Branding (0.0.1) Initial version: Branding information
  • Event-B XText Common (0.0.1) Initial version: Common facilities
  • Event-B XText Context (0.0.1) Initial version: Core support for Event-B contexts
  • Event-B XText Context IDE (0.0.1) Initial version: IDE for Event-B contexts
  • Event-B XText Context UI (0.0.1) Initial version: UI for Event-B contexts
  • Event-B XText Machine (0.0.1) Initial version: Core support for Event-B machines
  • Event-B XText Machine IDE (0.0.1) Initial version: IDE for Event-B machines
  • Event-B XText Machine UI (0.0.1) Initial version: UI for Event-B machines