Custom Query (75 matches)

Filters
 
Columns

Show under each result:

Resolution: fixed (70 matches)

Ticket Summary Owner Type Priority Component Version
#18 conservativity calculus mgross task critical development-graph 0.66
#90 Change conservativity status when conservativity proof has been successful mgross task critical development-graph 0.66
#372 reject negative occurrences of the types being declared in free types maeder bug critical logic-hascasl 0.7
#697 Graph updates are incomplete and delayed raider bug critical interfaces 0.93
#698 Introduce cons, mono and def as proof status for nodes mgross task critical development-graph 0.93
#699 display indeterminate progress bar for generation of prover input raider task critical provers 0.93
#715 %cons annotation is ignored maeder bug critical development-graph 0.93
#716 display nodes and edges with open %cons obligations in yellow till feature critical development-graph 0.93
#724 Annotate DGOrigin datatype with XML position information maeder task critical interfaces 0.93
#726 Provide interface for proof script parser maeder task critical interfaces 0.93
#729 Provide XML representation of development graph maeder task critical interfaces 0.93
#732 Library files not found in commandline mode maeder bug critical hets 0.93
#741 Refactor and re-add missing *-current commands in CMDL interface mgross task critical interfaces 0.93
#208 Consistency Checker GUI raider feature major interfaces 0.66
#223 implement subsignature test for Isabelle maeder task major logic 0.66
#279 positive theories are conservative mgross task major logic-casl 0.66
#369 clarify library name and file path correspondence till task major basic-library 0.7
#474 adapt to haddock-2.0.0.0 maeder task major third-party 0.8
#536 MathServe Broker doesn't prove goals in commandline mode (although it works using the GUI) rpascanu bug major interfaces 0.8
#547 ProofHistory handling improvement maeder feature major hets 0.87
#561 Integrate minisat luecke feature major provers 0.87
#565 Progress messages in commandline mode mgross feature major interfaces 0.87
#566 New edgecompression for hideNodes raider feature major interfaces 0.87
#632 Symbols maps do not work for Propositional maeder feature major casl-ext 0.9
#634 translation to Isabelle failure maeder bug major hets 0.9
#635 Proofs-Automatic re-creates external nodes multiple times maeder bug major development-graph 0.9
#642 Proofs automatic is not exhaustive maeder bug major development-graph 0.9
#643 Symbol maps do not work for OWL maeder feature major casl-ext 0.9
#646 uDraw(Graph) bug raider bug major hets 0.9
#661 saving a node's theory emits Gtk warnings maeder bug major hets 0.9
#672 Proofs-Automatic takes too long maeder bug major development-graph 0.9
#677 ShowTheory fails after Qualify Names in Union Specification maeder bug major hets 0.9
#680 Use .hpf proof script files for batch testing mgross bug major hets 0.9
#685 conservativity output should be improved mgross task major provers 0.93
#688 Refactor xml exchange for PGIP rpascanu bug major interfaces 0.93
#689 HasCASL's Logical wrongly becomes unit in Isabelle maeder bug major logic-hascasl 0.93
#690 unite CommandHistory and UndoRedoElem mgross task major interfaces 0.93
#691 refactor GUI changes propagation raider task major interfaces 0.93
#693 MakePartial added in Isabelle-Export maeder bug major logic-hascasl 0.93
#702 SuleCFOL2SoftFOL crash maeder bug major logic-casl 0.93
#718 conservativity checker crash mgross bug major provers 0.93
#719 inducedFromMorphism does not preserve the overload relation maeder bug major hets 0.93
#722 Test maeder bug major hets 0.93
#723 no selection displays error message twice raider bug major interfaces 0.93
#730 Command "prove-all" does not work in commandline mode maeder bug major interfaces 0.93
#731 Hets does not return properly when prover is finished in commandline mode mgross bug major interfaces 0.93
#733 Don't hide open theorem links raider bug major hets 0.93
#734 PGIP shell should report bad xml commands mgross feature major interfaces 0.93
#735 Prove VSE Structured for natbin_refine.het puzzles me maeder bug major hets 0.93
#738 HasCASL type analysis takes too long for literals with highly overloaded digits maeder bug major logic-hascasl 0.93
#740 Cannot adjust type at a subtype situation in Isabelle translation maeder bug major hets 0.93
#744 treatment of proof-scripts by the CMDL interface should be more uniform mgross task major interfaces 0.93
#745 better error message when MAUDE_LIB not set maeder bug major hets 0.93
#747 Remove Shellac dependency mgross task major interfaces 0.93
#750 prover selection does not work mgross bug major hets 0.93
#751 compute theory incorrect maeder bug major hets 0.93
#752 integrate Gtk prover GUI raider task major interfaces 0.93
#753 too many "expand" links raider bug major interfaces 0.93
#754 internal reference nodes are always displayed raider task major hets 0.93
#755 unpleasant Gtk-Message raider bug major interfaces 0.93
#756 remove inlineAxioms from comorphisms maeder task major comorphisms 0.93
#762 local inference should not filter out sentences based on the computed theory maeder task major change-management 0.93
#763 wrong type leads to endless recursion maeder bug major logic-hascasl 0.93
#638 Control the naming of the automatically generated axioms in CASL maeder bug minor hets 0.9
#705 Hide/Show internal names bug raider bug minor interfaces 0.93
#706 SPASS fails to create CNF for large propositional formula maeder bug minor provers 0.93
#709 changeset:11799 displays graphs wrongly after "Proofs" raider bug minor interfaces 0.93
#710 Node -> Prove changes are not displayed directly raider bug minor interfaces 0.93
#748 Consistency check with Pellet fails luecke bug minor provers 0.93
#708 Menu entry "Hide/show proven nodes" is misleading raider task trivial interfaces 0.93

Resolution: invalid (1 match)

Ticket Summary Owner Type Priority Component Version
#51 PGIP interface maeder feature critical interfaces 0.93

Resolution: wontfix (3 matches)

Ticket Summary Owner Type Priority Component Version
#222 use local links induced by %implies for subsumption proofs maeder task major development-graph 0.66
#682 Spurious error message when closing till bug major interfaces 0.93
#700 +RTS option is not explained properly maeder bug major hets 0.93

Resolution: duplicate (1 match)

Ticket Summary Owner Type Priority Component Version
#696 Possible bug in proofs automatic maeder bug minor hets 0.93
Note: See TracQuery for help on using queries.