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
#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
#59 change management new maeder feature major 0.95
#62 improve Isabelle default simplifier new till task critical 0.95
#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
#69 Maude as logic in Hets new mkhl task major 0.95
#72 Check correctness of referenced nodes in SimpleDatatypes.casl new till bug critical 0.95
#74 translation of proofs along comorphisms new mcodescu task major 0.95
#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
#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
#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
#137 Improve Isabelle interface new maeder task major 0.95
#164 setup Isabelle's classical reasoner new maeder task major 0.95
#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
#187 interactive typing of expressions new rpascanu feature major 0.95
#191 (sort of) second order type unification new maeder bug major 0.95
#196 Look to translations in Maude new mcodescu task major 0.95
#211 version management new till task major 0.95
#216 improve analysis of symbol maps new maeder task major 0.95
#221 ModalCASL: check whether signature morphisms preserve rigidity of symbols new codruta task major 0.95
#224 Make various things more heterogeneous new mcodescu task major 0.95
#225 check architectural parser new till bug critical 0.95
#226 fix error handling in Static.AnalysisArchitecture new mcodescu bug major 0.95
#229 correct analysis of translations and reductions new mcodescu task major 0.95
#230 Various optimizations and corrections in Static.AnalysisStructured new maeder task major 0.95
#236 fix basic inference new mcodescu task major 0.95
#244 Ignore axiom selection for interactive provers new till task minor 0.95
#252 Implement Static Analysis of CASL_DL new luecke task major 0.95
#254 Provide Goals for Sort Generation Axioms new maeder feature minor 0.95
#255 Add Default Comorphism from Modal Logic to SoftFOL new codruta feature minor 0.95
#256 Modal2CASL defects new codruta bug major 0.95
#257 Improve Goal Status Datatype new luecke task major 0.95
#258 Clean up Mapping of G_theory new till task critical 0.95
#260 OWL Structure Analysis new luecke task major 0.95
#277 Examples from software engeneering new till task major 0.95
#278 Heterogeneous refinement examples new mcodescu task major 0.95
#282 Ontology examples new luecke task major 0.95
#295 Integrate IsaPlanner into Hets new dodi feature major 0.95
#298 add a logic OMDoc-PUN new ewaryst feature major 0.95
#301 adapt GPL warranty to German law new till task critical 0.95
#311 keep structure when calling provers new maeder task critical 0.95
#319 Create HTML info for Hets LiveCD new till task critical 0.95
#323 Add sorting to Prover Windows new raider feature minor 0.95
#327 Integrate SMT solvers new luecke task major 0.95
#336 Improve logic graph and fine-grained comorphism selection new dodi task major 0.95
#342 Integrate CspProver into Hets new roba task major 0.95
#344 integrate CEL reasoner for the description logic EL+ new luecke task major 0.95
#345 restrict sublogic in comorphism from HasCASL to Isabelle new maeder task critical 0.95
#350 SoftFOL: Elimination of Unused Symbols new luecke feature major 0.95
#356 Twelf logic / Logics via Twelf new till task major 0.95
#357 Use existing Isabelle theories new luecke task critical 0.95
#362 Investigate interfaces from Haskell to "native" Code new luecke task major 0.95
#373 check whether Isabelle's AC rewriting can be used for (Has)CASL specifications new luecke task major 0.95
#374 internalize the HasCASL2Isabelle coding of partiality new maeder task major 0.95
#380 add descriptions to Modal, Taxonomy, CASL_DL, OWL_DL, ConstraintCASL, Comorphism modules new till task critical 0.95
#383 type information ignored new maeder bug critical 0.95
#388 set flags for properties of comorphisms new mcodescu task major 0.95
#396 Provide new flag in uDrawGraph encapsulation new till task minor 0.95
#403 sentence names also need to be renamed by comorphisms new maeder bug minor 0.95
#417 develop heuristics for comorphism and prover selection new dodi task critical 0.95
#419 Haskell2Isabelle: treatment of (non-)strict datatypes and newtypes new paolot bug major 0.95
#424 test cases for every logic methods new till feature major 0.95
#425 Parser and static analysis for Maude/Rewriting Logic new mkhl task major 0.95
#426 clarify unused parts in `Logic.Logic` new till task major 0.95
#428 translate binders to Isabelle new maeder feature major 0.95
#433 reparsing theory files does not work new maeder bug minor 0.95
#437 HasCASL subsort coding: make subsort graph explicit reopened maeder task critical 0.95
#445 syntax highlighting for heterogeneous proof scripts new luecke feature major 0.95
#446 use regular closed sets in RCC8 proof new luecke task major 0.95
#452 CoCasl - Isabelle tactics new hausmann bug critical 0.95
#456 extendMorphism goes wrong for Categories.het new maeder bug minor 0.95
#457 New abstract syntax for ModalCASL new codruta task major 0.95
#458 New parser for ModalCASL new codruta task major 0.95
#459 Model checker for ModalCASL new codruta task major 0.95
#462 Development graph calculus takes too long new mcodescu bug major 0.95
#468 Improve QuickCheck's three-valued logic new till task major 0.95
#469 Extend QuickCheck to more complex finite domains new till task major 0.95
#470 QuickCheck: handle infinite domains through randomization new till task major 0.95
#475 use cases for Maude new mkhl task major 0.95
1 2 3 4 →
Note: See TracQuery for help on using queries.