Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Group 1.3 Maximize Restore

Open
N/A
39 / 47

1.3

Showing results of 47

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
719 Cannot edit/remove a duplicated SMT configuration 1.3 open Nicolas Beauger 2014-06-13 2014-06-13  
504 Another unsuccessful elimination of parameters and guards 1.3 closed-fixed Alex Iliasov 2010-10-17 2010-10-24  
503 Eliminated parameter used in a side condition 1.3 closed-fixed Alex Iliasov 2010-10-16 2010-10-24  
499 camille editor refuses to save 1.3 open Michael Jastram 2010-10-13 2012-12-08  
495 theorem violated but all proof obligations discharged 1.3 closed Alex Iliasov 2010-10-10 2010-10-11  
491 Unable to save project after renaming invariants 1.3 open Michael Jastram 2010-09-25 2011-09-21  
490 a namespace-sensitive translation problem 1.3 closed-fixed Alex Iliasov 2010-09-23 2010-10-24  
489 implicit actions needed but not generated 1.3 closed-fixed Alex Iliasov 2010-09-22 2010-10-24  
488 unfair requests for witnesses 1.3 closed-fixed Alex Iliasov 2010-09-16 2010-10-24  
487 weird translation problems with operation calls 1.3 closed-fixed Alex Iliasov 2010-09-15 2010-12-16  
486 invariant violated but all proof obligations discharged 1.3 closed-fixed Alex Iliasov 2010-09-08 2010-10-24  
485 insufficiency in proof obligation generation 1.3 closed-fixed Alex Iliasov 2010-09-03 2010-10-24  
484 interface theorems preferably without INV proof obligations 1.3 closed-fixed Alex Iliasov 2010-08-31 2010-09-29  
483 Proof simplification too slow 1.3 closed-fixed Carine Pascal 2010-08-27 2012-02-14  
482 type mismatch in an operation call observed too late 1.3 closed-out-of-date Alex Iliasov 2010-08-26 2010-10-24  
481 hypothesis gets deselected unexpectedly 1.3 closed-fixed Carine Pascal 2010-08-25 2010-09-14  
480 Saving failed caused by AssertionError in rebuild 1.3 closed-fixed Thomas Muller 2010-08-24 2012-04-02  
479 Wrong action statement causes SC tool error 1.3 closed-fixed Thomas Muller 2010-08-20 2010-09-14  
478 New Event Wizard :: NAT[tab] 1.3 closed-works-for-me Carine Pascal 2010-08-19 2011-01-25  
477 Failed assertion in newPP 1.3 closed-fixed Laurent Voisin 2010-07-15 2010-07-15  
476 Rule produced by contrHyps is too weak 1.3 closed-fixed Laurent Voisin 2010-07-12 2010-07-12  
475 OnePointRule in post tactics makes proof save crash 1.3 closed-fixed Thomas Muller 2010-07-09 2010-07-09  
474 Proof simplification does not remove useless rules 1.3 closed-fixed Carine Pascal 2010-07-09 2011-12-16  
473 Proof replay resilient to useless rules 1.3 closed-fixed Laurent Voisin 2010-07-09 2010-07-09  
472 Rodin 1.3.1 prover is still unsound 1.3 closed-fixed Laurent Voisin 2010-07-06 2010-09-19  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 > >> (Page 1 of 2)