Timeline
03.11.2009:
- 20:09 Ticket #760 (Wrong proof created by extra options passed to darwin) created by
- if "-fd true" is entered as extra option in the prover window, the proof …
- 17:54 Changeset [12778] by
-
- trunk/Isabelle/IsaProve.hs
- trunk/Logic/Prover.hs
- trunk/OWL/ProvePellet.hs
- trunk/Propositional/Prove.hs
- trunk/Propositional/ProveMinisat.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/SoftFOL/ProveDarwin.hs
refactored consistency checker interface
- 17:29 Changeset [12777] by
-
- trunk/GUI/displayDependencyGraph.hs
current hierarchy without cycles
- 16:02 Changeset [12776] by
-
- trunk/Comorphisms/LogicGraph.hs
- trunk/Logic/Grothendieck.hs
- trunk/Logic/Modification.hs
moved lookup square and added Ord instances
- 15:03 Changeset [12775] by
-
- trunk/Common/Lib/Rel.hs
hlinted
- 14:25 Changeset [12774] by
-
- trunk/CASL/ColimSign.hs
- trunk/CASL/Overload.hs
- trunk/Common/Lib/Rel.hs
- trunk/Common/SetColimit.hs
moved leqClasses
02.11.2009:
- 17:50 Changeset [12773] by
-
- trunk/GUI/displayDependencyGraph.hs
use qualified uni names via uni/mk/ReplaceModuleNames
- 17:47 Changeset [12772] by
-
- trunk/utils/nightly/pc-solaris/cronjob.sh
clean up /tmp on denebola filled by mathServe
- 17:36 Changeset [12771] by
-
- trunk/Logic/Comorphism.hs
shortened error message and put theory text into a hint
31.10.2009:
- 17:27 Changeset [12770] by
-
- trunk/Comorphisms/CASL2TopSort.hs
corrected variable sort
- 15:48 Changeset [12769] by
-
- trunk/Isabelle/Translate.hs
replace ' ' char to avoid duplicate axioms
- 15:21 Changeset [12768] by
-
- trunk/Common/Utils.hs
added replace function
- 14:10 Changeset [12767] by
-
- trunk/Comorphisms/CASL2SubCFOL.hs
make all ops total for SubCFOL
30.10.2009:
- 19:20 Changeset [12766] by
-
- trunk/OWL/StaticAnalysis.hs
also remove owl2xml namespace
- 18:27 Changeset [12765] by
-
- trunk/OWL/Morphism.hs
improved error message for OWL views
- 18:15 Changeset [12764] by
-
- trunk/OWL/Logic_OWL.hs
- trunk/OWL/Morphism.hs
- trunk/OWL/StaticAnalysis.hs
implemented views
- 17:15 Changeset [12763] by
-
- trunk/CspCASLProver/Utils.hs
Changed how the trasitivity and identity axiom names are produced, CspCASLProver should now work better for isomorphic sorts
- 16:08 Changeset [12762] by
-
- trunk/CASL/Sign.hs
- trunk/Comorphisms/CASL2SubCFOL.hs
- trunk/CspCASLProver/Utils.hs
Created functions to generate axiom names Used these functions in CspCASLProver
- 15:28 Changeset [12761] by
-
- trunk/Comorphisms/CASL2SubCFOL.hs
use different names
- 15:04 Changeset [12760] by
-
- trunk/CASL/Project.hs
- trunk/CASL/Sign.hs
- trunk/Comorphisms/CASL2PCFOL.hs
- trunk/Comorphisms/CASL2SubCFOL.hs
- trunk/Makefile
removed inline axioms and created axioms directly
- 11:28 Changeset [12759] by
-
- trunk/Comorphisms/CASL2TopSort.hs
use intended arg_res names
- 11:04 Changeset [12758] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
exclude a cyclic transitivity (as before)
- 10:41 Changeset [12757] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
re-ordered and renamed generated axioms
29.10.2009:
- 19:57 Ticket #208 (Consistency Checker GUI) closed by
- fixed: Implemented. Stop button works fine since changeset:12754
- 19:40 Changeset [12756] by
-
- trunk/GUI.hs
updated doc
- 19:07 Changeset [12755] by
-
- trunk/GUI/GenericATP.hs
- trunk/GUI/GraphMenu.hs
- trunk/GUI/GraphTypes.hs
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/GtkGenericATP.hs
- trunk/GUI/HTkProofDetails.hs
- trunk/GUI/HTkProverGUI.hs
- trunk/GUI/ProverGUI.hs
equalize naming scheme of Gtk and HTk files.
- 18:46 Changeset [12754] by
-
- trunk/GUI/GenericATP.hs
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/Glade/GenericATP.glade
- trunk/GUI/Glade/ProverGUI.glade
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/GtkGenericATP.hs
- trunk/GUI/GtkProverGUI.hs
- trunk/GUI/GtkUtils.hs
- trunk/GUI/HTkGenericATP.hs
Added a Gtk version of the generic prover gui. GenericATP.hs moved to HTkGenericATP.hs. Stop is now workin in ConsistencyChecker?.
- 17:17 Changeset [12753] by
-
- trunk/Comorphisms/CASL2TopSort.hs
- trunk/Makefile
removed inline axioms and created axioms directly
- 16:36 Changeset [12752] by
-
- trunk/DFOL/Morphism.hs
Removed too long lines
- 16:34 Changeset [12751] by
-
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Morphism.hs
Removed too long lines
- 16:29 Changeset [12750] by
-
- trunk/DFOL/Morphism.hs
Renamed a variable
- 16:26 Changeset [12749] by
-
- trunk/Comorphisms/DFOL2CASL.hs
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Morphism.hs
Added headers and algorithm descriptions
- 14:53 Changeset [12748] by
-
- trunk/DFOL/Logic_DFOL.hs
Added the implementation of final_union for DFOL
- 10:59 Ticket #759 (Change management for local theorem links) created by
- For each local axiom in the source of the link, compute the set of used …
- 10:40 Ticket #758 (Make whole theories (de)selectable in proof window) created by
- plus (de)selection of invidual axioms, as already there
- 10:36 Ticket #757 (More sophisticated theorem orderings à la VSE) created by
- In a local node, allow the postulation or generation of orderings that …
- 10:11 Changeset [12747] by
-
- trunk/Comorphisms/HetLogicGraph.hs
re-added cons-checker sublogic
- 01:00 Changeset [12746] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Sign.hs
- trunk/DFOL/Tests/StructuredSpecs.het
- trunk/DFOL/Tests/Structuring.het
- trunk/DFOL/Tests/Test_Structuring.hs
Added implementations of (co)generated signatures for DFOL
28.10.2009:
- 20:20 Changeset [12745] by
-
- trunk/CMDL/DgCommands.hs
- trunk/CMDL/ProveConsistency.hs
- trunk/CMDL/Shell.hs
- trunk/Comorphisms/HetLogicGraph.hs
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/ShowLogicGraph.hs
- trunk/Isabelle/IsaProve.hs
- trunk/Logic/Prover.hs
- trunk/Makefile
- trunk/OWL/ProvePellet.hs
- trunk/Proofs/AbstractState.hs
- trunk/Proofs/InferBasic.hs
- trunk/Propositional/Prove.hs
- trunk/Propositional/ProveMinisat.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/SoftFOL/ProveDarwin.hs
refactored consistency checkers
27.10.2009:
- 22:07 Ticket #754 (internal reference nodes are always displayed) closed by
- fixed: fixed by changeset:12742 and changeset:12744
- 22:05 Changeset [12744] by
-
- trunk/GUI/GraphMenu.hs
shortened menus of nodes and edges. shortened function names. names of internal ref nodes are now show- and hideable.
- 17:02 Changeset [12743] by
-
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/GtkConsistencyChecker.hs
shortened comorphism name
- 16:08 Ticket #755 (unpleasant Gtk-Message) closed by
- fixed: Fixed by setting a theme (style) "Configure Desktop -> Appearance -> GTK …
- 15:43 Changeset [12742] by
-
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/Static/DevGraph.hs
adjusted display
- 15:36 Changeset [12741] by
-
- trunk/CASL/Freeness.hs
- trunk/Logic/Logic.hs
- trunk/Proofs/NormalForm.hs
removed node M'
- 14:28 Changeset [12740] by
-
- trunk/GUI/GraphMenu.hs
changed circles for internal nodes to ellipses
- 14:18 Changeset [12739] by
-
- trunk/GUI/HTkUtils.hs
use ASCII char * for inconsistent
- 11:18 Changeset [12738] by
-
- trunk/ExtModal/Logic_ExtModal.hs
Fixed ExtModal/Logic?_ExtModal.hs
- 10:52 Changeset [12737] by
-
- trunk/ExtModal/Logic_ExtModal.hs
Fixed some errors in ExtModal/Logic?_ExtModal.hs
- 10:37 Changeset [12736] by
-
- trunk/ExtModal/ExtModalSign.hs
- trunk/ExtModal/MorphismExtension.hs
- trunk/ExtModal/Parse_AS.hs
- trunk/ExtModal/Print_AS.hs
- trunk/ExtModal/StatAna.hs
Fixed the warnings in ExtModal?
26.10.2009:
- 18:30 Changeset [12735] by
-
- trunk/GMP/papers/heterogenous/het_col.tex
getting better...
- 18:25 Changeset [12734] by
-
- trunk/GMP/papers/conditional/example.tex
Typo in modal-CK rule. \neg B_1 -> \neg B_n
- 17:55 Changeset [12733] by
-
- trunk/ExtModal/Logic_ExtModal.hs
- trunk/Makefile
corrected ExtModal? logic
- 17:31 Changeset [12732] by
-
- trunk/Comorphisms/LogicList.hs
- trunk/ExtModal/ExtModalSign.hs
- trunk/ExtModal/ExtModalSystems.hs
- trunk/ExtModal/Logic_ExtModal.hs
- trunk/ExtModal/MorphismExtension.hs
- trunk/ExtModal/Parse_AS.hs
Changed ExtModal/Logic?_ExtModal.hs
- 17:20 Changeset [12731] by
-
- trunk/CMDL/ProcessScript.hs
- trunk/CMDL/ProveConsistency.hs
- trunk/Proofs/DGFlattening.hs
- trunk/Proofs/TheoremHideShift.hs
- trunk/SoftFOL/CreateDFGDoc.hs
- trunk/Static/ComputeTheory.hs
- trunk/Syntax/ToXml.hs
removed redundant imports
- 17:16 Changeset [12730] by
-
- trunk/CASL/CompositionTable/ModelChecker.hs
- trunk/CASL/QuickCheck.hs
- trunk/CASL_DL/StatAna.hs
- trunk/CMDL/ConsCommands.hs
- trunk/CMDL/DataTypesUtils.hs
- trunk/CMDL/DgCommands.hs
- trunk/CMDL/InfoCommands.hs
- trunk/CMDL/ProveCommands.hs
- trunk/CMDL/Shell.hs
- trunk/CMDL/UndoRedo.hs
- trunk/CMDL/Utils.hs
- trunk/Common/ProverTools.hs
- trunk/Comorphisms/CASL2PCFOL.hs
- trunk/Comorphisms/CASL_DL2CASL.hs
- trunk/Comorphisms/CoCASL2CoPCFOL.hs
- trunk/Comorphisms/CoCASL2CoSubCFOL.hs
- trunk/Comorphisms/Haskell2IsabelleHOLCF.hs
- trunk/Comorphisms/Hs2HOLCF.hs
- trunk/Comorphisms/Hs2HOLCFaux.hs
- trunk/Comorphisms/LogicGraph.hs
- trunk/Comorphisms/OWL2CASL.hs
- trunk/CspCASL/StatAnaCSP.hs
- trunk/Driver/Options.hs
- trunk/GUI/AbstractGraphView.hs
- trunk/GUI/GraphAbstraction.hs
- trunk/GUI/GraphLogic.hs
- trunk/HasCASL/ConvertTypePattern.hs
- trunk/HasCASL/Merge.hs
- trunk/HasCASL/OpDecl.hs
- trunk/HasCASL/ParseTerm.hs
- trunk/HasCASL/TypeAna.hs
- trunk/HasCASL/TypeCheck.hs
- trunk/Interfaces/GenericATPState.hs
- trunk/Interfaces/History.hs
- trunk/Logic/Morphism.hs
- trunk/Maude/Language.hs
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/Morphism.hs
- trunk/Maude/Symbol.hs
- trunk/OMDoc/Export.hs
- trunk/OWL/Conservativity.hs
- trunk/OWL/ProvePellet.hs
- trunk/PGIP/XMLparsing.hs
- trunk/Proofs/Composition.hs
- trunk/Proofs/Global.hs
- trunk/Proofs/HideTheoremShift.hs
- trunk/Proofs/Local.hs
- trunk/Proofs/SimpleTheoremHideShift.hs
- trunk/Propositional/Analysis.hs
- trunk/Propositional/Conservativity.hs
- trunk/Propositional/Parse_AS_Basic.hs
- trunk/Propositional/Prove.hs
- trunk/Propositional/ProveMinisat.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/RelationalScheme/StaticAnalysis.hs
- trunk/SoftFOL/MathServMapping.hs
- trunk/SoftFOL/PrintTPTP.hs
- trunk/SoftFOL/ProverState.hs
- trunk/Static/ToXml.hs
- trunk/Taxonomy/MMiSSOntology.hs
- trunk/Taxonomy/MMiSSOntologyGraph.hs
- trunk/VSE/Ana.hs
removed redundant imports
- 17:01 Changeset [12729] by
-
- trunk/GMP/papers/conditional/example.tex
Typos $R_{sc}$ vs. \mathcal{R}_{sc}, CKCEM-rule adapted to general format
- 16:37 Changeset [12728] by
-
- trunk/GMP/papers/conditional/example.tex
Justification of CKCEM, adressed Termination/correctness, CK-rule in box now
- 16:33 Changeset [12727] by
-
- trunk/CASL/Monoton.hs
- trunk/CASL/Parse_AS_Basic.hs
- trunk/Common/OrderedMap.hs
- trunk/Common/SetColimit.hs
- trunk/CspCASL/LocalTop.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Sign.hs
- trunk/OWL/Sublogic.hs
- trunk/OWL/Taxonomy.hs
- trunk/RelationalScheme/Sign.hs
removed unused imports
- 16:00 Changeset [12726] by
-
- trunk/CASL/ColimSign.hs
- trunk/Common/SetColimit.hs
- trunk/Propositional/Analysis.hs
made an algorithm generic to reuse it for OWL
- 15:58 Changeset [12725] by
-
- trunk/CASL/Formula.hs
- trunk/CASL/Parse_AS_Basic.hs
- trunk/Common/AnnoState.hs
- trunk/Common/Lexer.hs
- trunk/HasCASL/ParseItem.hs
- trunk/HasCASL/ParseTerm.hs
- trunk/Isabelle/IsaParse.hs
- trunk/Propositional/Parse_AS_Basic.hs
- trunk/SoftFOL/DFGParser.hs
- trunk/SoftFOL/ParseTPTP.hs
- trunk/Syntax/Parse_AS_Architecture.hs
- trunk/Syntax/Parse_AS_Structured.hs
hlinted
- 15:22 Changeset [12724] by
-
- trunk/CASL/Freeness.hs
- trunk/Maude/test.maude
Some errors fixed
- 13:09 Changeset [12723] by
-
- trunk/CASL/Freeness.hs
- trunk/CoCASL.hs
- trunk/Comorphisms/Maude2CASL.hs
changed to ASCII
- 12:38 Changeset [12722] by
-
- trunk/CASL/AlphaConvert.hs
adjusted to changeset:12698
- 12:12 Changeset [12721] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
changed header
- 12:09 Changeset [12720] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
changed comment only
- 12:08 Changeset [12719] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
removed duplicate code and now unnecessary renaming
- 11:28 Changeset [12718] by
-
- trunk/Comorphisms/CASL2PCFOL.hs
- trunk/Makefile
CASL2PCFOL contains no inline axioms any more
25.10.2009:
- 15:50 Ticket #753 (too many "expand" links) closed by
- fixed: fixed by changeset:12717
- 15:49 Changeset [12717] by
-
- trunk/GUI/GraphLogic.hs
hidden edges are now filtered befor calculating compressed paths. see #753
- 01:18 Changeset [12716] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Comorphism.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Parse_AS_DFOL.hs
- trunk/DFOL/Sign.hs
- trunk/DFOL/Symbol.hs
- trunk/DFOL/Utils.hs
Corrected the headers for files
24.10.2009:
- 23:50 Changeset [12715] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
Removed whitespaces
- 23:47 Changeset [12714] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Comorphism.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Parse_AS_DFOL.hs
- trunk/DFOL/Sign.hs
- trunk/DFOL/Symbol.hs
- trunk/DFOL/Tests/Colimits1.het
- trunk/DFOL/Tests/Test_Analysis_DFOL.hs
- trunk/DFOL/Utils.hs
Removed too long lines Added headers to files
- 22:13 Changeset [12713] by
-
- trunk/DFOL/Tests/Colimits1.het
Added a missing view
- 20:17 Changeset [12712] by
-
- trunk/DFOL/Tests/Categories.het
- trunk/DFOL/Tests/Matrices.het
- trunk/DFOL/Tests/StructuredSpecs.het
- trunk/DFOL/Tests/Test.het
- trunk/DFOL/Tests/Test_AS_DFOL.hs
- trunk/DFOL/Tests/Test_Analysis_DFOL.hs
- trunk/DFOL/Tests/Test_Parse_AS_DFOL.hs
- trunk/DFOL/Tests/Test_Structuring.hs
Restoring accidentally deleted files
- 20:15 Changeset [12711] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Colimit.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Tests/Categories.het
- trunk/DFOL/Tests/Matrices.het
- trunk/DFOL/Tests/StructuredSpecs.het
- trunk/DFOL/Tests/Test_AS_DFOL.hs
- trunk/DFOL/Tests/Test_Analysis_DFOL.hs
- trunk/DFOL/Tests/Test_Parse_AS_DFOL.hs
- trunk/DFOL/Tests/Test_Structuring.hs
Adding the computation of colimits for DFOL
- 20:09 Changeset [12710] by
-
- trunk/DFOL/Tests/Colimits1.het
- trunk/DFOL/Tests/Colimits2.het
Adding test specifications for DFOL colimits
23.10.2009:
- 18:58 Changeset [12709] by
-
- trunk/Comorphisms/CASL2TopSort.inline.hs
sort relation must be closed for mostRight
- 18:17 Changeset [12708] by
-
- trunk/Comorphisms/DMU2OWL.hs
- trunk/DMU/Logic_DMU.hs
- trunk/DMU/test/Integrated.het
stored DMU text in signature rather than as sentence
- 17:56 Changeset [12707] by
-
- trunk/Driver/Options.hs
expect .xml source for logic DMU
- 16:37 Changeset [12706] by
-
- trunk/Comorphisms/CASL2PCFOL.inline.hs
Removed the projection axiom form the inline system. Changed the name of the identity axiom. Now PCFOL.inline.hs has no inline CASL axioms.
- 16:07 Changeset [12705] by
-
- trunk/Comorphisms/CASL2PCFOL.inline.hs
removed identity axiom form inline system
- 13:38 Changeset [12704] by
-
- trunk/Static/AnalysisLibrary.hs
change default logic for imported libs after seeing DMU
- 13:31 Changeset [12703] by
-
- trunk/Comorphisms/DMU2OWL.hs
check for the empty string
- 12:56 Changeset [12702] by
-
- trunk/GMP/papers/heterogenous/het_col.tex
Added some typed sequent rules
- 12:21 Changeset [12701] by
-
- trunk/Comorphisms/CASL2TopSort.inline.hs
replaced sort and terms by var-decls
- 11:18 Changeset [12700] by
-
- trunk/ExtModal/MorphismExtension.hs
Added MorphismExtension?.hs
- 11:06 Changeset [12699] by
-
- trunk/CASL/Induction.hs
- trunk/CASL/Sign.hs
- trunk/CASL/Utils.hs
- trunk/Comorphisms/CASL2TopSort.inline.hs
use curried functions
- 10:50 Changeset [12698] by
-
- trunk/CASL/Utils.hs
- trunk/Comorphisms/CASL2TopSort.inline.hs
cleaned up
22.10.2009:
- 18:49 Changeset [12697] by
-
- trunk/Comorphisms/CASL2PCFOL.inline.hs
Removed transitivity axiom from inline system
- 18:14 Changeset [12696] by
-
- trunk/Comorphisms/CASL2PCFOL.inline.hs
removed duplicate code
- 17:35 Changeset [12695] by
-
- trunk/CspCASLProver/Utils.hs
Updated CSP-CASL-Prover to use new names of embedding injectivity axioms
- 17:28 Changeset [12694] by
-
- trunk/ExtModal/Logic_ExtModal.hs
Added ExtModal?.MorphismExtension?.hs and ExtModal?.Logic_ExtModal.hs
- 17:26 Changeset [12693] by
-
- trunk/CASL/Induction.hs
- trunk/CASL/Sign.hs
moved shortcuts
- 17:25 Changeset [12692] by
-
- trunk/Comorphisms/CASL2PCFOL.inline.hs
Removed projection_injectivity inline axiom
- 17:00 Changeset [12691] by
-
- trunk/CASL/Sign.hs
- trunk/Comorphisms/CASL2PCFOL.inline.hs
Made improvements to first stage of removing inline axioms
- 15:21 Changeset [12690] by
-
- trunk/CASL/Sign.hs
- trunk/Comorphisms/CASL2PCFOL.inline.hs
Started an attaempt at removing the inline axiom system
- 12:31 Ticket #756 (remove inlineAxioms from comorphisms) created by
- overcoming the limitation of inlineAxioms by post-processing formulas …
- 12:01 Changeset [12689] by
-
- trunk/Common/LibName.hs
- trunk/Driver/ReadFn.hs
- trunk/GUI/hets_cgi.hs
- trunk/Static/AnalysisLibrary.hs
file and library name cosmetics
- 11:26 Changeset [12688] by
-
- trunk/Comorphisms/DMU2OWL.hs
removed biba email address
21.10.2009:
- 19:46 Changeset [12687] by
-
- trunk/Static/AnalysisLibrary.hs
derive library and spec names from file name if not explicitely supplied
- 18:12 Changeset [12686] by
-
- trunk/GMP/papers/heterogenous
- trunk/GMP/papers/heterogenous/coalgml.bib
- trunk/GMP/papers/heterogenous/entcs.bst
- trunk/GMP/papers/heterogenous/entcs.cls
- trunk/GMP/papers/heterogenous/entcsmacro.sty
- trunk/GMP/papers/heterogenous/header.tex
- trunk/GMP/papers/heterogenous/het_col.tex
- trunk/GMP/papers/heterogenous/ifpdf.sty
- trunk/GMP/papers/heterogenous/instr.ascii
- trunk/GMP/papers/heterogenous/kvoptions.sty
- trunk/GMP/papers/heterogenous/mathpartir.sty
- trunk/GMP/papers/heterogenous/myabbrv.bst
- trunk/GMP/papers/heterogenous/refcount.drv
- trunk/GMP/papers/heterogenous/refcount.dtx
- trunk/GMP/papers/heterogenous/refcount.ins
- trunk/GMP/papers/heterogenous/refcount.log
- trunk/GMP/papers/heterogenous/refcount.sty
First version of a paper about heterogenous modal logics in CoLoSS
- 17:19 Changeset [12685] by
-
- trunk/GMP/papers/conditional/example.tex
One more typo :)
- 16:42 Changeset [12684] by
-
- trunk/Comorphisms/DMU2OWL.hs
- trunk/Comorphisms/LogicGraph.hs
- trunk/Comorphisms/LogicList.hs
- trunk/DMU/Logic_DMU.hs
- trunk/DMU/OntoDMU.jar
- trunk/DMU/test
- trunk/DMU/test/meinTest.xml
- trunk/DMU/test/test4.xml
added DMU to OWL translation
- 16:25 Ticket #755 (unpleasant Gtk-Message) created by
- This message turns up for me when clicking "speichern" in the Window …
- 16:21 Changeset [12683] by
-
- trunk/GMP/papers/conditional/example.tex
Typo
- 16:18 Changeset [12682] by
-
- trunk/GMP/papers/conditional/example.tex
Typo fixed
- 11:10 Changeset [12681] by
-
- trunk/DMU/Logic_DMU.hs
- trunk/Logic/Logic.hs
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/Sign.hs
is_sign_of is unused
- 10:57 Ticket #754 (internal reference nodes are always displayed) created by
- […]
- 10:37 Ticket #5 (Global decomposition does not work across library borders) closed by
- fixed: I'm closing this since the time for #672 went down considerably. Yet …
- 10:18 Ticket #672 (Proofs-Automatic takes too long) closed by
- fixed: In changeset:12669 I've removed global subsumption from "automatic" and …
- 09:24 Changeset [12680] by
-
- trunk/test/ParameterSpecTest/ParamView.xml
one fewer link due to changeset:12677
20.10.2009:
- 20:22 Changeset [12679] by
-
- trunk/Comorphisms/LogicList.hs
- trunk/DMU
- trunk/DMU/Logic_DMU.hs
started working on DMU
- 17:21 Changeset [12678] by
-
- trunk/GMP/papers/conditional/example.tex
More small fixes (eg. completed benchmarking results)
- 17:20 Changeset [12677] by
-
- trunk/Proofs/Global.hs
do not create a global theorem link if there is an equivalent definition link
- 16:36 Changeset [12676] by
-
- trunk/GMP/papers/conditional/example.tex
More typos fixed
- 16:22 Changeset [12675] by
-
- trunk/GMP/papers/conditional/example.tex
Typos, benchmark results w/o tracing (10x faster)
- 15:43 Changeset [12674] by
-
- trunk/ExtModal/StatAna.hs
Added ExtModal/StatAna?.hs
- 15:37 Changeset [12673] by
-
- trunk/Comorphisms/KnownProvers.hs
added Maude to Isabelle
- 01:10 Changeset [12672] by
-
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Sign.hs
Removed whitespaces
- 01:07 Changeset [12671] by
-
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Sign.hs
- trunk/DFOL/Tests/Categories.het
- trunk/DFOL/Tests/StructuredSpecs.het
- trunk/DFOL/Tests/Test_Structuring.hs
- trunk/DFOL/Utils.hs
19.10.2009:
- 20:05 Changeset [12670] by
-
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/GtkConsistencyChecker.hs
Sublogic and the selected comorphism is now shown in Consistency checker. name of comorphism needs to be shortened. fixed gtk spinbutton warning.
- 17:24 Changeset [12669] by
-
- trunk/Proofs/Automatic.hs
- trunk/Proofs/Global.hs
avoid creating global theorem loops and try without global subsumption
- 16:05 Ticket #753 (too many "expand" links) created by
- after "show unnamed nodes without open proofs" much less links are …
- 14:38 Changeset [12668] by
-
- trunk/CASL/Morphism.hs
removed assert
- 11:53 Changeset [12667] by
-
- trunk/CMDL/ProcessScript.hs
- trunk/hets.hs
moved .hpf process message
- 11:26 Changeset [12666] by
-
- trunk/utils/nightly/cronjob.sh
added Calculi/*/*.hpf cases
17.10.2009:
- 10:18 Changeset [12665] by
-
- trunk/utils/nightly/runSPASS.sh
decrease SPASS timelimit
16.10.2009:
- 19:26 Changeset [12664] by
-
- trunk/Hets.cabal
removed regex-compat package
- 19:22 Changeset [12663] by
-
- trunk/SoftFOL/ProveSPASS.hs
removed another Text.Regex usage
- 18:50 Changeset [12662] by
-
- trunk/Propositional/Prove.hs
avoided unnecessary regular expressions
- 18:29 Changeset [12661] by
-
- trunk/CASL/QuickCheck.hs
- trunk/CMDL/ProveCommands.hs
- trunk/CMDL/ProveConsistency.hs
- trunk/CMDL/Shell.hs
- trunk/Comorphisms/HetLogicGraph.hs
- trunk/Comorphisms/KnownProvers.hs
- trunk/CspCASLProver/CspCASLProver.hs
- trunk/GUI/GenericATP.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/HTkUtils.hs
- trunk/GUI/ProofDetails.hs
- trunk/GUI/ShowLogicGraph.hs
- trunk/Interfaces/DataTypes.hs
- trunk/Interfaces/GenericATPState.hs
- trunk/Interfaces/Utils.hs
- trunk/Isabelle/IsaProve.hs
- trunk/Logic/Coerce.hs
- trunk/Logic/Prover.hs
- trunk/OWL/ProvePellet.hs
- trunk/Proofs/AbstractState.hs
- trunk/Proofs/BatchProcessing.hs
- trunk/Proofs/InferBasic.hs
- trunk/Propositional/Prove.hs
- trunk/Propositional/ProveMinisat.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/SoftFOL/MathServMapping.hs
- trunk/SoftFOL/ProveDarwin.hs
- trunk/SoftFOL/ProveMathServ.hs
- trunk/SoftFOL/ProveSPASS.hs
- trunk/SoftFOL/ProveVampire.hs
- trunk/SoftFOL/ProverState.hs
- trunk/SoftFOL/tests/CMDL_tests.hs
- trunk/Static/GTheory.hs
- trunk/VSE/Prove.hs
refactored prover stuff
- 15:59 Changeset [12660] by
-
- trunk/GUI/GtkProverGUI.hs
made it compile
- 15:53 Changeset [12659] by
-
- trunk/Interfaces/GenericATPState.hs
derive Show and Read
- 14:50 Ticket #752 (integrate Gtk prover GUI) created by
- in GUI.ProverGUI use GUI.GtkProverGUI if GTKGLADE is …
- 13:09 Changeset [12658] by
-
- trunk/test/GALILEO/run.sh
nightly check Michael Chan's test case
- 13:07 Changeset [12657] by
-
- trunk/Driver/AnaLib.hs
- trunk/Driver/ReadFn.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/GUI/ShowLibGraph.hs
- trunk/PGIP/XMLparsing.hs
- trunk/Static/AnalysisLibrary.hs
compute filename from library name always using HETS_LIB
- 11:21 Ticket #751 (compute theory incorrect) closed by
- fixed: should be fixed by changeset:12656
- 11:20 Changeset [12656] by
-
- trunk/Proofs/VSE.hs
- trunk/Static/DGTranslation.hs
recompute global theories after translations #751
- 10:50 Ticket #751 (compute theory incorrect) created by
- With DFOL/Tests/Categories.het, translate the library along DFOL2CASL …
- 10:24 Changeset [12655] by
-
- trunk/utils/nightly/runSPASS.sh
set a time limit
- 01:57 Changeset [12654] by
-
- trunk/Maude/Meta.hs
- trunk/Maude/Meta/AsSymbol.hs
- trunk/Maude/Meta/HasLabels.hs
- trunk/Maude/Meta/HasName.hs
- trunk/Maude/Meta/HasOps.hs
- trunk/Maude/Meta/HasSorts.hs
Document Meta.*
- 01:57 Changeset [12653] by
-
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/Maude2DG.hs
- trunk/Maude/Morphism.hs
Document and refactor Morphism.
15.10.2009:
- 20:16 Changeset [12652] by
-
- trunk/utils/nightly/runSPASS.sh
try different SPASS options
- 16:41 Changeset [12651] by
-
- trunk/Driver/WriteFn.hs
also output reference nodes
- 16:29 Ticket #750 (prover selection does not work) reopened by
- Markus, could you look into this, too. For …
- 16:19 Ticket #750 (prover selection does not work) closed by
- fixed: this is both fixed by changeset:12650. For some reason prepareForProving …
- 15:58 Changeset [12650] by
-
- trunk/Proofs/Global.hs
partly revert changeset:12624 and consider all ingoing edges to fix disproved result in #750
- 13:58 Changeset [12649] by
-
- trunk/Proofs/InferBasic.hs
slightly improve cons-checker output (needs more work)
- 13:56 Ticket #750 (prover selection does not work) created by
- the script […]
- 13:34 Ticket #680 (Use .hpf proof script files for batch testing) closed by
- fixed: today, everything went through, so let's wait for a reproducible problem
- 11:22 Ticket #748 (Consistency check with Pellet fails) closed by
- fixed: The literal value is accepted as "100.0^^float" or "100.0^^xsd:float", …
- 11:18 Changeset [12648] by
-
- trunk/OWL/Parse.hs
- trunk/OWL/Print.hs
let flange example of #748 go through pellet
14.10.2009:
- 16:54 Changeset [12647] by
-
- trunk/Comorphisms/LogicGraph.hs
allow to compile without CASLEXTENSIONS
- 16:49 Ticket #749 (uni needs to be ported to ghc-6.12) created by
- after installing the deprecated packedstring package I get the following …
- 16:40 Changeset [12646] by
-
- trunk/Makefile
remove old haddock-0.8 stuff
- 15:46 Changeset [12645] by
-
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Print_AS.hs
Added ExtModal/Print?_AS.hs
- 15:27 Changeset [12644] by
-
- trunk/GUI/GtkConsistencyChecker.hs
get sublogics from _global_ theories
- 14:59 Changeset [12643] by
-
- trunk/Logic/Comorphism.hs
use map_sign to compute proper signature for model reconstruction of compositions
- 14:36 Changeset [12642] by
-
- trunk/OWL/ProvePellet.hs
implemented proveCMDLautomatic cons checker
- 14:00 Changeset [12641] by
-
- trunk/OWL/Parse.hs
prefer to read a constant
- 11:30 Changeset [12640] by
-
- trunk/ExtModal/ExtModalSign.hs
Added signatures for ExtModal?
- 11:04 Ticket #680 (Use .hpf proof script files for batch testing) reopened by
- on gemini batch testing gets stuck on the first file[…]
- 09:03 Changeset [12639] by
-
- trunk/CMDL/Commands.hs
- trunk/CMDL/InfoCommands.hs
- trunk/CMDL/Shell.hs
- trunk/Interfaces/Command.hs
Removed obsolete details command.
- 01:38 Changeset [12638] by
-
- trunk/test/GALILEO
- trunk/test/GALILEO/Heat.casl
- trunk/test/GALILEO/Heat.hpf
- trunk/test/GALILEO/newnode.casl
