Timeline


and .

07.01.2009:

18:39 Changeset [11233] by csliam
  • trunk/CspCASL/StatAnaCSP.hs

imporved static analysis of CspCASL

15:29 Ticket #642 (Proofs automatic is not exhaustive) created by till
With the attached file, you need to apply "Proofs automatic" twice in …
15:14 Changeset [11232] by csliam
  • trunk/CspCASL/Logic_CspCASL.hs

Copied CASL's sym_name implementation for CspCASL

14:48 Changeset [11231] by csliam
  • trunk/CspCASL/Morphism.hs
  • trunk/CspCASL/StatAnaCSP.hs

Static analysis of CspCASL now adds channel names and process names to the collected symbols (stored in the CASL signature)

14:47 Changeset [11230] by csliam
  • trunk/CspCASL/SimplifySen.hs

improved formating of code

14:11 Changeset [11229] by rpascanu
  • trunk/GUI/GraphDisplay.hs
  • trunk/GUI/GraphLogic.hs
  • trunk/GUI/GraphMenu.hs
  • trunk/GUI/GraphTypes.hs
  • trunk/GUI/History.hs
  • trunk/GUI/ShowGraph.hs
  • trunk/GUI/ShowLibGraph.hs
  • trunk/Interfaces/History.hs
  • trunk/PGIP/DataTypesUtils.hs
  • trunk/PGIP/DgCommands.hs
  • trunk/Proofs/InferBasic.hs

Changes to GUI to use common datatypes in Interfaces

14:10 Changeset [11228] by csliam
  • trunk/CspCASL/AS_CspCASL_Process.der.hs
  • trunk/CspCASL/Print_CspCASL.hs
  • trunk/CspCASL/SignCSP.hs
  • trunk/CspCASL/SimplifySen.hs
  • trunk/Makefile

Added simplification of CspCASL sentences, currently this is turned off while I develop

12:22 Ticket #641 (Select Linktypes) created by till
It would be very helpful to have the possibility to hide all proven …
12:08 Changeset [11227] by csliam
  • trunk/CspCASL/Print_CspCASL.hs
  • trunk/CspCASL/SimplifySen.hs

restored makefile, added missing file

11:59 Changeset [11226] by csliam
  • trunk/CASL/Logic_CASL.hs
  • trunk/CASL/SimplifySen.hs
  • trunk/CspCASL/Logic_CspCASL.hs
  • trunk/CspCASL/SignCSP.hs
  • trunk/Makefile

Implemented SimplySen? for CspCASL

11:26 Ticket #640 (Encoding of Sort Generation Constraints in Isabelle) created by csliam
Does the encoding of Sort Generation Constraints in Isabelle now cause an …
11:24 Ticket #639 (Tree of Isabelle Theories) created by csliam
At the abstract syntax level, it should be possible to import several …
11:20 Ticket #638 (Control the naming of the automatically generated axioms in CASL) created by csliam
The names of the axioms created by the co-morphisms from CASL needs to be …
11:16 Ticket #637 (Implement the decomposition theorem on CspCASL views) created by csliam
Implement the decomposition theorem on CspCASL refinements (represented as …
10:54 Changeset [11225] by csliam
  • trunk/Comorphisms/CASL2CspCASL.hs
  • trunk/CspCASL/SignCSP.hs

Improved support for CASL sentences inside CspCASL specifications

10:50 Changeset [11224] by csliam
  • trunk/CspCASL/Print_CspCASL.hs
  • trunk/CspCASL/SignCSP.hs
  • trunk/CspCASL/StatAnaCSP.hs

Improved pretty printing of CspCASL signatures

06.01.2009:

19:33 Changeset [11223] by maeder
  • trunk/CASL/SymbolMapAnalysis.hs

removed long symbol matching algorithm #216

19:18 Changeset [11222] by maeder
  • trunk/CASL/Morphism.hs
  • trunk/CASL/Sign.hs
  • trunk/CASL/SymbolMapAnalysis.hs

match total and partial ops explicitly

18:39 Changeset [11221] by csliam
  • trunk/CspCASL/Logic_CspCASL.hs
  • trunk/CspCASL/SignCSP.hs

Implemented functions required to use views on CspCASL specs

18:15 Changeset [11220] by csliam
  • trunk/CspCASL/Morphism.hs

Fixed looping

18:12 Changeset [11219] by csliam
  • trunk/CspCASL/Logic_CspCASL.hs
  • trunk/CspCASL/Morphism.hs
  • trunk/CspCASL/StatAnaCSP.hs
  • trunk/Makefile

Added sym_of for CspCASL

18:07 Changeset [11218] by maeder
  • trunk/CASL/CompositionTable/ModelChecker.hs
  • trunk/CASL/Morphism.hs
  • trunk/CASL/Sign.hs
  • trunk/CASL/SymbolMapAnalysis.hs
  • trunk/CASL/ToDoc.hs
  • trunk/Comorphisms/CASL2HasCASL.hs

adapted to generalized item type

17:15 Changeset [11217] by csliam
  • trunk/CspCASL/CspProver_Consts.hs
  • trunk/CspCASL/SignCSP.hs
  • trunk/CspCASL/StatAnaCSP.hs

Static analysis of CspCASL now returns some events as fully qualified events - but not all (yet)

16:49 Changeset [11216] by maeder
  • trunk/CASL/AS_Basic_CASL.der.hs
  • trunk/CASL/Sign.hs
  • trunk/Comorphisms/CASL2CspCASL.hs
  • trunk/Comorphisms/CspCASL2IsabelleHOL.hs
  • trunk/Comorphisms/CspCASL2Modal.hs
  • trunk/CspCASL/Logic_CspCASL.hs
  • trunk/CspCASL/StatAnaCSP.hs

extended symbol kinds i.e. for CspCASL

05.01.2009:

15:46 Changeset [11215] by csliam
  • trunk/Comorphisms/CASL2CspCASL.hs
  • trunk/Comorphisms/CFOL2IsabelleHOL.hs
  • trunk/Comorphisms/CspCASL2IsabelleHOL.hs
  • trunk/Comorphisms/CspCASL2Modal.hs
  • trunk/CspCASL/AS_CspCASL.der.hs
  • trunk/CspCASL/AS_CspCASL_Process.der.hs
  • trunk/CspCASL/Logic_CspCASL.hs
  • trunk/CspCASL/Print_CspCASL.hs
  • trunk/CspCASL/SignCSP.hs
  • trunk/CspCASL/StatAnaCSP.hs
  • trunk/CspCASL/Trans_Consts.hs
  • trunk/CspCASL/Trans_CspProver.hs

Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle

13:38 Changeset [11214] by maeder
  • trunk/CASL/Morphism.hs

ignore partiality in symbol mappings

03.01.2009:

21:00 Changeset [11213] by maeder
  • trunk/CASL/Morphism.hs

extended static symbol map checking

19:58 Changeset [11212] by maeder
  • trunk/Comorphisms/CASL2VSERefine.hs

removed unused import

19:37 Changeset [11211] by maeder
  • trunk/CASL/StaticAna.hs

used a more efficient monadic variant

19:28 Changeset [11210] by maeder
  • trunk/Common/RunParsers.hs

refactored further

19:11 Changeset [11209] by maeder
  • trunk/Common/RunParsers.hs

corrected wrong refactoring

19:08 Changeset [11208] by maeder
  • trunk/Common/Doc.hs
  • trunk/Common/DocUtils.hs
  • trunk/Common/Earley.hs
  • trunk/Common/Partial.hs
  • trunk/Common/Result.hs
  • trunk/Common/ResultT.hs
  • trunk/Common/RunParsers.hs
  • trunk/Common/SimpPretty.hs
  • trunk/Common/Utils.hs

refactored (according to hlint)

19:08 Changeset [11207] by maeder
  • trunk/CASL/CCC/FreeTypes.hs

removed warnings

18:40 Changeset [11206] by maeder
  • trunk/Common/Amalgamate.hs
  • trunk/Common/ConvertGlobalAnnos.hs
  • trunk/Common/ConvertLiteral.hs
  • trunk/Common/Lexer.hs

refactored (according to hlint)

17:52 Changeset [11205] by maeder
  • trunk/ATC/Sml_cats.hs
  • trunk/CASL_DL/PredefinedGlobalAnnos.hs
  • trunk/Common.hs
  • trunk/Common/AS_Annotation.der.hs
  • trunk/Common/AnalyseAnnos.hs
  • trunk/Common/AnnoParser.hs
  • trunk/Common/AnnoState.hs
  • trunk/Common/ExampleMixIds.hs
  • trunk/Common/Id.hs
  • trunk/Common/RunParsers.hs
  • trunk/Common/annos.hs
  • trunk/Common/test_parser.hs
  • trunk/HasCASL/Builtin.hs
  • trunk/HasCASL/MixAna.hs

renamed Anno_Parser to AnnoParser?

17:02 Changeset [11204] by maeder
  • trunk/CASL/Sign.hs

followed hlint hints

16:34 Changeset [11203] by maeder
  • trunk/CASL/CCC/FreeTypes.hs
  • trunk/CASL/CCC/OnePoint.hs
  • trunk/CASL/CCC/SignFuns.hs
  • trunk/CASL/Morphism.hs
  • trunk/CASL/Qualify.hs
  • trunk/CASL/Sign.hs
  • trunk/Comorphisms/CASL2VSERefine.hs

removed duplicate code

15:54 Changeset [11202] by maeder
  • trunk/CASL/MapSentence.hs

replaced null morphism test

15:43 Changeset [11201] by maeder
  • trunk/CASL/AS_Basic_CASL.der.hs
  • trunk/CASL/Amalgamability.hs
  • trunk/CASL/CCC/OnePoint.hs
  • trunk/CASL/CCC/SignFuns.hs
  • trunk/CASL/ColimSign.hs
  • trunk/CASL/Inject.hs
  • trunk/CASL/MapSentence.hs
  • trunk/CASL/Morphism.hs
  • trunk/CASL/Project.hs
  • trunk/CASL/Qualify.hs
  • trunk/CASL/Sign.hs
  • trunk/CASL/Sublogic.hs
  • trunk/CASL/SymbolMapAnalysis.hs
  • trunk/CoCASL/AS_CoCASL.der.hs
  • trunk/CoCASL/Sublogic.hs
  • trunk/Comorphisms/CASL2CoCASL.hs
  • trunk/Comorphisms/CASL2CspCASL.hs
  • trunk/Comorphisms/CASL2HasCASL.hs
  • trunk/Comorphisms/CASL2Modal.hs
  • trunk/Comorphisms/CASL2SubCFOL.inline.hs
  • trunk/Comorphisms/CASL2TopSort.inline.hs
  • trunk/Comorphisms/CASL2VSEImport.hs
  • trunk/Comorphisms/CASL2VSERefine.hs
  • trunk/Comorphisms/CASL_DL2CASL.hs
  • trunk/Comorphisms/CoCASL2CoSubCFOL.hs
  • trunk/Comorphisms/CspCASL2Modal.hs
  • trunk/Comorphisms/Modal2CASL.inline.hs
  • trunk/Comorphisms/OWL2CASL.hs
  • trunk/Comorphisms/RelScheme2CASL.hs
  • trunk/CspCASL/StatAnaCSP.hs
  • trunk/OMDoc/CASLOutput.hs
  • trunk/OMDoc/HetsDefs.hs
  • trunk/OMDoc/OMDocDefs.hs
  • trunk/OMDoc/OMDocInput.hs
  • trunk/VSE/Ana.hs

renamed funs in CASL to ops

02.01.2009:

17:39 Changeset [11200] by maeder
  • trunk/CASL/Morphism.hs

moved warning to ambiguous case

17:11 Changeset [11199] by maeder
  • trunk/CASL/AS_Basic_CASL.der.hs
  • trunk/CASL/Morphism.hs
  • trunk/CASL/SymbolMapAnalysis.hs

reused SYMB_KIND within raw symbols

11:18 Changeset [11198] by maeder
  • trunk/Makefile

removed unused objects and programatica lexer files

31.12.2008:

13:13 Changeset [11197] by maeder
  • trunk/Hets.cabal

adjusted to ghc-6.10.1

12:29 Ticket #596 (Flattening disjoint union fails) closed by maeder
fixed: It is no longer an error to insert an existing edge (changeset:11196)
12:29 Changeset [11196] by maeder
  • trunk/Proofs/EdgeUtils.hs

allow to re-insert an existing edge, fails for contradicting edge ids

11:48 Ticket #539 (Have a look at development graph data structures) closed by maeder
fixed

30.12.2008:

15:45 Changeset [11195] by maeder
  • trunk/Static/AnalysisLibrary.hs

actually delete the file as promised

24.12.2008:

11:16 Changeset [11194] by maeder
  • trunk/utils/nightly/linux/cronjob.sh

install mac jobs and wake them up

11:11 Changeset [11193] by maeder
  • trunk/CASL/Logic_CASL.hs
  • trunk/Logic/Comorphism.hs
  • trunk/Logic/Logic.hs
  • trunk/Logic/Modification.hs
  • trunk/Logic/Morphism.hs
  • trunk/Modifications/ModalEmbedding.hs
  • trunk/var.mk

changed language options for ghc-6.10.1

23.12.2008:

13:58 Changeset [11192] by lschrode
  • trunk/GMP/CompositionalityExperiment.hs

old ideas on compositionality

12:28 Changeset [11191] by maeder
  • trunk/ToHaskell/test/BoolEx.hascasl.hs
  • trunk/ToHaskell/test/Builtin.hascasl.hs
  • trunk/ToHaskell/test/Expr.hascasl.hs
  • trunk/ToHaskell/test/FiniteSet.hascasl.hs
  • trunk/ToHaskell/test/Sorting.hascasl.hs

changed layout by ghc-6.10.1

12:20 Changeset [11190] by maeder
  • trunk/Taxonomy/taxonomyTool.hs

changed import

22.12.2008:

16:37 Changeset [11189] by gcalin
  • trunk/GMP/Simple.hs

removed Simple.hs

14:42 Changeset [11188] by maeder
  • trunk/Hets-Haddock-Prologue.txt
  • trunk/Makefile

limited support for haddock version 2.3

14:28 Changeset [11187] by gcalin
  • trunk/GMP/Makefile
  • trunk/GMP/Simple.hs

Example of how to overpass the - occurs cycle check - not necessarily a good option

12:49 Changeset [11186] by maeder
  • trunk/Logic.hs

removed ghc modules Set and Map

21.12.2008:

15:42 Changeset [11185] by till
  • trunk/Static/AnalysisStructured.hs
  • trunk/Syntax/Parse_AS_Structured.hs

documentation for data logic

19.12.2008:

15:06 Changeset [11184] by maeder
  • trunk/Propositional/ProveMinisat.hs

removed unused searchResult

13:59 Changeset [11183] by maeder
  • trunk/GUI/GenericATP.hs
  • trunk/GUI/ProofManagement.hs

simplified more uni imports

13:45 Changeset [11182] by maeder
  • trunk/GUI/HTkUtils.hs
  • trunk/GUI/ProofDetails.hs
  • trunk/GUI/ProofManagement.hs
  • trunk/Makefile

simplified uni imports

13:28 Changeset [11181] by maeder
  • trunk/GUI/HTkUtils.hs

removed qualified import

12:27 Ticket #633 (Local Decomposition proves too much) closed by maeder
fixed: I've reverted the previous change and corrected translateG_theory that …
12:26 Changeset [11180] by maeder
  • trunk/Proofs/Local.hs
  • trunk/Static/GTheory.hs

create new theory index

11:37 Changeset [11179] by maeder
  • trunk/Proofs/Local.hs

compare morphisms directly

09:47 Changeset [11178] by maeder
  • trunk/Temporal/Logic_Temporal.hs

removed commented out code

09:44 Changeset [11177] by maeder
  • trunk/Temporal/Logic_Temporal.hs

avoid re-exports

09:40 Changeset [11176] by maeder
  • trunk/Makefile
  • trunk/Temporal/Logic_Temporal.hs

cpp not (yet) needed for Temporal

09:34 Changeset [11175] by maeder
  • trunk/Comorphisms/LogicList.hs
  • trunk/Makefile
  • trunk/Temporal/AS_BASIC_Temporal.hs
  • trunk/Temporal/Logic_Temporal.hs

made Temporal go through

09:06 Changeset [11174] by maeder
  • trunk/Makefile

APPY -> HAPPY

09:03 Changeset [11173] by maeder
  • trunk/Common/UniUtils.hs
  • trunk/GUI/AbstractGraphView.hs
  • trunk/GUI/GenericATP.hs
  • trunk/GUI/GraphAbstraction.hs
  • trunk/GUI/GraphDisplay.hs
  • trunk/GUI/GraphLogic.hs
  • trunk/GUI/GraphMenu.hs
  • trunk/GUI/GraphTypes.hs
  • trunk/GUI/HTkUtils.hs
  • trunk/GUI/History.hs
  • trunk/GUI/ProofDetails.hs
  • trunk/GUI/ProofManagement.hs
  • trunk/GUI/ShowGraph.hs
  • trunk/GUI/ShowLibGraph.hs
  • trunk/GUI/ShowLogicGraph.hs
  • trunk/GUI/UDGUtils.hs
  • trunk/Makefile
  • trunk/PGIP/InfoCommands.hs
  • trunk/Propositional/ChildMessage.hs
  • trunk/Propositional/Prop2CNF.hs
  • trunk/Propositional/Prove.hs
  • trunk/SoftFOL/ProveSPASS.hs
  • trunk/Taxonomy/MMiSSOntologyGraph.hs
  • trunk/var.mk

support uni version 2 with hierarchical module names

18.12.2008:

17:44 Changeset [11172] by till
  • trunk/Makefile

added files for Temporal

13:40 Ticket #636 (HasCASL theory computation problem) created by maeder
[…] fails after …
13:34 Ticket #635 (Proofs-Automatic re-creates external nodes multiple times) created by maeder
[…] creates at least …
13:24 Ticket #634 (translation to Isabelle failure) created by maeder
[…] (Hets …
13:10 Ticket #633 (Local Decomposition proves too much) created by till
The attached example can be completely proven by three steps * Global …
13:00 Ticket #632 (Symbols maps do not work for Propositional) created by till
[…]
12:50 Ticket #631 (Composition of black egdes gives purple link) created by till
I think the composition of two black definition links should give a black …
09:18 Changeset [11171] by maeder
  • trunk/var.mk

added comment for profiling

Note: See TracTimeline for information about the timeline view.