Custom Query (276 matches)

Filters
 
Columns

Show under each result:

Results (1 - 100 of 276)

1 2 3 →

Status: assigned (4 matches)

Ticket Summary Owner Type Priority Component Version
#38 integrate CASL consistency checker with Hets mgross task critical development-graph 1.0
#725 Incremental static analysis and dg proof reconstruction maeder task critical change-management 0.93
#676 Integrate Fact++ as consistency checker into Hets shabani bug major hets 0.9
#761 Extend HetCASL to reflect dev-graph concepts maeder task major development-graph 0.93

Status: closed (75 matches)

Ticket Summary Owner Type Priority Component Version
#18 conservativity calculus mgross task critical development-graph 0.66
#51 PGIP interface maeder feature critical interfaces 0.93
#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
#222 use local links induced by %implies for subsumption proofs maeder task major development-graph 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
#682 Spurious error message when closing till bug major interfaces 0.93
#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
#700 +RTS option is not explained properly maeder bug major hets 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
#696 Possible bug in proofs automatic maeder bug minor hets 0.93
#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

Status: new (21 matches)

Ticket Summary Owner Type Priority Component Version
#62 improve Isabelle default simplifier till task critical provers 0.66
#65 proof system for architectural specifications mcodescu feature critical development-graph 1.0
#66 implement static analysis of refinements mcodescu feature critical development-graph 0.66
#67 implement proof system for refinements mcodescu task critical development-graph 0.7
#72 Check correctness of referenced nodes in SimpleDatatypes.casl till bug critical development-graph 0.66
#114 merge or rename consCheck and cons_checkers till task critical logic 0.66
#131 Translation to Isabelle: let cases and classes maeder task critical logic-hascasl 0.66
#171 sublogics based on theories? mcodescu feature critical logic 0.66
#172 signatures versus theories mcodescu feature critical logic 0.66
#225 check architectural parser till bug critical logic 0.66
#258 Clean up Mapping of G_theory till task critical provers 0.66
#301 adapt GPL warranty to German law till task critical hets 0.66
#311 keep structure when calling provers maeder task critical development-graph 0.66
#319 Create HTML info for Hets LiveCD till task critical hets 0.7
#345 restrict sublogic in comorphism from HasCASL to Isabelle maeder task critical comorphisms 0.7
#357 Use existing Isabelle theories luecke task critical provers 0.7
#380 add descriptions to Modal, Taxonomy, CASL_DL, OWL_DL, ConstraintCASL, Comorphism modules till task critical hets 0.7
#383 type information ignored maeder bug critical logic-hascasl 0.7
#417 develop heuristics for comorphism and prover selection dodi task critical comorphisms 0.73
#452 CoCasl - Isabelle tactics hausmann bug critical hets 0.75
#487 integrate Isabelle as a full logic node (also read in theories) maeder feature critical provers 0.8
(more results for this group on next page)
1 2 3 →
Note: See TracQuery for help on using queries.