Custom Query (31 matches)

Filters
 
Columns

Show under each result:

Resolution: fixed (22 matches)

Ticket Summary Owner Type Priority Component Version
#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
#46 report OMDoc bug hiben task 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
#138 Integrate first-order model finders (for proving consistency) 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
#593 Redesign OWL luecke task major hets 0.87
#12 Treatment of multiline labels maeder bug minor hets 0.66
#178 Remove warnings maeder task minor hets
#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

Resolution: invalid (3 matches)

Ticket Summary Owner Type Priority Component Version
#143 Integrate KRHyper luecke feature major provers 1.0
#592 Add support for Jena to Hets luecke task major provers 0.87
#594 Redesign DL luecke task major hets 0.87

Resolution: wontfix (2 matches)

Ticket Summary Owner Type Priority Component Version
#44 output OMDoc as shared XML structure ewaryst task major interfaces 1.0
#359 systematic HasCASL test cases maeder task minor logic-hascasl 0.7

Resolution: duplicate (4 matches)

Ticket Summary Owner Type Priority Component Version
#20 improve performance of development graph calculus maeder task major development-graph 0.66
#58 let GUI generate heterogeneous proof scripts luettich feature major interfaces 1.0
#135 Weak amalgamation analysis? maeder task major logic-hascasl 0.66
#246 Recognize Guarded Fragment of CASL luecke feature minor logic-casl 0.66
Note: See TracQuery for help on using queries.