Custom Query (312 matches)

Filters
 
Columns

Show under each result:

Results (201 - 300 of 312)

← 1 2 3 4 →
Ticket Summary Status Owner Type Priority Milestone
#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
#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
#476 use cases for Maude: arithmetic rewriting new mkhl task major 0.95
#477 sufficient completeness checking using Maude new mkhl task major 1.0
#478 specification of concurrent systems/Kripke models in Maude new mkhl task major 0.95
#481 overhaul installer new maeder feature major 0.95
#484 Integration of Maude into GUI tools new mkhl task major 0.95
#485 integrate TLA+ as a logic into Hets new maeder feature major 1.0
#490 Modal2HasCASL comorphism new mcodescu task major 1.0
#493 Isabelle syntax annotations new maeder feature major 0.95
#499 dependency tracking for comorphisms new mcodescu feature major 0.95
#500 provers should also output the set of used symbols new luecke task major 0.95
#508 development graph transformations for sending structured theories to provers new stassiy task major 0.95
#520 more %implied theorems in basic libraries new ewaryst task major 0.95
#527 CDs for logics new elena bug major 0.95
#531 refactor casl.omdoc with other logics new ewaryst bug major 0.95
#533 remove code duplication in Proofs/InferBasic.hs new raider task major 0.95
#546 integrate higher-order model finder new maeder task major 0.95
#550 Haskell to Isabelle HOLCF failure new paolot bug major 0.95
#553 Conservativity check for HasCASL new maeder task major 1.0
#559 VSE-dynamic logic and HasCASL new mcodescu task major 0.95
#562 reading omdoc files takes too much memory new elena bug major 0.95
#568 Integrate logics workbench new luecke task major 0.95
#569 adjust HasCASL to overview new maeder bug major 0.95
#570 better support domains and program blocks new maeder bug major 0.95
#571 subtyping is restricted new maeder feature major 0.95
#573 Create Sexpression from HasCASL for Omega new ewaryst task major 0.95
#578 Logic_CspCASL misses implementations new gimblett task major 0.95
#583 different logics in imports, formal and actual specs still cause problems new maeder bug major 0.95
#584 extension removes alias created for (non-atomic) subtype new maeder bug major 0.95
#585 SoftFOL and SuleCFOL2SoftFOL problems new maeder bug major 0.95
#586 finality test fails new maeder bug major 0.95
#590 Test connection to OMBase new ewaryst task major 0.95
#591 Modify Comorphisms for Theory Injections new maeder task major 0.95
#595 Integrate OnePoint new till bug major 0.95
#600 casl-mode goes wrong after '\"' new luecke bug major 0.95
#602 implement inverse and qualify for logic HasCASL new maeder task 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
#623 Improve failure messages for darwin model finding new maeder task major 0.95
#625 refactor prover activation new maeder task major 0.95
#626 unify CMDL and GUI new maeder task major 0.95
#627 Proofs->Automatic fails for RelationAlgebraModel new till bug major 0.95
#628 Termination proof produces error new luecke bug major 0.95
#630 improve HasCASL typechecking speed new maeder bug major 0.95
#636 HasCASL theory computation problem new maeder bug major 0.95
#637 Implement the decomposition theorem on CspCASL views new maeder feature major 0.95
#640 Encoding of Sort Generation Constraints in Isabelle new maeder bug major 0.95
#651 Add quantified boolean logic (QBF) as a logic new till feature major 0.95
#662 amalgamation property for comorphisms per signature morphism new mcodescu task major 0.95
#664 HasCASL subtype relation and membership problem new maeder bug major 0.95
#671 Automatic correspondence for modal logic new codruta feature major 0.95
#676 Integrate Fact++ as consistency checker into Hets assigned shabani bug major 0.95
#681 "Prove" on a node enlarges local theory new maeder bug major 0.95
#683 flattening disjoint union is incomplete new stassiy bug major 0.95
#684 hets crashes when trying to prove PropTrue with zchaff or minisat new luecke bug major 0.95
#687 Look at SNARK and Metis new luecke task major 0.95
#692 Axioms from unit, assoc, comm annotations are not exported from HasCASL specs to Isabelle new maeder bug major 0.95
#703 convert parsed library to and from xml new ewaryst task major 0.95
#704 port to Isabelle2009 new maeder task major 0.95
#707 Have a look at model finder Nitpick new luecke bug major 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
#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
#736 Prover Isabelle is not supported in CMDL mode new till bug major 0.95
#737 XML parsing creates wrong CMDL commands as text new maeder bug major 0.95
#739 proofs run by the CMDL are not recorded in the development graph new maeder bug major 0.95
#746 parsing Maude modules new adrian bug major 0.95
#749 uni needs to be ported to ghc-6.12 new maeder task major 1.0
#757 More sophisticated theorem orderings à la VSE new maeder feature major 0.95
#758 Make whole theories (de)selectable in proof window new luecke feature major 0.95
#759 Change management for local theorem links new maeder task major 0.95
#760 Wrong proof created by extra options passed to darwin new maeder bug major 0.95
#761 Extend HetCASL to reflect dev-graph concepts assigned maeder task major 0.95
#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
← 1 2 3 4 →
Note: See TracQuery for help on using queries.