Theory Release History: Difference between revisions
imported>Im06r |
imported>Im06r |
||
Line 19: | Line 19: | ||
===== Version 0.7 ===== | ===== Version 0.7 ===== | ||
''11th April 2011'' | ''11th April 2011'' | ||
Bug fixes. Fixed for Rodin 2.1.1. | Bug fixes. Fixed for Rodin 2.1.1. | ||
Revision as of 12:44, 11 April 2011
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
- 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.
- 10th November 2010: Version 1.0 is planned to be released Early 2011.
- 28th October 2010: Version 0.5 released. It is based on Rodin 2.0.
Installation & Update
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.
User Manual
The user manual is available here, Theory User Manual.
Releases
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.
Worked Examples
In this section, you find examples of theories and models using theories. TODO Include examples ASAP.
Features Requests and Bugs
Please do not hesitate to raise any issues with regards to usability as well as bugs. 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).