Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Nicolas |
imported>Nicolas |
||
Line 15: | Line 15: | ||
;Improved scalability | ;Improved scalability | ||
− | : | + | Add list of bugs fixed and feature requests implemented from SF |
− | : | + | |
− | : | + | ==== 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] | ||
+ | |} | ||
− | + | ==== Documentation ==== | |
:[[Undo_Redo_Design]] | :[[Undo_Redo_Design]] |
Revision as of 14:18, 23 December 2008
Contents
Deploy Deliverable D6
Model Construction Tools and Analysis
- Requirements management
The tutorial is currently incomplete. Also, add design documentation from Systerel
- UML integration
- Improved scalability
Add list of bugs fixed and feature requests implemented from SF
Fixed Bugs
Implemented Feature Requests
Documentation
- Mathematical extensions
To be contributed by mjb in this wiki
- Model animation and testing