Custom Query (312 matches)

Filters
 
Columns

Show under each result:

Results (1 - 100 of 312)

1 2 3 4 →
Ticket Summary Status Owner Type Priority Milestone
#9 SPASS problem with reverse of lists new till bug major 0.95
#16 improve dependency tracking for development graph proofs new maeder feature major 0.95
#17 Implement weakly amalgamable cocones new mcodescu task major 0.95
#26 Enforce sublanguage syntax new maeder feature major 1.0
#28 search function for theories / dg nodes assigned normann task major 1.0
#29 check proof datastructures for use with informal proofs new normann task major 1.0
#31 translation Modal-CASL <-> CASL-DL new codruta task major 1.0
#32 improve ModalCASL new codruta task major 1.0
#33 proofs with CASL basic datatypes new luecke task major 0.95
#38 integrate CASL consistency checker with Hets assigned mgross task critical 0.95
#41 unify URLs in OMDoc and Hets new ewaryst task major 1.0
#45 translate sort generation constraints to OMDoc new ewaryst task critical 1.0
#47 introduce an OMDoc symbol for sort definitions new ewaryst task major 1.0
#48 check origin of OMDoc symbols new ewaryst task major 1.0
#49 correct translation of hiding when translating Hets <-> OMDoc new ewaryst bug major 1.0
#50 make OMDoc interface logic independent new elena task critical 1.0
#52 highlight instantiation diagrams new raider feature major 1.0
#53 hide nodes that are far away new raider feature major 1.0
#55 generate (x)html code from Doc new maeder task major 1.0
#59 change management new maeder feature major 0.95
#60 port hets to windows new maeder task minor 1.0
#62 improve Isabelle default simplifier new till task critical 0.95
#64 improve efficiency of static analysis of architectural specifications new till task major 1.0
#65 proof system for architectural specifications new mcodescu feature critical 0.95
#66 implement static analysis of refinements new mcodescu feature critical 0.95
#67 implement proof system for refinements new mcodescu task critical 0.95
#68 implement institution morphisms new mcodescu task major 1.0
#69 Maude as logic in Hets new mkhl task major 0.95
#70 Integrate model checkers new till task major 1.0
#72 Check correctness of referenced nodes in SimpleDatatypes.casl new till bug critical 0.95
#73 enhance web interface new till feature major 1.0
#74 translation of proofs along comorphisms new mcodescu task major 0.95
#80 Display umlauts in uDrawGraph new maeder bug major 1.0
#82 Check OMDoc coding of subsorts new normann task major 0.95
#83 Complete coding of Haskell in Isabelle new paolot task major 0.95
#86 weakly amalgamable cocones for heterogeneous diagrams new mcodescu task major 0.95
#87 Implement institution comorphism modifications new mcodescu task major 0.95
#89 HideTheoremShift: automatically generate conservative extensions new mcodescu task major 1.0
#91 .dg files: store only current library; import .dg files for other libraries new maeder task major 1.0
#99 send XML queries with DCC expressions to SparQ new luecke bug major 0.95
#100 write ConstraintCASL composition tables to SparQ format new till feature major 0.95
#101 write ConstraintCASL composition tables to Freiburg GQR XML format new till feature major 0.95
#102 read ConstraintCASL composition tables from Freiburg GQR XML format new till feature major 0.95
#103 test reading and writing ConstraintCASL composition tables in QGR/XML and SparQ formats new till task major 0.95
#104 qualitative algebra toolset new till task major 0.95
#107 Write institution for ConstraintCASL new till task major 0.95
#114 merge or rename consCheck and cons_checkers new till task critical 0.95
#115 improve handling of compositions of comorphisms new mcodescu task major 0.95
#116 check potential use of metavariables new till task major 1.0
#117 adapt terminology for symbols new mcodescu task major 2.0
#130 allow naming of subgraphs of dg new raider task major 1.0
#131 Translation to Isabelle: let cases and classes new maeder task critical 0.95
#133 Pattern analysis for program equations new maeder task major 0.95
#136 Create Isabelle theory morphisms from hets theorem links new maeder task major 1.0
#137 Improve Isabelle interface new maeder task major 0.95
#139 proof rules for free theorem links new till task major 1.0
#141 extend prover interface with answer substitutions new till task major 1.0
#142 efficient ABox reasoning new luecke task major 1.0
#144 Integrate Hets with MMISS ontology tool new till task major 1.0
#146 more CASL sublogics new maeder task major 1.0
#148 ontology mediation via pushouts/pullbacks/pulations new luecke feature major 1.0
#149 Robinson consistency new till task major 1.0
#150 lift theorem links between same instances of different parameterized specs new till feature major 1.0
#151 node and link menu for conservativity status new till feature major 1.0
#152 show subgraphs of the development graph new till feature major 1.0
#153 globally display nodes containing symbols mapped twice new till feature major 1.0
#154 topsort coding: partial functions as relations? new till task major 1.0
#158 Automatic GUI and CMDL interface for Isabelle new maeder feature minor 1.0
#164 setup Isabelle's classical reasoner new maeder task major 0.95
#165 use tooltip to display names of internal nodes new raider task major 1.0
#169 sublogic translation table new dodi feature major 0.95
#171 sublogics based on theories? new mcodescu feature critical 0.95
#172 signatures versus theories new mcodescu feature critical 0.95
#179 Strategies for development graph rules new dodi bug major 0.95
#180 Add provers for modal logic new codruta feature major 0.95
#183 have a look at PROSPER new till task major 1.0
#184 consistency through disproving new luecke task major 1.0
#185 logical frameworks and Hets new till task major 1.0
#186 use of reflection for Hets? new till task minor 1.0
#187 interactive typing of expressions new rpascanu feature major 0.95
#188 clarify which widget toolkit to use new maeder task major 1.0
#189 Enhance interface to graphviz/dot new maeder task major 1.0
#191 (sort of) second order type unification new maeder bug major 0.95
#193 output development graphs in XML new maeder task minor 1.0
#194 use of Data.Serizable for reading/writing? new maeder task minor 1.0
#195 check use of QuickCheck new maeder task major 1.0
#196 Look to translations in Maude new mcodescu task major 0.95
#197 connect ELAN to Hets new till task major 1.0
#199 Isabelle induction tactic for generated types reopened till task major 1.0
#200 proof rules for cofree specifications in CoCASL new maeder task major 1.0
#201 improve circular coinduction for CoCASL new till task major 1.0
#202 Parser for mix between Isabelle and CASL syntax? new maeder task minor 1.0
#204 Integrate PVS into Hets new maeder task minor 2.0
#205 Integrate Omega into Hets new dodi task major 1.0
#209 implement structured-flattened view on specification libraries new maeder task major 1.0
#210 display minimal types of an operation symbol in CASL new maeder feature major 1.0
#211 version management new till task major 0.95
#212 add export lists to modules new maeder task major 1.0
#213 CCS example: show commutativity of || by CoCASL's (circular) coinduction new till task major 1.0
#214 missing parts in CoCFOL2IsabelleHOL new maeder task major 1.0
1 2 3 4 →
Note: See TracQuery for help on using queries.