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

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Laurent
m
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== Deploy Deliverable D6 ==
 
== Deploy Deliverable D6 ==
 
=== Model Construction Tools and Analysis ===
 
=== Model Construction Tools and Analysis ===
−
;Requirements management
+
;Requirements Management
  
 
  The tutorial is currently incomplete. Also, add design documentation from Systerel
 
  The tutorial is currently incomplete. Also, add design documentation from Systerel
Line 9: Line 9:
  
  
−
;UML integration
+
;UML Integration
  
 
:[[UML-B_Integration_and_Improvements]]
 
:[[UML-B_Integration_and_Improvements]]
  
−
;Improved scalability
+
;Improved Scalability
  
 
  Add list of bugs fixed and feature requests implemented from SF  
 
  Add list of bugs fixed and feature requests implemented from SF  
  
−
==== Fixed Bugs ====
+
 
 +
 
 +
==== Bugs ====
 +
 
 
{|
 
{|
−
| 2009577
+
 
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2009577&group_id=108850&atid=651669 ASTProblem: No separation between cause and position]
+
| 1789939
 +
| https://sourceforge.net/support/tracker.php?aid=1789939
 
|-
 
|-
−
| 2189844
+
| 1815645
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2189844&group_id=108850&atid=651669 copying from synthesis view - variables cannot be copied]
+
| https://sourceforge.net/support/tracker.php?aid=1815645
 
|-
 
|-
−
| 2317037
+
| 1819239
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2317037&group_id=108850&atid=651669 Unnecessary proof steps in the rebuild process]
+
| https://sourceforge.net/support/tracker.php?aid=1819239
 
|-
 
|-
−
| 2380074
+
| 1826430
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2380074&group_id=108850&atid=651669 "1 : 2..4" accepted !]
+
| https://sourceforge.net/support/tracker.php?aid=1826430
 
|-
 
|-
−
| 2024819
+
| 1834506
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2024819&group_id=108850&atid=651669 Error in "New Variable Wizard"]
+
| https://sourceforge.net/support/tracker.php?aid=1834506
 
|-
 
|-
−
| 2103640
+
| 1844097
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2103640&group_id=108850&atid=651669 Unexpected disparition of "xx.bps" file in a project]
+
| https://sourceforge.net/support/tracker.php?aid=1844097
 
|-
 
|-
−
| 2044233
+
| 1877750
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2044233&group_id=108850&atid=651669 False invariant not caught b provers]
+
| https://sourceforge.net/support/tracker.php?aid=1877750
 
|-
 
|-
−
| 2080420
+
| 1881667
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2080420&group_id=108850&atid=651669 Platform crashes because of edit page expansions]
+
| https://sourceforge.net/support/tracker.php?aid=1881667
 
|-
 
|-
−
| 1819239
+
| 1888157
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1819239&group_id=108850&atid=651669 Cancelling the ML prover during interactive proof]
+
| https://sourceforge.net/support/tracker.php?aid=1888157
 
|-
 
|-
−
| 1844097
+
| 1892830
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1844097&group_id=108850&atid=651669 ML does not cancel]
+
| https://sourceforge.net/support/tracker.php?aid=1892830
 
|-
 
|-
−
| 1834506
+
| 1892973
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1834506&group_id=108850&atid=651669 Provers end in an infinite loop]
+
| https://sourceforge.net/support/tracker.php?aid=1892973
 
|-
 
|-
−
| 1877750
+
| 1920747
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1877750&group_id=108850&atid=651669 "java heap space"]
+
| https://sourceforge.net/support/tracker.php?aid=1920747
 
|-
 
|-
−
| 2025895
+
| 1920752
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2025895&group_id=108850&atid=651669 NullPointerException if name of context contains "_"]
+
| https://sourceforge.net/support/tracker.php?aid=1920752
 
|-
 
|-
−
| 1789939
+
| 1944829
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1789939&group_id=108850&atid=651669 ProB does not install on the RODIN platform]
+
| https://sourceforge.net/support/tracker.php?aid=1944829
−
|-
 
−
| 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
 
| 1965795
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1965795&group_id=108850&atid=651669 NAT in the proof command]
+
| https://sourceforge.net/support/tracker.php?aid=1965795
 
|-
 
|-
 
| 1965913
 
| 1965913
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1965913&group_id=108850&atid=651669 NAT in the proof command]
+
| https://sourceforge.net/support/tracker.php?aid=1965913
 
|-
 
|-
−
| 2149495
+
| 2009577
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2149495&group_id=108850&atid=651669 Proof information view does not display witnesses]
+
| https://sourceforge.net/support/tracker.php?aid=2009577
 +
|-
 +
| 2010628
 +
| https://sourceforge.net/support/tracker.php?aid=2010628
 +
|-
 +
| 2015055
 +
| https://sourceforge.net/support/tracker.php?aid=2015055
 +
|-
 +
| 2024819
 +
| https://sourceforge.net/support/tracker.php?aid=2024819
 +
|-
 +
| 2025895
 +
| https://sourceforge.net/support/tracker.php?aid=2025895
 +
|-
 +
| 2044233
 +
| https://sourceforge.net/support/tracker.php?aid=2044233
 +
|-
 +
| 2052874
 +
| https://sourceforge.net/support/tracker.php?aid=2052874
 +
|-
 +
| 2080420
 +
| https://sourceforge.net/support/tracker.php?aid=2080420
 
|-
 
|-
 
| 2094929
 
| 2094929
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2094929&group_id=108850&atid=651669 Prover not picking out contradiction in context]
+
| https://sourceforge.net/support/tracker.php?aid=2094929
 +
|-
 +
| 2103640
 +
| https://sourceforge.net/support/tracker.php?aid=2103640
 
|-
 
|-
 
| 2103665
 
| 2103665
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2103665&group_id=108850&atid=651669 Model error not seen when building project]
+
| https://sourceforge.net/support/tracker.php?aid=2103665
 +
|-
 +
| 2118336
 +
| https://sourceforge.net/support/tracker.php?aid=2118336
 +
|-
 +
| 2129884
 +
| https://sourceforge.net/support/tracker.php?aid=2129884
 +
|-
 +
| 2142052
 +
| https://sourceforge.net/support/tracker.php?aid=2142052
 
|-
 
|-
−
| 2220417
+
| 2149495
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2220417&group_id=108850&atid=651669 POG fails to generate POs]
+
| https://sourceforge.net/support/tracker.php?aid=2149495
 +
|-
 +
| 2189844
 +
| https://sourceforge.net/support/tracker.php?aid=2189844
 
|-
 
|-
 
| 2189903
 
| 2189903
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2189903&group_id=108850&atid=651669 copying from synthesis view - variables cannot be copied]
+
| https://sourceforge.net/support/tracker.php?aid=2189903
 +
|-
 +
| 2204387
 +
| https://sourceforge.net/support/tracker.php?aid=2204387
 
|-
 
|-
 
| 2217041
 
| 2217041
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2217041&group_id=108850&atid=651669 Events are created without convergence]
+
| https://sourceforge.net/support/tracker.php?aid=2217041
 +
|-
 +
| 2220417
 +
| https://sourceforge.net/support/tracker.php?aid=2220417
 
|-
 
|-
−
| 2417502
+
| 2317037
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2417502&group_id=108850&atid=651669 Tool problem reported for inexistent file]
+
| https://sourceforge.net/support/tracker.php?aid=2317037
 
|-
 
|-
−
| 2204387
+
| 2338878
−
|[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]
+
| https://sourceforge.net/support/tracker.php?aid=2338878
 
|-
 
|-
 
| 2343565
 
| 2343565
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2343565&group_id=108850&atid=651669 S /\ S is rewritten to {}]
+
| https://sourceforge.net/support/tracker.php?aid=2343565
 
|-
 
|-
−
| 2338878
+
| 2355262
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2338878&group_id=108850&atid=651669 "Inherited" overwrites "convergent".]
+
| https://sourceforge.net/support/tracker.php?aid=2355262
 
|-
 
|-
−
| 2010628
+
| 2380074
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2010628&group_id=108850&atid=651669 Wizards broken ]
+
| https://sourceforge.net/support/tracker.php?aid=2380074
 
|-
 
|-
−
| 2129884
+
| 2417413
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2129884&group_id=108850&atid=651669 ClassCastException when moving elements in editor]
+
| https://sourceforge.net/support/tracker.php?aid=2417413
 
|-
 
|-
 
| 2417485
 
| 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]
+
| https://sourceforge.net/support/tracker.php?aid=2417485
 
|-
 
|-
−
| 1888157
+
| 2417502
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1888157&group_id=108850&atid=651669 Platform crash on Mac Platform]
+
| https://sourceforge.net/support/tracker.php?aid=2417502
 
|-
 
|-
−
| 2355262
+
| 2420471
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2355262&group_id=108850&atid=651669 Ill-typed proof]
+
| https://sourceforge.net/support/tracker.php?aid=2420471
 
|-
 
|-
−
| 1944829
+
|}
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1944829&group_id=108850&atid=651669 Assertion error when saving proof files]
+
 
 +
 
 +
==== Feature Requests ====
 +
 
 +
{|
 +
 
 +
| 1798741
 +
| https://sourceforge.net/support/tracker.php?aid=1798741
 
|-
 
|-
−
| 1892973
+
| 1866811
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1892973&group_id=108850&atid=651669 Dependent witnesses]
+
| https://sourceforge.net/support/tracker.php?aid=1866811
 
|-
 
|-
−
| 1892830
+
| 1889467
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1892830&group_id=108850&atid=651669 web site]
+
| https://sourceforge.net/support/tracker.php?aid=1889467
 
|-
 
|-
−
| 1881667
+
| 1919449
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1881667&group_id=108850&atid=651669 strange witness]
+
| https://sourceforge.net/support/tracker.php?aid=1919449
 
|-
 
|-
−
| 1826430
+
| 1922293
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1826430&group_id=108850&atid=651669 umlb - Actions not translated to event B]
+
| https://sourceforge.net/support/tracker.php?aid=1922293
 
|-
 
|-
−
| 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
 
| 1929719
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1929719&group_id=108850&atid=651672 "error while running tool ..."]
+
| https://sourceforge.net/support/tracker.php?aid=1929719
 
|-
 
|-
 
| 1949585
 
| 1949585
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1949585&group_id=108850&atid=651672 normalized predicates from the enumerated set wizard]
+
| https://sourceforge.net/support/tracker.php?aid=1949585
 
|-
 
|-
−
| 1922293
+
| 1986646
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1922293&group_id=108850&atid=651672 Hypothesis View]
+
| https://sourceforge.net/support/tracker.php?aid=1986646
 
|-
 
|-
 
| 2014350
 
| 2014350
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=2014350&group_id=108850&atid=651672 Add origin tracking to AST source locations]
+
| https://sourceforge.net/support/tracker.php?aid=2014350
−
|-
 
−
| 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
 
| 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]
+
| https://sourceforge.net/support/tracker.php?aid=2339257
 
|-
 
|-
−
| 1889467
+
| 2433478
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1889467&group_id=108850&atid=651672 Issues with regards to tabs]
+
| https://sourceforge.net/support/tracker.php?aid=2433478
 
|-
 
|-
−
| 1919449
 
−
|[https://sourceforge.net/tracker/index.php?func=detail&aid=1919449&group_id=108850&atid=651672 Welcome page / Brave Sans Mono]
 
 
|}
 
|}
 +
  
 
==== Documentation ====
 
==== Documentation ====
Line 181: Line 218:
 
:[[Proof_Purger_Interface]]
 
:[[Proof_Purger_Interface]]
 
:[[Proof_Purger_Design]]
 
:[[Proof_Purger_Design]]
−
:[[Proof_Skeleton]]
+
:[[Proof_Skeleton_Design]]
 
:[[Proof_Skeleton_View]]
 
:[[Proof_Skeleton_View]]
  
Line 193: Line 230:
 
:[[Measurement_Plug-In]]
 
:[[Measurement_Plug-In]]
  
−
;Mathematical extensions
+
:[[Mathematical Extensions]]
−
 
 
−
To be contributed by mjb in this wiki
 
  
−
;Model animation and testing
+
;Model Animation and Testing
  
 
[http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki]
 
[http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki]
  
 
[[Category:Collections]]
 
[[Category:Collections]]

Latest revision as of 13:38, 28 January 2009

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


Bugs

1789939 https://sourceforge.net/support/tracker.php?aid=1789939
1815645 https://sourceforge.net/support/tracker.php?aid=1815645
1819239 https://sourceforge.net/support/tracker.php?aid=1819239
1826430 https://sourceforge.net/support/tracker.php?aid=1826430
1834506 https://sourceforge.net/support/tracker.php?aid=1834506
1844097 https://sourceforge.net/support/tracker.php?aid=1844097
1877750 https://sourceforge.net/support/tracker.php?aid=1877750
1881667 https://sourceforge.net/support/tracker.php?aid=1881667
1888157 https://sourceforge.net/support/tracker.php?aid=1888157
1892830 https://sourceforge.net/support/tracker.php?aid=1892830
1892973 https://sourceforge.net/support/tracker.php?aid=1892973
1920747 https://sourceforge.net/support/tracker.php?aid=1920747
1920752 https://sourceforge.net/support/tracker.php?aid=1920752
1944829 https://sourceforge.net/support/tracker.php?aid=1944829
1965795 https://sourceforge.net/support/tracker.php?aid=1965795
1965913 https://sourceforge.net/support/tracker.php?aid=1965913
2009577 https://sourceforge.net/support/tracker.php?aid=2009577
2010628 https://sourceforge.net/support/tracker.php?aid=2010628
2015055 https://sourceforge.net/support/tracker.php?aid=2015055
2024819 https://sourceforge.net/support/tracker.php?aid=2024819
2025895 https://sourceforge.net/support/tracker.php?aid=2025895
2044233 https://sourceforge.net/support/tracker.php?aid=2044233
2052874 https://sourceforge.net/support/tracker.php?aid=2052874
2080420 https://sourceforge.net/support/tracker.php?aid=2080420
2094929 https://sourceforge.net/support/tracker.php?aid=2094929
2103640 https://sourceforge.net/support/tracker.php?aid=2103640
2103665 https://sourceforge.net/support/tracker.php?aid=2103665
2118336 https://sourceforge.net/support/tracker.php?aid=2118336
2129884 https://sourceforge.net/support/tracker.php?aid=2129884
2142052 https://sourceforge.net/support/tracker.php?aid=2142052
2149495 https://sourceforge.net/support/tracker.php?aid=2149495
2189844 https://sourceforge.net/support/tracker.php?aid=2189844
2189903 https://sourceforge.net/support/tracker.php?aid=2189903
2204387 https://sourceforge.net/support/tracker.php?aid=2204387
2217041 https://sourceforge.net/support/tracker.php?aid=2217041
2220417 https://sourceforge.net/support/tracker.php?aid=2220417
2317037 https://sourceforge.net/support/tracker.php?aid=2317037
2338878 https://sourceforge.net/support/tracker.php?aid=2338878
2343565 https://sourceforge.net/support/tracker.php?aid=2343565
2355262 https://sourceforge.net/support/tracker.php?aid=2355262
2380074 https://sourceforge.net/support/tracker.php?aid=2380074
2417413 https://sourceforge.net/support/tracker.php?aid=2417413
2417485 https://sourceforge.net/support/tracker.php?aid=2417485
2417502 https://sourceforge.net/support/tracker.php?aid=2417502
2420471 https://sourceforge.net/support/tracker.php?aid=2420471


Feature Requests

1798741 https://sourceforge.net/support/tracker.php?aid=1798741
1866811 https://sourceforge.net/support/tracker.php?aid=1866811
1889467 https://sourceforge.net/support/tracker.php?aid=1889467
1919449 https://sourceforge.net/support/tracker.php?aid=1919449
1922293 https://sourceforge.net/support/tracker.php?aid=1922293
1929719 https://sourceforge.net/support/tracker.php?aid=1929719
1949585 https://sourceforge.net/support/tracker.php?aid=1949585
1986646 https://sourceforge.net/support/tracker.php?aid=1986646
2014350 https://sourceforge.net/support/tracker.php?aid=2014350
2339257 https://sourceforge.net/support/tracker.php?aid=2339257
2433478 https://sourceforge.net/support/tracker.php?aid=2433478


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
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=10770’