Custom Query (312 matches)

Filters
 
Columns

Show under each result:

Results (101 - 200 of 312)

← 1 2 3 4 →
Ticket Summary Status Owner Type Priority Milestone
#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
#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
#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
#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
#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
#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
#215 CASL signature projection into a sublogic new maeder task major 1.0
#216 improve analysis of symbol maps new maeder task major 0.95
#217 complete CoCASL static analysis new maeder task major 1.0
#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
#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
#234 improve Static.LogicStructured new till bug major 1.0
#235 improve CASL amalgamability analysis new mcodescu task major 1.0
#236 fix basic inference new mcodescu task major 0.95
#238 complete ConstraintCASL logic new till task major 1.0
#241 static analysis of CspCASL assigned gimblett task major 1.0
#252 Implement Static Analysis of CASL_DL new luecke task major 0.95
#256 Modal2CASL defects new codruta bug major 0.95
#257 Improve Goal Status Datatype new luecke task major 0.95
#259 Add Equivalence Edges to Taxonomy Display new raider task major 1.0
#260 OWL Structure Analysis new luecke task major 0.95
#270 Integrate (presentations of) models into Hets new mcodescu task major 1.0
#271 Localized signatures via logics with symbol functor new mcodescu task major 1.0
#272 proof-theoretic comorphisms new mcodescu task major 1.0
#273 results about Grothendieck institutions new till task major 1.0
#274 More heterogeneous examples new till task major 1.0
#275 COL / observational logic new mcodescu task major 1.0
#277 Examples from software engeneering new till task major 0.95
#278 Heterogeneous refinement examples new mcodescu task major 0.95
#280 clarify role of Craig interpolation new till task major 1.0
#281 Haskell examples new maeder task major 1.0
#282 Ontology examples new luecke task major 0.95
#283 Text formatting new maeder task major 1.0
#295 Integrate IsaPlanner into Hets new dodi feature major 0.95
#298 add a logic OMDoc-PUN new ewaryst feature major 0.95
#300 process algebras new maeder feature major 1.0
#324 LCF-like abstraction barrier for development graph calculus new till bug major 1.0
#325 non-monotonic logics new till task major 2.0
#326 ModalCASL and CoCASL new till task major 1.0
#327 Integrate SMT solvers new luecke task major 0.95
#328 Look at jETI new till task major 2.0
#329 CspCASL and ModalCASL/CoCASL new roba feature major 1.0
#330 learn from failed proof attempts new dodi task major 2.0
#333 Parser for the DIMACS format new luecke task major 2.0
#336 Improve logic graph and fine-grained comorphism selection new dodi task major 0.95
#337 Correct and extend PLogic for Haskell new till task major 1.0
#338 Tools for Plogic new maeder task major 1.0
#340 Integrate further models of concurrency new till task major 1.0
#341 Extend Hets for use with informal documents new till task major 1.0
#342 Integrate CspProver into Hets new roba task major 0.95
#343 Prover for CspCASL new roba task major 1.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
#349 Look at Specware new maeder task major 1.0
#350 SoftFOL: Elimination of Unused Symbols new luecke feature major 0.95
#356 Twelf logic / Logics via Twelf new till task major 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
#388 set flags for properties of comorphisms new mcodescu task major 0.95
#416 use SMT solvers for conservativity checking new mcodescu task major 1.0
#418 Integrate SRASS new luecke task major 1.0
#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
← 1 2 3 4 →
Note: See TracQuery for help on using queries.