|
|
| Line 17: |
Line 17: |
| 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 |
| |- | | |- |
| | 2220417 | | | 2118336 |
| |[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=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 | | | 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 ==== |
