Timeline
07.11.2009:
- 20:19 Changeset [12803] by
-
- trunk/Comorphisms/CASL2SubCFOL.hs
treat iso-decls properly
- 16:57 Changeset [12802] by
-
- trunk/Comorphisms/CASL2SubCFOL.hs
use transReduce to get minimal supersorts
- 16:10 Changeset [12801] by
-
- trunk/Comorphisms/CASL2TopSort.hs
changed disambiguation
- 13:53 Changeset [12800] by
-
- trunk/Comorphisms/CASL2TopSort.hs
consider isomorphic sorts for totality
- 13:13 Changeset [12799] by
-
- trunk/Comorphisms/CASL2TopSort.hs
refactored
- 12:34 Changeset [12798] by
-
- trunk/Comorphisms/CASL2TopSort.hs
try to make functions total first
- 12:03 Changeset [12797] by
-
- trunk/Comorphisms/CASL2TopSort.hs
made some functions partial and adjusted op kinds in formulas
- 10:13 Changeset [12796] by
-
- trunk/CASL/Sign.hs
added blank before .
06.11.2009:
- 18:44 Changeset [12795] by
-
- trunk/HasCASL/TypeAna.hs
corrected haddock
- 18:39 Changeset [12794] by
-
- trunk/Comorphisms/CASL2TopSort.hs
- trunk/utils/nightly/cronjob.sh
made CASL2TopSort more usable
- 16:57 Changeset [12793] by
-
- trunk/Comorphisms/CASL2TopSort.hs
corrected symmetry axioms
- 14:50 Changeset [12792] by
-
- trunk/CspCASLProver/Consts.hs
- trunk/CspCASLProver/CspCASLProver.hs
- trunk/CspCASLProver/CspProverConsts.hs
- trunk/CspCASLProver/TransProcesses.hs
- trunk/CspCASLProver/Utils.hs
- trunk/Isabelle/IsaConsts.hs
Added Isabelle functions Image and Range. Drastically changed how the process translation works. It now works for channels and term prefix in a compatible way. All channel operations are now supported by CspCASLProver. Renaming, hiding, chaos and run are still not supported.
05.11.2009:
- 21:15 Ticket #223 (implement subsignature test for Isabelle) closed by
- fixed: implemented by [9774]
- 21:10 Ticket #222 (use local links induced by %implies for subsumption proofs) closed by
- wontfix: I don't see a need for this. Links induced by %implies go backwards. …
- 20:47 Changeset [12791] by
-
- trunk/GUI/displayDependencyGraph.hs
separated GUI from CMDL
- 20:46 Changeset [12790] by
-
- trunk/CMDL/InfoCommands.hs
removed unused cDisplayGraph
- 20:33 Changeset [12789] by
-
- trunk/Makefile
added TESTTARGETFILES for binaries
- 20:29 Changeset [12788] by
-
- trunk/Proofs/Global.hs
also do not create a local thm link if there is a definition link
- 20:11 Ticket #474 (adapt to haddock-2.0.0.0) closed by
- fixed: we are using haddock from ghc now.
- 18:04 Ticket #719 (inducedFromMorphism does not preserve the overload relation) closed by
- fixed: The above error was changed to a warning in changeset:12002[…]
- 17:56 Changeset [12787] by
-
- trunk/CMDL/InfoCommands.hs
Replaced Node- and Edge-Info in CMDL to display the same output as in the GUI.
- 17:55 Ticket #745 (better error message when MAUDE_LIB not set) closed by
- fixed: […] would simply block if MAUDE_LIB is not …
- 17:48 Changeset [12786] by
-
- trunk/Maude/Maude2DG.hs
check for MAUDE_LIB variable
- 17:26 Changeset [12785] by
-
- trunk/CMDL/Interface.hs
Replaced MVar with IORef.
- 17:01 Ticket #763 (wrong type leads to endless recursion) closed by
- fixed: fixed by changeset:12784
- 17:00 Changeset [12784] by
-
- trunk/HasCASL/TypeAna.hs
- trunk/HasCASL/test/PlainTypes.hascasl.output
fail by returning Nothing for wrong types
- 16:19 Changeset [12783] by
-
- trunk/GUI/GraphTypes.hs
- trunk/GUI/GtkGenericATP.hs
- trunk/GUI/GtkProverGUI.hs
- trunk/GUI/HTkProverGUI.hs
- trunk/GUI/HTkUtils.hs
fixed some bugs. gtk prover gui almost working. moved GUIMVar to HTkUtils
- 16:02 Ticket #763 (wrong type leads to endless recursion) created by
- […]
- 12:55 Changeset [12782] by
-
- trunk/GUI/GraphLogic.hs
unnamed nodes with outgoing or incoming unproven edges are not hidden anymore.
- 10:55 Ticket #726 (Provide interface for proof script parser) closed by
- fixed: There's a (main) module (for a stand-alone binary) in …
04.11.2009:
- 18:23 Ticket #762 (local inference should not filter out sentences based on the computed ...) created by
- In fact, duplicate sentences must be kept to ensure only local changes
- 17:57 Ticket #761 (Extend HetCASL to reflect dev-graph concepts) created by
- support: 1. "local view"s (for local theorem links) 2. hiding …
- 17:30 Ticket #643 (Symbol maps do not work for OWL) closed by
- fixed: everything should work after changeset:12764 and changeset:12781
- 17:28 Changeset [12781] by
-
- trunk/OWL/Logic_OWL.hs
- trunk/OWL/Morphism.hs
implemented OWL generatedSign
- 17:27 Changeset [12780] by
-
- trunk/Driver/WriteFn.hs
- trunk/Static/DevGraph.hs
check for duplicate def edges
- 17:03 Ticket #702 (SuleCFOL2SoftFOL crash) closed by
- fixed: this example goes through now and was fixed by chance by changeset:12770
- 16:47 Ticket #51 (PGIP interface) closed by
- invalid: leave it to the broker to communicate with Isabelle
- 03:14 Changeset [12779] by
-
- trunk/GUI/ConsistencyChecker.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/GtkTextView.hs
- trunk/GUI/GtkUtils.hs
- trunk/GUI/HTkGenericATP.hs
changed selection mode of list for gtk. removed old files. implemented gtk prover gui, is working now, but still has some bugs (interactive test 3 is not working). added some datatypes for prover windows to gtk utils.
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
