Bugs  Maximize  Restore

Showing results of 114

# Summary Milestone
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Milestone
Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
765 Generalized Modus Ponens turns goal into "false" 3.3 open Laurent Voisin 2017-03-13 2017-03-14  
758 Impossible to install ProR unplanned open 2016-06-13 2016-06-13  
756 null reasoner input 3.3 open 2016-02-03 2016-02-03  
754 Dropins folder is no longer available by default 3.3 open Laurent Voisin 2015-10-07 2015-11-05  
753 Section color preferences are not taken into account 3.3 open Thomas Muller 2015-06-29 2015-11-05  
752 Mode/FT Views: Failure to install unplanned open 2015-06-19 2015-11-05  
751 Project Diagram Plugin Fails 3.1 open 2015-06-18 2015-06-18  
744 Proofs broken after refactoring 3.1 open 2015-04-14 2015-04-15  
741 Tactic Profile Editing very slow performance 3.1 open 2015-03-11 2015-03-11  
732 Disappearing proof obligations in Explorer 3.3 open 2015-01-26 2015-11-05  
728 Regression: cannot import workspace profiles from project preference page 3.1 open Nicolas Beauger 2014-11-18 2014-11-18  
719 Cannot edit/remove a duplicated SMT configuration 1.3 open Nicolas Beauger 2014-06-13 2014-06-13  
709 When editing textfields, rodin hangs and consume 100% CPU 1.0 pending 2014-04-09 2014-04-14  
707 Not refreshing current proof node when model changes 3.1 open Nicolas Beauger 2014-02-24 2014-02-24  
701 Translation occurs unexpetedly unplanned open Thomas Muller 2013-11-25 2013-11-25  
700 Renaming makes all proofs automatic 3.1 open 2013-11-13 2013-11-13  
698 Using 'Open With' context menu on PO does not load the PS 3.1 open Nicolas Beauger 2013-10-28 2014-06-17  
688 Exception while loading font on startup unplanned open 2013-07-31 2013-10-25  
684 PUI does not preserve whitespace 2.8 open 2013-06-25 2013-06-26  
681 GI (soton) - No class def found exception 2.7 open Asieh Salehi 2013-06-19 2013-06-19  
676 UML-B - NPE while editing diagram 2.7 open Colin Snook 2013-05-28 2013-05-28  
675 UML-B - order of features cannot be changed 2.7 open Colin Snook 2013-05-27 2013-05-28  
674 Deadlock while loading buffer unknown open 2013-05-23 2013-05-23  
663 Indexers are not run independently unplanned open 2013-04-24 2013-10-25  
662 Not refreshing proof interface unplanned open Nicolas Beauger 2013-04-24 2013-10-29  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 3 .. 5 > >> (Page 1 of 5)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks