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
#414 refine implementation of renaming classes and types new maeder feature trivial 2.0
#60 port hets to windows new maeder task minor 1.0
#158 Automatic GUI and CMDL interface for Isabelle new maeder feature minor 1.0
#186 use of reflection for Hets? new till task minor 1.0
#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
#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
#244 Ignore axiom selection for interactive provers new till task minor 0.95
#245 Improve Taxonomy Display for CASL new raider feature minor 1.0
#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
#276 modal logic examples new luecke task minor 1.0
#296 Integrate Hets with PGIP-Plugin for Eclipse new rpascanu feature minor 1.0
#306 Connect theorem proving tools written in Haskell to Hets new maeder task minor 2.0
#323 Add sorting to Prover Windows new raider feature minor 0.95
#332 Paraconsistent logic new till task minor 1.0
#390 Pretty printing CspCASL processes lacks parentheses assigned gimblett bug minor 1.0
#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
#433 reparsing theory files does not work new maeder bug minor 0.95
#454 refactor generation of `Modal.ModalSystems` new codruta task minor 2.0
#456 extendMorphism goes wrong for Categories.het new maeder bug minor 0.95
#551 Proofs -> Automatic on Basic/LinearAlgebra_I.casl freezes GUI new till bug minor 0.95
#742 for concurrent proofs the output is intermangled new luecke bug minor 1.0
#743 Refactor pgip xml element handling reopened mgross task minor 0.95
#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
#41 unify URLs in OMDoc and Hets new ewaryst task major 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
#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
#64 improve efficiency of static analysis of architectural specifications new till task major 1.0
#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
#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
#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
#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
#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
1 2 3 4 →
Note: See TracQuery for help on using queries.