Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Nicolas
Line 15: Line 15:
 
;Improved scalability
 
;Improved scalability
  
−
:bug #2417502: [https://sourceforge.net/tracker2/?func=detail&aid=2417502&group_id=108850&atid=651669|Tool problem reported for inexistent file]
+
Add list of bugs fixed and feature requests implemented from SF
−
:bug #2417485: [https://sourceforge.net/tracker2/?func=detail&aid=2417485&group_id=108850&atid=651669|POG gets lost when a module class is missing]
+
 
−
:feature request #2433478: [https://sourceforge.net/tracker2/?func=detail&aid=2433478&group_id=108850&atid=651672|Add a "Collapse All" button in editor]
+
==== Fixed Bugs ====
 +
{|
 +
| 2009577
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2009577&group_id=108850&atid=651669 ASTProblem: No separation between cause and position]
 +
|-
 +
| 2189844
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2189844&group_id=108850&atid=651669 copying from synthesis view - variables cannot be copied]
 +
|-
 +
| 2317037
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2317037&group_id=108850&atid=651669 Unnecessary proof steps in the rebuild process]
 +
|-
 +
| 2380074
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2380074&group_id=108850&atid=651669 "1 : 2..4" accepted !]
 +
|-
 +
| 2024819
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2024819&group_id=108850&atid=651669 Error in "New Variable Wizard"]
 +
|-
 +
| 2103640
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2103640&group_id=108850&atid=651669 Unexpected disparition of "xx.bps" file in a project]
 +
|-
 +
| 2044233
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2044233&group_id=108850&atid=651669 False invariant not caught b provers]
 +
|-
 +
| 2080420
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2080420&group_id=108850&atid=651669 Platform crashes because of edit page expansions]
 +
|-
 +
| 1819239
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1819239&group_id=108850&atid=651669 Cancelling the ML prover during interactive proof]
 +
|-
 +
| 1844097
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1844097&group_id=108850&atid=651669 ML does not cancel]
 +
|-
 +
| 1834506
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1834506&group_id=108850&atid=651669 Provers end in an infinite loop]
 +
|-
 +
| 1877750
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1877750&group_id=108850&atid=651669 "java heap space"]
 +
|-
 +
| 2025895
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2025895&group_id=108850&atid=651669 NullPointerException if name of context contains "_"]
 +
|-
 +
| 1789939
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1789939&group_id=108850&atid=651669 ProB does not install on the RODIN platform]
 +
|-
 +
| 2142052
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2142052&group_id=108850&atid=651669 Wrong default action label when extending an event]
 +
|-
 +
| 1965795
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1965795&group_id=108850&atid=651669 NAT in the proof command]
 +
|-
 +
| 1965913
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1965913&group_id=108850&atid=651669 NAT in the proof command]
 +
|-
 +
| 2149495
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2149495&group_id=108850&atid=651669 Proof information view does not display witnesses]
 +
|-
 +
| 2094929
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2094929&group_id=108850&atid=651669 Prover not picking out contradiction in context]
 +
|-
 +
| 2103665
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2103665&group_id=108850&atid=651669 Model error not seen when building project]
 +
|-
 +
| 2220417
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2220417&group_id=108850&atid=651669 POG fails to generate POs]
 +
|-
 +
| 2189903
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2189903&group_id=108850&atid=651669 copying from synthesis view - variables cannot be copied]
 +
|-
 +
| 2217041
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2217041&group_id=108850&atid=651669 Events are created without convergence]
 +
|-
 +
| 2417502
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2417502&group_id=108850&atid=651669 Tool problem reported for inexistent file]
 +
|-
 +
| 2204387
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2204387&group_id=108850&atid=651669 Saving a machine sometimes folds all the event in the editor]
 +
|-
 +
| 2343565
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2343565&group_id=108850&atid=651669 S /\ S is rewritten to {}]
 +
|-
 +
| 2338878
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2338878&group_id=108850&atid=651669 "Inherited" overwrites "convergent".]
 +
|-
 +
| 2010628
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2010628&group_id=108850&atid=651669 Wizards broken ]
 +
|-
 +
| 2129884
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2129884&group_id=108850&atid=651669 ClassCastException when moving elements in editor]
 +
|-
 +
| 2417485
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2417485&group_id=108850&atid=651669 POG gets lost when a module class is missing]
 +
|-
 +
| 1888157
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1888157&group_id=108850&atid=651669 Platform crash on Mac Platform]
 +
|-
 +
| 2355262
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2355262&group_id=108850&atid=651669 Ill-typed proof]
 +
|-
 +
| 1944829
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1944829&group_id=108850&atid=651669 Assertion error when saving proof files]
 +
|-
 +
| 1892973
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1892973&group_id=108850&atid=651669 Dependent witnesses]
 +
|-
 +
| 1892830
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1892830&group_id=108850&atid=651669 web site]
 +
|-
 +
| 1881667
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1881667&group_id=108850&atid=651669 strange witness]
 +
|-
 +
| 1826430
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1826430&group_id=108850&atid=651669 umlb - Actions not translated to event B]
 +
|-
 +
| 1920747
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1920747&group_id=108850&atid=651669 False theorem proved by newPP]
 +
|-
 +
| 1920752
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1920752&group_id=108850&atid=651669 Wrong PO generated]
 +
|}
 +
 
 +
==== Implemented Feature Requests ====
 +
{|
 +
| 1929719
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1929719&group_id=108850&atid=651672 "error while running tool ..."]
 +
|-
 +
| 1949585
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1949585&group_id=108850&atid=651672 normalized predicates from the enumerated set wizard]
 +
|-
 +
| 1922293
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1922293&group_id=108850&atid=651672 Hypothesis View]
 +
|-
 +
| 2014350
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2014350&group_id=108850&atid=651672 Add origin tracking to AST source locations]
 +
|-
 +
| 1986646
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1986646&group_id=108850&atid=651672 Add a simple visitor to the AST library]
 +
|-
 +
| 2339257
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2339257&group_id=108850&atid=651672 Converting a project to be imported by an old release]
 +
|-
 +
| 1889467
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1889467&group_id=108850&atid=651672 Issues with regards to tabs]
 +
|-
 +
| 1919449
 +
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1919449&group_id=108850&atid=651672 Welcome page / Brave Sans Mono]
 +
|}
  
−
Add list of bugs fixed and feature requests implemented from SF
+
==== Documentation ====
  
 
:[[Undo_Redo_Design]]
 
:[[Undo_Redo_Design]]

Revision as of 14:18, 23 December 2008

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
Purging_Unused_Proofs
Proof_Purger
Proof_Skeleton
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

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Laurent/Collections/Deploy_Deliverable_D6&oldid=10764’