User:Laurent/Collections/Deploy Deliverable D6

Deploy Deliverable D6

Model Construction Tools and Analysis

Requirements management

The tutorial is currently incomplete. Also, add design documentation from Systerel

Requirements_Tutorial

ReqsManagement

UML integration

UML-B_Integration_and_Improvements

Improved scalability

Add list of bugs fixed and feature requests implemented from SF 

Fixed Bugs

2009577	ASTProblem: No separation between cause and position
2189844	copying from synthesis view - variables cannot be copied
2317037	Unnecessary proof steps in the rebuild process
2380074	"1 : 2..4" accepted !
2024819	Error in "New Variable Wizard"
2103640	Unexpected disparition of "xx.bps" file in a project
2044233	False invariant not caught b provers
2080420	Platform crashes because of edit page expansions
1819239	Cancelling the ML prover during interactive proof
1844097	ML does not cancel
1834506	Provers end in an infinite loop
1877750	"java heap space"
2025895	NullPointerException if name of context contains "_"
1789939	ProB does not install on the RODIN platform
2142052	Wrong default action label when extending an event
1965795	NAT in the proof command
1965913	NAT in the proof command
2149495	Proof information view does not display witnesses
2094929	Prover not picking out contradiction in context
2103665	Model error not seen when building project
2220417	POG fails to generate POs
2189903	copying from synthesis view - variables cannot be copied
2217041	Events are created without convergence
2417502	Tool problem reported for inexistent file
2204387	Saving a machine sometimes folds all the event in the editor
2343565	S /\ S is rewritten to {}
2338878	"Inherited" overwrites "convergent".
2010628	Wizards broken
2129884	ClassCastException when moving elements in editor
2417485	POG gets lost when a module class is missing
1888157	Platform crash on Mac Platform
2355262	Ill-typed proof
1944829	Assertion error when saving proof files
1892973	Dependent witnesses
1892830	web site
1881667	strange witness
1826430	umlb - Actions not translated to event B
1920747	False theorem proved by newPP
1920752	Wrong PO generated

Implemented Feature Requests

1929719	"error while running tool ..."
1949585	normalized predicates from the enumerated set wizard
1922293	Hypothesis View
2014350	Add origin tracking to AST source locations
1986646	Add a simple visitor to the AST library
2339257	Converting a project to be imported by an old release
1889467	Issues with regards to tabs
1919449	Welcome page / Brave Sans Mono

Documentation

Undo_Redo_Design

Undo_Redo

File_Root_Separation

Rodin_Index_Design

Index_Query

Indexing_System

Extending_the_Index_Manager

Single_View_Design

Extending_the_project_explorer

Proof_Purger_Interface

Proof_Purger_Design

Proof_Skeleton_Design

Proof_Skeleton_View

EMF_framework_for_Event-B

Refactoring_Framework

Parallel_Composition_using_Event-B

New_Proof_Rules

Measurement_Plug-In

Mathematical extensions

To be contributed by mjb in this wiki

Model animation and testing

available on stups wiki