Group 2.0.1  Maximize  Restore

Open
N/A
13 / 16

2.0.1

Showing 16 results of 16

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
540 Rodin 2.0.1 provers are unsound 2.0.1 closed-fixed Laurent Voisin 2011-01-14 2011-08-02  
539 Unacceptable handling of unsupported expressions 2.0.1 open Alex Iliasov 2011-01-10 2012-12-08  
538 inconsistencies in importing of events 2.0.1 open Alex Iliasov 2011-01-05 2012-12-08  
537 inappropriate abstraction of a return value 2.0.1 closed-fixed Alex Iliasov 2011-01-04 2011-08-01  
536 miscounted parameters 2.0.1 closed-fixed Alex Iliasov 2011-01-03 2011-08-26  
535 callability lost in refinement 2.0.1 closed-fixed Alex Iliasov 2011-01-03 2011-08-01  
533 translation 2.0.1 closed-fixed Alex Iliasov 2010-12-23 2011-08-01  
531 NPE when ProofControlPage is not initialized 2.0.1 closed-fixed Thomas Muller 2010-12-14 2010-12-14  
530 Confusing Error Log 2.0.1 closed-duplicate Issam 2010-12-10 2011-01-05  
529 can't parse large integers 2.0.1 closed-fixed Laurent Voisin 2010-12-06 2010-12-06  
526 Lexer errors when extending grammar 2.0.1 closed-fixed Carine Pascal 2010-11-23 2010-12-09  
525 Assertion error with tactic "Belongs to Domain" 2.0.1 closed-fixed Nicolas Beauger 2010-11-23 2010-12-10  
524 strange interference in initialisation of imported variables 2.0.1 closed-fixed Alex Iliasov 2010-11-23 2010-12-16  
523 Proof status after theory change 2.0.1 open Issam 2010-11-19 2011-07-03  
522 Camille can not be installed on Rodin 2.0.1 2.0.1 closed-accepted Michael Jastram 2010-11-19 2012-04-10  
521 NewPP, PP, ML fail when datatype in type environment 2.0.1 closed-fixed Carine Pascal 2010-11-17 2014-08-25  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks