Custom Query (133 matches)

Filters
 
Columns

Show under each result:

Results (1 - 100 of 133)

1 2 →

Status: assigned (4 matches)

Ticket Summary Owner Type Priority Component Version
#427 recognize some generated types as conservative mgross task critical logic-casl 0.73
#28 search function for theories / dg nodes normann task major development-graph 1.0
#241 static analysis of CspCASL gimblett task major casl-ext 1.0
#390 Pretty printing CspCASL processes lacks parentheses gimblett bug minor casl-ext 1.0

Status: closed (31 matches)

Ticket Summary Owner Type Priority Component Version
#20 improve performance of development graph calculus maeder task major development-graph 0.66
#23 test heterogeneous proof scripts mgross task major development-graph 0.66
#35 check whether OMDoc output is compatible with RelaxNG hiben task major interfaces 1.0
#36 checking conservativity of extensions in CASL - motivation xinga task major logic-casl 1.0
#37 checking conservativity of extensions in CASL - algorithms xinga task major logic-casl 1.0
#40 omit types of bound variables in OMDoc output hiben task major interfaces 1.0
#42 introduce OMDoc datatype hiben task major interfaces 1.0
#43 assign a unique origin to Hets symbols in OMDoc ewaryst task major interfaces 1.0
#44 output OMDoc as shared XML structure ewaryst task major interfaces 1.0
#46 report OMDoc bug hiben task major interfaces 1.0
#58 let GUI generate heterogeneous proof scripts luettich feature major interfaces 1.0
#61 display library graph wjch868 feature major hets 1.0
#129 Display certain edge types of development graph raider task major development-graph 0.66
#132 Create a programmatica package maeder task major logic-hascasl 0.66
#135 Weak amalgamation analysis? maeder task major logic-hascasl 0.66
#138 Integrate first-order model finders (for proving consistency) luecke feature major provers 1.0
#143 Integrate KRHyper luecke feature major provers 1.0
#181 use "derive Typeable" maeder task major hets 0.66
#220 All the funny output file formats should be documented and implemented or deleted maeder task major driver 0.66
#455 refactor haifa-lite maeder task major third-party 0.75
#511 Integrate Pellet into Hets luecke task major provers 0.8
#592 Add support for Jena to Hets luecke task major provers 0.87
#593 Redesign OWL luecke task major hets 0.87
#594 Redesign DL luecke task major hets 0.87
#12 Treatment of multiline labels maeder bug minor hets 0.66
#178 Remove warnings maeder task minor hets
#246 Recognize Guarded Fragment of CASL luecke feature minor logic-casl 0.66
#359 systematic HasCASL test cases maeder task minor logic-hascasl 0.7
#447 Binder syntax for HasCASL maeder feature minor logic-hascasl 0.85
#495 check if projection is needed for Cast ewaryst bug minor interfaces 0.8
#502 recent haxml version not recognized by uni configure script maeder task trivial third-party 1.0

Status: new (65 matches)

Ticket Summary Owner Type Priority Component Version
#45 translate sort generation constraints to OMDoc ewaryst task critical interfaces 1.0
#50 make OMDoc interface logic independent elena task critical interfaces 1.0
#243 Improve Selection Possibilities of Sentences for Proofs dodi feature critical provers 0.66
#26 Enforce sublanguage syntax maeder feature major hets 0.66
#29 check proof datastructures for use with informal proofs normann task major hets 1.0
#31 translation Modal-CASL <-> CASL-DL codruta task major comorphisms 1.0
#32 improve ModalCASL codruta task major casl-ext 0.66
#41 unify URLs in OMDoc and Hets ewaryst task major interfaces 1.0
#47 introduce an OMDoc symbol for sort definitions ewaryst task major interfaces 1.0
#48 check origin of OMDoc symbols ewaryst task major interfaces 1.0
#49 correct translation of hiding when translating Hets <-> OMDoc ewaryst bug major interfaces 1.0
#52 highlight instantiation diagrams raider feature major development-graph 1.0
#53 hide nodes that are far away raider feature major development-graph 1.0
#55 generate (x)html code from Doc maeder task major interfaces 0.66
#64 improve efficiency of static analysis of architectural specifications till task major development-graph 0.66
#68 implement institution morphisms mcodescu task major logic 1.0
#70 Integrate model checkers till task major provers 1.0
#73 enhance web interface till feature major interfaces 1.0
#80 Display umlauts in uDrawGraph maeder bug major interfaces 0.66
#89 HideTheoremShift: automatically generate conservative extensions mcodescu task major development-graph 1.0
#91 .dg files: store only current library; import .dg files for other libraries maeder task major interfaces 1.0
#116 check potential use of metavariables till task major logic 0.66
#130 allow naming of subgraphs of dg raider task major development-graph 0.66
#136 Create Isabelle theory morphisms from hets theorem links maeder task major hets 0.66
#139 proof rules for free theorem links till task major development-graph 0.66
#141 extend prover interface with answer substitutions till task major provers 1.0
#142 efficient ABox reasoning luecke task major provers 1.0
#144 Integrate Hets with MMISS ontology tool till task major interfaces 1.0
#146 more CASL sublogics maeder task major logic-casl 1.0
#148 ontology mediation via pushouts/pullbacks/pulations luecke feature major development-graph 1.0
#149 Robinson consistency till task major development-graph 1.0
#150 lift theorem links between same instances of different parameterized specs till feature major development-graph 1.0
#151 node and link menu for conservativity status till feature major development-graph
#152 show subgraphs of the development graph till feature major development-graph 1.0
#153 globally display nodes containing symbols mapped twice till feature major development-graph 1.0
#154 topsort coding: partial functions as relations? till task major comorphisms 1.0
#165 use tooltip to display names of internal nodes raider task major development-graph 0.66
#183 have a look at PROSPER till task major provers 1.0
#184 consistency through disproving luecke task major provers 1.0
#185 logical frameworks and Hets till task major logic 1.0
#188 clarify which widget toolkit to use maeder task major interfaces 1.0
#189 Enhance interface to graphviz/dot maeder task major interfaces 1.0
#195 check use of QuickCheck maeder task major hets 1.0
#197 connect ELAN to Hets till task major provers 1.0
#200 proof rules for cofree specifications in CoCASL maeder task major casl-ext 1.0
#201 improve circular coinduction for CoCASL till task major provers 1.0
#205 Integrate Omega into Hets dodi task major provers 1.0
#209 implement structured-flattened view on specification libraries maeder task major interfaces 1.0
#210 display minimal types of an operation symbol in CASL maeder feature major logic-casl 1.0
#212 add export lists to modules maeder task major hets 0.66
#213 CCS example: show commutativity of || by CoCASL's (circular) coinduction till task major casl-ext 1.0
#214 missing parts in CoCFOL2IsabelleHOL maeder task major casl-ext 0.66
#215 CASL signature projection into a sublogic maeder task major logic-casl 0.66
#217 complete CoCASL static analysis maeder task major casl-ext 1.0
#234 improve Static.LogicStructured till bug major development-graph 0.66
#235 improve CASL amalgamability analysis mcodescu task major logic-casl 0.66
#238 complete ConstraintCASL logic till task major casl-ext 0.66
#259 Add Equivalence Edges to Taxonomy Display raider task major interfaces 0.66
#270 Integrate (presentations of) models into Hets mcodescu task major logic 0.66
#271 Localized signatures via logics with symbol functor mcodescu task major logic 0.66
#272 proof-theoretic comorphisms mcodescu task major logic 0.66
#273 results about Grothendieck institutions till task major logic 0.66
#274 More heterogeneous examples till task major basic-library 0.66
#275 COL / observational logic mcodescu task major casl-ext 0.66
#280 clarify role of Craig interpolation till task major provers 0.66
(more results for this group on next page)
1 2 →
Note: See TracQuery for help on using queries.