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
#746 parsing Maude modules new adrian bug major 0.95
#31 translation Modal-CASL <-> CASL-DL new codruta task major 1.0
#32 improve ModalCASL new codruta task major 1.0
#180 Add provers for modal logic new codruta feature major 0.95
#221 ModalCASL: check whether signature morphisms preserve rigidity of symbols new codruta task major 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
#454 refactor generation of `Modal.ModalSystems` new codruta task minor 2.0
#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
#611 Modal systems cannot be translated to CASL new codruta bug critical 0.95
#671 Automatic correspondence for modal logic new codruta feature major 0.95
#169 sublogic translation table new dodi feature major 0.95
#179 Strategies for development graph rules new dodi bug major 0.95
#205 Integrate Omega into Hets new dodi task major 1.0
#243 Improve Selection Possibilities of Sentences for Proofs new dodi feature critical 1.0
#295 Integrate IsaPlanner into Hets new dodi feature major 0.95
#330 learn from failed proof attempts new dodi task major 2.0
#336 Improve logic graph and fine-grained comorphism selection new dodi task major 0.95
#417 develop heuristics for comorphism and prover selection new dodi task critical 0.95
#599 Shift proof goals against conservative extensions new dodi task critical 0.95
#50 make OMDoc interface logic independent new elena task critical 1.0
#527 CDs for logics new elena bug major 0.95
#556 split module OMDoc/OMDocOutput.hs new elena task critical 0.95
#562 reading omdoc files takes too much memory new elena bug major 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
#298 add a logic OMDoc-PUN new ewaryst feature major 0.95
#520 more %implied theorems in basic libraries new ewaryst task major 0.95
#528 update to OMDoc 1.6 new ewaryst bug critical 0.95
#531 refactor casl.omdoc with other logics new ewaryst bug major 0.95
#573 Create Sexpression from HasCASL for Omega new ewaryst task major 0.95
#590 Test connection to OMBase new ewaryst task major 0.95
#703 convert parsed library to and from xml new ewaryst task major 0.95
#241 static analysis of CspCASL assigned gimblett task major 1.0
#390 Pretty printing CspCASL processes lacks parentheses assigned gimblett bug minor 1.0
#578 Logic_CspCASL misses implementations new gimblett task major 0.95
#518 Connect Hets to SMV model checker (standalone version) new hartke task critical 0.95
#519 Connect Hets to SMV model checker (full integration) new hartke task critical 0.95
#452 CoCasl - Isabelle tactics new hausmann bug critical 0.95
#711 Implement coNP proof search for conditional logic new hausmann feature major 0.95
#712 Optimizations for Coloss new hausmann feature major 0.95
#713 Benchmarks for Coalgebraic Modal Logic new hausmann feature major 0.95
#714 Compositional reasoning in Coloss new hausmann bug major 0.95
#33 proofs with CASL basic datatypes new luecke task major 0.95
#99 send XML queries with DCC expressions to SparQ new luecke bug major 0.95
#142 efficient ABox reasoning new luecke task major 1.0
#148 ontology mediation via pushouts/pullbacks/pulations new luecke feature major 1.0
#184 consistency through disproving new luecke task major 1.0
#252 Implement Static Analysis of CASL_DL new luecke task major 0.95
#257 Improve Goal Status Datatype new luecke task major 0.95
#260 OWL Structure Analysis new luecke task major 0.95
#276 modal logic examples new luecke task minor 1.0
#282 Ontology examples new luecke task major 0.95
#327 Integrate SMT solvers new luecke task major 0.95
#333 Parser for the DIMACS format new luecke task major 2.0
#344 integrate CEL reasoner for the description logic EL+ new luecke task major 0.95
#348 integrate AWE new luecke task major 1.0
#350 SoftFOL: Elimination of Unused Symbols new luecke feature 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
#418 Integrate SRASS new luecke task major 1.0
#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
#451 Look at VeriFun, possibly integrate it new luecke task major 1.0
#500 provers should also output the set of used symbols new luecke task major 0.95
#568 Integrate logics workbench new luecke task major 0.95
#600 casl-mode goes wrong after '\"' new luecke bug major 0.95
#605 integrate zchaff into the installer new luecke task major 0.95
#606 provide examples for logic Propositional and zchaff new luecke task major 0.95
#612 warn when theory has been reduced new luecke bug critical 0.95
#618 Proving with (co)free links does not work correctly new luecke bug critical 0.95
#628 Termination proof produces error new luecke bug major 0.95
#684 hets crashes when trying to prove PropTrue with zchaff or minisat new luecke bug major 0.95
#686 Look at THF and integrate Leo-II new luecke task critical 0.95
#687 Look at SNARK and Metis new luecke task major 0.95
#707 Have a look at model finder Nitpick new luecke bug major 0.95
#717 Add the possibility to inject theories into Comorphisms new luecke task major 0.95
#720 Vampire does not return used axioms new luecke bug major 0.95
#721 Warn in case of unsoundness and/or incompleteness new luecke feature critical 0.95
#742 for concurrent proofs the output is intermangled new luecke bug minor 1.0
#758 Make whole theories (de)selectable in proof window new luecke feature major 0.95
#16 improve dependency tracking for development graph proofs new maeder feature major 0.95
#26 Enforce sublanguage syntax new maeder 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
#80 Display umlauts in uDrawGraph new maeder bug major 1.0
#91 .dg files: store only current library; import .dg files for other libraries new maeder 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
#146 more CASL sublogics new maeder task major 1.0
#158 Automatic GUI and CMDL interface for Isabelle new maeder feature minor 1.0
1 2 3 4 →
Note: See TracQuery for help on using queries.