Difference between revisions of "Theory Release History"

From Event-B
Jump to navigationJump to search
imported>Im06r
imported>Asiehsalehi
(34 intermediate revisions by 2 users not shown)
Line 4: Line 4:
  
 
===News===
 
===News===
 +
* ''19th December 2014'': [[#Version_3.0.0|Version 3.0.o]] is released. It requires Rodin 3.1.
 +
* ''10th July 2014'': [[#Version_2.0.2|Version 2.0.2]] is released. It requires Rodin 2.8.
 +
* ''24th June 2014'': [[#Version_2.0.1|Version 2.0.1]] is released. It requires Rodin 2.8.
 +
* ''30th April 2014'': [[#Version_2.0.0|Version 2.0.0]] is released. It requires Rodin 2.8. This release contains major changes in the features and accessibilities.
 +
* ''20th April 2012'': [[#Version_1.3.2|Version 1.3.2]] is released. It requires Rodin 2.4.
 +
* ''15th August 2011'': [[#Version_1.2|Version 1.2]] is released. It requires Rodin 2.2.2.
 +
* ''6th August 2011'': [[#Version_1.1|Version 1.1]] is released. It requires Rodin 2.2.2.
 +
* ''8th July 2011'': [[#Version_1.0|Version 1.0]] is released. It requires Rodin 2.2.
 
* ''22nd May 2011'': [[#Version_0.8|Version 0.8]] released. It is based on Rodin 2.1.1.
 
* ''22nd May 2011'': [[#Version_0.8|Version 0.8]] released. It is based on Rodin 2.1.1.
 
* ''11th April 2011'': [[#Version_0.7|Version 0.7]] released. It is based on Rodin 2.1.1.
 
* ''11th April 2011'': [[#Version_0.7|Version 0.7]] released. It is based on Rodin 2.1.1.
 
* ''6th January 2011'': [[#Version_0.6|Version 0.6]] released. It is based on Rodin 2.0.1.
 
* ''6th January 2011'': [[#Version_0.6|Version 0.6]] released. It is based on Rodin 2.0.1.
* ''10th November 2010'': [[#Version_1.0|Version 1.0]] is planned to be released Early 2011.
 
 
* ''28th October 2010'': [[#Version_0.5|Version 0.5]] released. It is based on Rodin 2.0.
 
* ''28th October 2010'': [[#Version_0.5|Version 0.5]] released. It is based on Rodin 2.0.
  
=== Installation & Update ===
+
===Releases===
 +
===== Version 3.0.0 =====
 +
''17th December 2014''
 +
 
 +
Release target : Rodin 3.1
 +
* migration changes to Rodin 3.1
 +
 
 +
===== Version 2.0.2 =====
 +
''10th July 2014''
 +
 
 +
Release target : Rodin 2.8
 +
* bug fixes.
 +
 
 +
===== Version 2.0.1 =====
 +
''24th June 2014''
 +
 
 +
Release target : Rodin 2.8
 +
* bug fixes.
 +
 
 +
===== Version 2.0.0 =====
 +
''30th April 2014''
 +
 
 +
Release target : Rodin 2.8
 +
* Major changes in the usability.
 +
* Important bug fixes.
 +
 
 +
===== Version 1.3.2 =====
 +
''20th April 2012''
 +
 
 +
Release target : Rodin 2.4
 +
* Important bug fixes.
 +
* Improvement of deployment and un-deployment wizards
 +
 
 +
===== Version 1.2 =====
 +
''15th August 2011''
 +
 
 +
Release target : Rodin 2.2.2
 +
* Bug fixes.
 +
* Added capability to instantiate multiple theorems at once.
 +
* Added automatic tactic for expanding operator definitions RbPxd·
 +
 
 +
===== Version 1.1 =====
 +
''6th August 2011''
 +
 
 +
Release target : Rodin 2.2.2
 +
* Theory library first version.
 +
* Bug fixes.
 +
* Improved UI.
 +
 
 +
===== Version 1.0 =====
 +
''8th July 2011''
 +
 
 +
Release target : Rodin 2.2
  
The installation or update for the Theory plug-in is available under the main Rodin Update site (http://rodin-b-sharp.sourceforge.net/updates) under the category "Modelling Extensions". Like always, after the installation, restarting Rodin is recommended.
+
* Bug fixes.
 +
* Added import relationships between theories.
 +
* Added experimental support for recursive definitions.
 +
* Improved project as well as workspace scope for mathematical and prover extensions.
 +
* Added tactic (xd) to expand all definitions.
 +
* Fixed support for polymorphic theorems.
  
===User Manual===
+
===== Version 0.8 =====
The user manual is available here, [http://wiki.event-b.org/images/Theory_UM.pdf Theory User Manual].
+
''22nd May 2011''
 +
 
 +
Release target : Rodin 2.1.1
 +
 
 +
* Bug fixes.  
 +
* Added import relationships between theories.  
 +
* Added experimental support for recursive definitions.
 +
* Added project as well as workspace scope for mathematical and prover extensions.
  
===Releases===
 
 
===== Version 0.7 =====
 
===== Version 0.7 =====
 
''11th April 2011''
 
''11th April 2011''
Line 32: Line 102:
  
 
This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.
 
This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.
 
===Worked Examples===
 
In this section, you find examples of theories and models using theories. TODO Include examples ASAP.
 
  
 
===Features Requests and Bugs===
 
===Features Requests and Bugs===
Please do not hesitate to raise any issues with regards to usability as well as bugs.
+
Please do not hesitate to raise any issues with regards to usability as well as efficiency. Finally, please remember to report any bugs through the SourceForge portal.
The following items are on the TODO list of Theory plug-in:
 
*Finalize AC/A pattern matching.
 
*Finalize support for forward inference rules.
 
*Improve backward inference and rewriting.
 
*D-library for generating D-WD conditions.
 
*Proof refactoring.
 
*Fixpoint definitions + recursive operators.
 
*Tactic to expand all extended formulae.
 
*A sizable case-study.
 
*More Documentation.
 
*Bug fixes (svn trackers).
 

Revision as of 15:22, 19 December 2014

Back to Theory Plug-in.

Follow this page for the latest on the Theory plug-in. The user manual is also provided together with the installation details.

News

  • 19th December 2014: Version 3.0.o is released. It requires Rodin 3.1.
  • 10th July 2014: Version 2.0.2 is released. It requires Rodin 2.8.
  • 24th June 2014: Version 2.0.1 is released. It requires Rodin 2.8.
  • 30th April 2014: Version 2.0.0 is released. It requires Rodin 2.8. This release contains major changes in the features and accessibilities.
  • 20th April 2012: Version 1.3.2 is released. It requires Rodin 2.4.
  • 15th August 2011: Version 1.2 is released. It requires Rodin 2.2.2.
  • 6th August 2011: Version 1.1 is released. It requires Rodin 2.2.2.
  • 8th July 2011: Version 1.0 is released. It requires Rodin 2.2.
  • 22nd May 2011: Version 0.8 released. It is based on Rodin 2.1.1.
  • 11th April 2011: Version 0.7 released. It is based on Rodin 2.1.1.
  • 6th January 2011: Version 0.6 released. It is based on Rodin 2.0.1.
  • 28th October 2010: Version 0.5 released. It is based on Rodin 2.0.

Releases

Version 3.0.0

17th December 2014

Release target : Rodin 3.1

  • migration changes to Rodin 3.1
Version 2.0.2

10th July 2014

Release target : Rodin 2.8

  • bug fixes.
Version 2.0.1

24th June 2014

Release target : Rodin 2.8

  • bug fixes.
Version 2.0.0

30th April 2014

Release target : Rodin 2.8

  • Major changes in the usability.
  • Important bug fixes.
Version 1.3.2

20th April 2012

Release target : Rodin 2.4

  • Important bug fixes.
  • Improvement of deployment and un-deployment wizards
Version 1.2

15th August 2011

Release target : Rodin 2.2.2

  • Bug fixes.
  • Added capability to instantiate multiple theorems at once.
  • Added automatic tactic for expanding operator definitions RbPxd·
Version 1.1

6th August 2011

Release target : Rodin 2.2.2

  • Theory library first version.
  • Bug fixes.
  • Improved UI.
Version 1.0

8th July 2011

Release target : Rodin 2.2

  • Bug fixes.
  • Added import relationships between theories.
  • Added experimental support for recursive definitions.
  • Improved project as well as workspace scope for mathematical and prover extensions.
  • Added tactic (xd) to expand all definitions.
  • Fixed support for polymorphic theorems.
Version 0.8

22nd May 2011

Release target : Rodin 2.1.1

  • Bug fixes.
  • Added import relationships between theories.
  • Added experimental support for recursive definitions.
  • Added project as well as workspace scope for mathematical and prover extensions.
Version 0.7

11th April 2011

Bug fixes. Fixed for Rodin 2.1.1.

Version 0.6

6th January 2011

Minor bug fixes and improvements to theories pretty printer.

Version 0.5

28th October 2010

This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.

Features Requests and Bugs

Please do not hesitate to raise any issues with regards to usability as well as efficiency. Finally, please remember to report any bugs through the SourceForge portal.