Custom Query (201 matches)

Filters
 
Columns

Show under each result:

Results (1 - 100 of 201)

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: new (96 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
#518 Connect Hets to SMV model checker (standalone version) hartke task critical provers 0.8
#519 Connect Hets to SMV model checker (full integration) hartke task critical provers 0.8
#528 update to OMDoc 1.6 ewaryst bug critical interfaces 0.8
#549 mapping a partial op to a total one does not work for HasCASL maeder bug critical logic-hascasl 0.87
#556 split module OMDoc/OMDocOutput.hs elena task critical interfaces 0.87
#558 Translating some HOFs from HasCASL to Isabelle fails maeder bug critical comorphisms 0.87
#581 Keep structure when flattening out heterogeneity and renaming stassiy task critical development-graph 0.87
#589 optimize normal form computation mcodescu bug critical hets 0.87
#599 Shift proof goals against conservative extensions dodi task critical development-graph 0.9
#610 Make dg menus more robust till bug critical development-graph 0.9
#611 Modal systems cannot be translated to CASL codruta bug critical comorphisms 0.9
#612 warn when theory has been reduced luecke bug critical provers 0.9
#616 Filename extension is ignored till bug critical interfaces 0.9
#618 Proving with (co)free links does not work correctly luecke bug critical development-graph 0.9
#624 QuickCheck erroneously disproves contradiction till bug critical provers 0.9
#645 Make injections be identities in SuleCFOL2SoftFOL till bug critical comorphisms 0.9
#648 Improve interaction of hiding and normal forms mcodescu bug critical development-graph 0.9
#649 Colimiting cocone includes a non-signature morphism mcodescu bug critical development-graph 0.9
#650 Obtain weakly amalgamable cocones via logic translations mcodescu feature critical development-graph 0.9
#652 Consistency check for architectural specifications mcodescu feature critical development-graph 0.9
#686 Look at THF and integrate Leo-II luecke task critical provers 0.93
#694 Add headlines to different parts of truth tables for truth table prover till bug critical provers 0.93
#695 Partiality translations maeder bug critical logic-hascasl 0.93
#701 Allow the import of files with separate DG interface (OWL, Haskell, ...) till task critical development-graph 0.93
#721 Warn in case of unsoundness and/or incompleteness luecke feature critical provers 0.93
#727 provide additional commands for hets -I -x maeder task critical interfaces 0.93
#728 Annotate DGOrigin datatype with proof script information maeder task critical change-management 0.93
#9 SPASS problem with reverse of lists till bug major provers 0.66
#16 improve dependency tracking for development graph proofs maeder feature major development-graph 0.66
#17 Implement weakly amalgamable cocones mcodescu task major development-graph 0.66
#33 proofs with CASL basic datatypes luecke task major basic-library 0.66
#59 change management maeder feature major change-management 0.93
#69 Maude as logic in Hets mkhl task major hets 0.73
#74 translation of proofs along comorphisms mcodescu task major provers 1.0
#82 Check OMDoc coding of subsorts normann task major interfaces 0.66
#83 Complete coding of Haskell in Isabelle paolot task major comorphisms 0.66
#86 weakly amalgamable cocones for heterogeneous diagrams mcodescu task major development-graph 0.66
#87 Implement institution comorphism modifications mcodescu task major logic 0.7
#99 send XML queries with DCC expressions to SparQ luecke bug major casl-ext 0.66
#100 write ConstraintCASL composition tables to SparQ format till feature major casl-ext 0.66
#101 write ConstraintCASL composition tables to Freiburg GQR XML format till feature major casl-ext 0.66
#102 read ConstraintCASL composition tables from Freiburg GQR XML format till feature major casl-ext 0.66
#103 test reading and writing ConstraintCASL composition tables in QGR/XML and SparQ formats till task major casl-ext 0.66
#104 qualitative algebra toolset till task major casl-ext 0.66
#107 Write institution for ConstraintCASL till task major casl-ext 0.66
#115 improve handling of compositions of comorphisms mcodescu task major logic 0.66
#133 Pattern analysis for program equations maeder task major logic-hascasl 0.66
#137 Improve Isabelle interface maeder task major provers 0.66
#164 setup Isabelle's classical reasoner maeder task major provers 0.66
#169 sublogic translation table dodi feature major comorphisms 0.66
#179 Strategies for development graph rules dodi bug major development-graph 0.66
#180 Add provers for modal logic codruta feature major provers 0.66
#187 interactive typing of expressions rpascanu feature major interfaces 0.66
#191 (sort of) second order type unification maeder bug major logic-hascasl 0.66
#196 Look to translations in Maude mcodescu task major comorphisms 1.0
#211 version management till task major basic-library 0.66
#216 improve analysis of symbol maps maeder task major logic-casl 0.8
#221 ModalCASL: check whether signature morphisms preserve rigidity of symbols codruta task major casl-ext 0.66
#224 Make various things more heterogeneous mcodescu task major development-graph 0.66
#226 fix error handling in Static.AnalysisArchitecture mcodescu bug major development-graph 0.66
#229 correct analysis of translations and reductions mcodescu task major development-graph 0.66
#230 Various optimizations and corrections in Static.AnalysisStructured maeder task major development-graph 0.66
#236 fix basic inference mcodescu task major development-graph 0.66
#252 Implement Static Analysis of CASL_DL luecke task major casl-ext 0.66
#256 Modal2CASL defects codruta bug major comorphisms 0.66
#257 Improve Goal Status Datatype luecke task major provers 0.66
#260 OWL Structure Analysis luecke task major casl-ext 0.66
#277 Examples from software engeneering till task major basic-library 0.66
#278 Heterogeneous refinement examples mcodescu task major hets 0.66
#282 Ontology examples luecke task major hets 0.66
#295 Integrate IsaPlanner into Hets dodi feature major provers 0.66
#298 add a logic OMDoc-PUN ewaryst feature major interfaces 0.66
#327 Integrate SMT solvers luecke task major provers 0.7
#336 Improve logic graph and fine-grained comorphism selection dodi task major comorphisms 0.7
#342 Integrate CspProver into Hets roba task major provers 0.8
(more results for this group on next page)
1 2 3 →
Note: See TracQuery for help on using queries.