Timeline
06.01.2009:
- 19:33 Changeset [11223] by
-
- trunk/CASL/SymbolMapAnalysis.hs
removed long symbol matching algorithm #216
- 19:18 Changeset [11222] by
-
- trunk/CASL/Morphism.hs
- trunk/CASL/Sign.hs
- trunk/CASL/SymbolMapAnalysis.hs
match total and partial ops explicitly
- 18:39 Changeset [11221] by
-
- trunk/CspCASL/Logic_CspCASL.hs
- trunk/CspCASL/SignCSP.hs
Implemented functions required to use views on CspCASL specs
- 18:15 Changeset [11220] by
-
- trunk/CspCASL/Morphism.hs
Fixed looping
- 18:12 Changeset [11219] by
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- trunk/CASL/Morphism.hs
ignore partiality in symbol mappings
03.01.2009:
- 21:00 Changeset [11213] by
-
- trunk/CASL/Morphism.hs
extended static symbol map checking
- 19:58 Changeset [11212] by
-
- trunk/Comorphisms/CASL2VSERefine.hs
removed unused import
- 19:37 Changeset [11211] by
-
- trunk/CASL/StaticAna.hs
used a more efficient monadic variant
- 19:28 Changeset [11210] by
-
- trunk/Common/RunParsers.hs
refactored further
- 19:11 Changeset [11209] by
-
- trunk/Common/RunParsers.hs
corrected wrong refactoring
- 19:08 Changeset [11208] by
-
- 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
-
- trunk/CASL/CCC/FreeTypes.hs
removed warnings
- 18:40 Changeset [11206] by
-
- 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
-
- 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
-
- trunk/CASL/Sign.hs
followed hlint hints
- 16:34 Changeset [11203] by
-
- 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
-
- trunk/CASL/MapSentence.hs
replaced null morphism test
- 15:43 Changeset [11201] by
-
- 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
-
- trunk/CASL/Morphism.hs
moved warning to ambiguous case
- 17:11 Changeset [11199] by
-
- 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
-
- trunk/Makefile
removed unused objects and programatica lexer files
31.12.2008:
- 13:13 Changeset [11197] by
-
- trunk/Hets.cabal
adjusted to ghc-6.10.1
- 12:29 Ticket #596 (Flattening disjoint union fails) closed by
- fixed: It is no longer an error to insert an existing edge (changeset:11196)
- 12:29 Changeset [11196] by
-
- 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
- fixed
30.12.2008:
- 15:45 Changeset [11195] by
-
- trunk/Static/AnalysisLibrary.hs
actually delete the file as promised
24.12.2008:
- 11:16 Changeset [11194] by
-
- trunk/utils/nightly/linux/cronjob.sh
install mac jobs and wake them up
- 11:11 Changeset [11193] by
-
- 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
-
- trunk/GMP/CompositionalityExperiment.hs
old ideas on compositionality
- 12:28 Changeset [11191] by
-
- 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
-
- trunk/Taxonomy/taxonomyTool.hs
changed import
22.12.2008:
- 16:37 Changeset [11189] by
-
- trunk/GMP/Simple.hs
removed Simple.hs
- 14:42 Changeset [11188] by
-
- trunk/Hets-Haddock-Prologue.txt
- trunk/Makefile
limited support for haddock version 2.3
- 14:28 Changeset [11187] by
-
- 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
-
- trunk/Logic.hs
removed ghc modules Set and Map
21.12.2008:
- 15:42 Changeset [11185] by
-
- trunk/Static/AnalysisStructured.hs
- trunk/Syntax/Parse_AS_Structured.hs
documentation for data logic
19.12.2008:
- 15:06 Changeset [11184] by
-
- trunk/Propositional/ProveMinisat.hs
removed unused searchResult
- 13:59 Changeset [11183] by
-
- trunk/GUI/GenericATP.hs
- trunk/GUI/ProofManagement.hs
simplified more uni imports
- 13:45 Changeset [11182] by
-
- trunk/GUI/HTkUtils.hs
- trunk/GUI/ProofDetails.hs
- trunk/GUI/ProofManagement.hs
- trunk/Makefile
simplified uni imports
- 13:28 Changeset [11181] by
-
- trunk/GUI/HTkUtils.hs
removed qualified import
- 12:27 Ticket #633 (Local Decomposition proves too much) closed by
- fixed: I've reverted the previous change and corrected translateG_theory that …
- 12:26 Changeset [11180] by
-
- trunk/Proofs/Local.hs
- trunk/Static/GTheory.hs
create new theory index
- 11:37 Changeset [11179] by
-
- trunk/Proofs/Local.hs
compare morphisms directly
- 09:47 Changeset [11178] by
-
- trunk/Temporal/Logic_Temporal.hs
removed commented out code
- 09:44 Changeset [11177] by
-
- trunk/Temporal/Logic_Temporal.hs
avoid re-exports
- 09:40 Changeset [11176] by
-
- trunk/Makefile
- trunk/Temporal/Logic_Temporal.hs
cpp not (yet) needed for Temporal
- 09:34 Changeset [11175] by
-
- 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
-
- trunk/Makefile
APPY -> HAPPY
- 09:03 Changeset [11173] by
-
- 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
-
- trunk/Makefile
added files for Temporal
- 13:40 Ticket #636 (HasCASL theory computation problem) created by
- […] fails after …
- 13:34 Ticket #635 (Proofs-Automatic re-creates external nodes multiple times) created by
- […] creates at least …
- 13:24 Ticket #634 (translation to Isabelle failure) created by
- […] (Hets …
- 13:10 Ticket #633 (Local Decomposition proves too much) created by
- The attached example can be completely proven by three steps * Global …
- 13:00 Ticket #632 (Symbols maps do not work for Propositional) created by
- […]
- 12:50 Ticket #631 (Composition of black egdes gives purple link) created by
- I think the composition of two black definition links should give a black …
- 09:18 Changeset [11171] by
-
- trunk/var.mk
added comment for profiling
17.12.2008:
- 16:32 Changeset [11170] by
-
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/test/OpDecls.hascasl.output
- trunk/HasCASL/test/Product.hascasl
- trunk/HasCASL/test/Product.hascasl.output
only consider (yet monomorphic) minimal ops (#630)
- 16:07 Ticket #630 (improve HasCASL typechecking speed) created by
- the example[…]
- 14:26 Changeset [11169] by
-
- trunk/HasCASL/test/Double.hascasl.output
- trunk/HasCASL/test/Flag.hascasl.output
- trunk/HasCASL/test/OpDecls.hascasl.output
- trunk/HasCASL/test/Pair.hascasl.output
- trunk/HasCASL/test/Prelude.hascasl.output
output changes due to changeset:11167
- 14:20 Changeset [11168] by
-
- trunk/utils/nightly/cronjob.sh
added calling 'ant init'
Note: See TracTimeline
for information about the timeline view.
