Timeline
23.07.2009:
- 16:40 Changeset [11985] by
-
- trunk/CASL/SymbolMapAnalysis.hs
allowed to derive more symbol maps
- 11:05 Changeset [11984] by
-
- branches/typechecking/Morphism.hs
- branches/typechecking/SymbolMapAnalysis.hs
merged composeMap change
22.07.2009:
- 10:41 Changeset [11983] by
-
- trunk/Maude/Meta/HasName.hs
Function renamed
- 10:23 Changeset [11982] by
-
- trunk/Maude/AS_Maude.hs
- trunk/Maude/MaudeShellout.hs
- trunk/Maude/Meta/HasName.hs
- trunk/Maude/Printing.hs
- trunk/Maude/Sentence.hs
- trunk/Maude/Sign.hs
- trunk/Maude/maude2haskell.maude
- trunk/Maude/parsing.maude
- trunk/Static/AnalysisStructured.hs
New datatypes, basic analysis of modules without relations, another function imported from AnalysisStructured?
21.07.2009:
- 14:52 Changeset [11981] by
-
- trunk/SoftFOL/tests/CMDL_tests.hs
increase time limit
- 11:33 Changeset [11980] by
-
- trunk/ATC/ATCTest.hs
adjusted to ShATermLG
20.07.2009:
- 20:19 Changeset [11979] by
-
- trunk/Maude/Morphism.hs
removed warning
- 20:12 Changeset [11978] by
-
- trunk/GUI/GraphLogic.hs
- trunk/Interfaces/Utils.hs
removed unused import
- 20:09 Changeset [11977] by
-
- trunk/Comorphisms/GetPreludeLib.hs
consider HETS_LIB
- 19:46 Changeset [11976] by
-
- trunk/CMDL/DataTypesUtils.hs
- trunk/CMDL/DgCommands.hs
- trunk/Comorphisms/GetPreludeLib.hs
- trunk/Comorphisms/LogicList.hs
- trunk/Driver/WriteFn.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/Interfaces/Utils.hs
- trunk/Proofs/ComputeTheory.hs
- trunk/Proofs/DGFlattening.hs
- trunk/Proofs/InferBasic.hs
- trunk/Proofs/Local.hs
- trunk/Proofs/TheoremHideShift.hs
splitted ComputeTheory? from TheoremHideShift?
- 19:04 Changeset [11975] by
-
- trunk/ATC/Grothendieck.der.hs
- trunk/ATC/Grothendieck.hs
- trunk/Driver/AnaLib.hs
- trunk/Driver/ReadFn.hs
- trunk/Driver/WriteLibDefn.hs
- trunk/GUI/GraphLogic.hs
- trunk/Makefile
- trunk/Static/AnalysisLibrary.hs
- trunk/utils/DrIFT-src/UserRulesHetCATS.hs
made a separat class for shared aterms that need a logic graph when read
- 16:16 Changeset [11974] by
-
- trunk/utils/DrIFT-src/UserRulesHetCATS.hs
no longer create auxiliary functions
- 12:10 Changeset [11973] by
-
- trunk/Driver/ReadFn.hs
reduced import dependencies
17.07.2009:
- 16:16 Ticket #710 (Node -> Prove changes are not displayed directly) closed by
- fixed: changeset:11951
- 16:15 Ticket #709 (changeset:11799 displays graphs wrongly after "Proofs") closed by
- fixed: changeset:11914
- 16:10 Ticket #716 (display nodes and edges with open %cons obligations in yellow) closed by
- fixed: implemented since changeset:11959
- 14:47 Changeset [11972] by
-
- trunk/var.mk
check for time-1.1.4 in ghc-6.10.4
- 13:17 Ticket #718 (conservativity checker crash) created by
- After […] "expand" …
- 09:39 Changeset [11971] by
-
- trunk/Static/DevGraph.hs
corrected isProvenConsStatusLink
16.07.2009:
- 23:54 Changeset [11970] by
-
- trunk/Maude/Morphism.hs
- trunk/Maude/Sign.hs
Use the Maude.Util module (function)
- 23:54 Changeset [11969] by
-
- trunk/Maude/Logic_Maude.hs
Reenable more restored functionality
- 23:54 Changeset [11968] by
-
- trunk/Maude/Meta.hs
- trunk/Maude/Morphism.hs
- trunk/Maude/Sentence.hs
- trunk/Maude/Sign.hs
Repurpose the Meta module
- 23:54 Changeset [11967] by
-
- trunk/Maude/Meta/HasName.hs
- trunk/Maude/Util.hs
Move mapAsFunction to a Util module
- 20:56 Changeset [11966] by
-
- trunk/Maude/Sign.hs
Rearrange
- 20:56 Changeset [11965] by
-
- trunk/Maude/Logic_Maude.hs
Use refactored calls in Logic_Maude
- 20:56 Changeset [11964] by
-
- trunk/Maude/Sign.hs
Refactor Sign.isSubsign
- 20:56 Changeset [11963] by
-
- trunk/Maude/Sign.hs
Refactor Sign.intersection
- 20:56 Changeset [11962] by
-
- trunk/Maude/Sign.hs
Refactor Sign.union
- 20:56 Changeset [11961] by
-
- trunk/Common/Lib/Rel.hs
Add Rel.intersection.
- 20:56 Changeset [11960] by
-
- trunk/Maude/Morphism.hs
We imported Result, use it.
- 18:39 Changeset [11959] by
-
- trunk/CMDL/InfoCommands.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/GUI/GraphTypes.hs
- trunk/Static/DevGraph.hs
proven links with open cons goals are now yellow and are not hiden if hide proven nodes is active untill no open cons goals are left. see #716
- 16:31 Changeset [11958] by
-
- trunk/GUI/GraphLogic.hs
added warning dialog to the conservativity check of node, too
- 15:51 Changeset [11957] by
-
- trunk/CMDL/Utils.hs
- trunk/GUI/GraphLogic.hs
- trunk/Static/DevGraph.hs
refactored hasOpenConsStatus for nodes
- 15:41 Changeset [11956] by
-
- trunk/Proofs/NormalForm.hs
- trunk/Static/DevGraph.hs
move conservativity info into the normal form node
- 15:18 Changeset [11955] by
-
- trunk/Static/WACocone.hs
removed trace and (yet) unused code
- 14:56 Changeset [11954] by
-
- trunk/Proofs/InferBasic.hs
- trunk/SoftFOL/PrintTPTP.hs
an empty theory can be handled by darwin if at least one true axiom is generated
- 14:40 Changeset [11953] by
-
- trunk/Static/PrintDevGraph.hs
show maximal proven consistency
- 14:35 Changeset [11952] by
-
- trunk/Proofs/TheoremHideShift.hs
do not extend local theories by using normal forms implicitely #672
- 11:47 Changeset [11951] by
-
- trunk/GUI/GraphAbstraction.hs
- trunk/GUI/GraphDisplay.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
updating and redisplaying is now always done by updateGraph. all functions are using updateGraph now, this avoids duplicate code in these functions. deleted functions which are not needed anymore. removed performproofaction because function didn't do anything except printing two messages, output moved to updateGraph.
- 10:06 Changeset [11950] by
-
- trunk/HasCASL/Morphism.hs
correct composition of type renaming in data types
- 09:31 Changeset [11949] by
-
- trunk/Syntax/ToXml.hs
incorporated some changes from wishlist
15.07.2009:
- 21:09 Changeset [11948] by
-
- trunk/GUI/GraphAbstraction.hs
- trunk/GUI/GraphMenu.hs
- trunk/GUI/GraphTypes.hs
- trunk/Static/DevGraph.hs
proven nodes with open cons are now yellow. fixed a bug, compressed edges were not gray in uncolored mode.
- 18:34 Changeset [11947] by
-
- trunk/Comorphisms/GetPreludeLib.hs
read a library for #717
- 18:32 Changeset [11946] by
-
- trunk/Maude/Logic_Maude.hs
Reenable restored Morphism functionality.
- 18:31 Changeset [11945] by
-
- trunk/Maude/Morphism.hs
Restore Morphism.isInclusion.
- 18:31 Changeset [11944] by
-
- trunk/Maude/Morphism.hs
Add TODO markers
- 18:31 Changeset [11943] by
-
- trunk/Maude/Morphism.hs
Remove obsolete functions.
- 18:31 Changeset [11942] by
-
- trunk/Maude/Morphism.hs
Restore Morphism.compose.
- 18:31 Changeset [11941] by
-
- trunk/Maude/Morphism.hs
Restore Morphism.isLegal.
- 18:31 Changeset [11940] by
-
- trunk/Maude/Morphism.hs
Reorder functions and eliminate duplicate code.
- 18:31 Changeset [11939] by
-
- trunk/Maude/Morphism.hs
Restore Morphism.mapSentence
- 18:31 Changeset [11938] by
-
- trunk/Maude/Sign.hs
Restore old Sentence functionality to Sign.
- 18:31 Changeset [11937] by
-
- trunk/Maude/Sign.hs
Remove unused functions.
- 18:31 Changeset [11936] by
-
- trunk/Maude/Sign.hs
Simplify Sign.symbols.
- 18:31 Changeset [11935] by
-
- trunk/Maude/Sentence.hs
Avoid unnecessary list traversal.
- 18:31 Changeset [11934] by
-
- trunk/Maude/Sentence.hs
Add Hasstuff instances for Sentence
- 18:31 Changeset [11933] by
-
- trunk/Maude/Meta/HasLabels.hs
Fix simple braino in HasLabels?
- 18:25 Changeset [11932] by
-
- trunk/Test.hs
- trunk/sample-ghci-script
adapted to changeset:11931
- 18:03 Changeset [11931] by
-
- trunk/Driver/WriteFn.hs
- trunk/Haskell/Haskell2DG.hs
- trunk/OWL/OWLAnalysis.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/AnalysisStructured.hs
- trunk/Static/DevGraph.hs
- trunk/Static/PrintDevGraph.hs
reused genericity signatures in spec entries
- 17:15 Changeset [11930] by
-
- trunk/GUI/GraphLogic.hs
record consistency checker result
- 17:12 Changeset [11929] by
-
- trunk/Static/AnalysisStructured.hs
use emptyProofBasis
- 16:42 Changeset [11928] by
-
- trunk/Interfaces/Utils.hs
made source theory really empty
- 16:23 Ticket #715 (%cons annotation is ignored) closed by
- fixed: Now proven theorem inclusion links are generated (changeset:11927) to the …
- 16:18 Changeset [11927] by
-
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/AnalysisStructured.hs
properly inserted conservativities
- 15:30 Changeset [11926] by
-
- trunk/Proofs/VSE.hs
- trunk/Static/PrintDevGraph.hs
only write out supported links
- 15:27 Changeset [11925] by
-
- trunk/Proofs/Conservativity.hs
Group the history of changes when performing a conservativity rule.
- 15:24 Changeset [11924] by
-
- trunk/CMDL/ConsCommands.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/Interfaces/Utils.hs
- trunk/Static/DevGraph.hs
Node conservativity check
- 15:02 Changeset [11923] by
-
- trunk/CASL/Logic_CASL.hs
- trunk/CASL/Morphism.hs
- trunk/Common/Utils.hs
- trunk/CspCASL/Morphism.hs
- trunk/HasCASL/Morphism.hs
- trunk/HasCASL/SymbolMapAnalysis.hs
- trunk/RelationalScheme/Sign.hs
compose needs to know the domain
- 11:46 Changeset [11922] by
-
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/MaudeShellout.hs
- trunk/Maude/Morphism.hs
- trunk/Maude/Printing.hs
- trunk/Maude/Sign.hs
Basic analysis for Maude code enclosed in curly braces
- 10:29 Changeset [11921] by
-
- trunk/Proofs/Conservativity.hs
removed duplicate isGlobalDef(Edge) function
- 10:28 Ticket #717 (Add the possibility to inject theories into Comorphisms) created by
- Some logics, like SROIQ(D) underlying OWL 2.0, rely on Datatypes that are …
14.07.2009:
- 21:49 Changeset [11920] by
-
- trunk/CASL/CCC/FreeTypes.hs
Code improvements.
- 21:32 Changeset [11919] by
-
- trunk/GUI/GraphMenu.hs
vse should work again.
- 18:46 Changeset [11918] by
-
- trunk/Static/DevGraph.hs
implement cons proving later
- 17:59 Changeset [11917] by
-
- trunk/Static/AnalysisStructured.hs
insert cons links differently
- 17:50 Changeset [11916] by
-
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
fixed bug with a disappearing edge in basic/numbers.
- 16:06 Changeset [11915] by
-
- trunk/Static/AnalysisStructured.hs
insert conservativity into the node
- 14:40 Changeset [11914] by
-
- trunk/GUI/GraphAbstraction.hs
- trunk/GUI/GraphLogic.hs
Fixed bug with expand menu. Fixed bug in hiding newly added proven thm edges.
- 14:23 Changeset [11913] by
-
- trunk/Static/DevGraph.hs
- trunk/Static/PrintDevGraph.hs
use ConsStatus? within node labels
- 13:44 Changeset [11912] by
-
- trunk/Proofs/Conservativity.hs
Conservativity shift rule now working.
- 13:15 Changeset [11911] by
-
- trunk/Maude/Sign.hs
Use our HasStuff? functions.
- 13:15 Changeset [11910] by
-
- trunk/Maude/Sign.hs
Restore HasSorts? and HasLabels? instances of Sign
- 13:15 Changeset [11909] by
-
- trunk/Maude/Sign.hs
Define a few handy type aliases.
- 13:15 Changeset [11908] by
-
- trunk/Maude/Meta/HasOps.hs
Update HasOps? to use AS_Maude
- 13:15 Changeset [11907] by
-
- trunk/Maude/Meta/HasSorts.hs
Update HasSorts? to use AS_Maude
- 13:15 Changeset [11906] by
-
- trunk/Maude/Meta/HasLabels.hs
Update HasLabels? to use AS_Maude
- 13:15 Changeset [11905] by
-
- trunk/Maude/Meta/HasName.hs
Add HasName? module
- 12:34 Ticket #716 (display nodes and edges with open %cons obligations in yellow) created by
- that is: ||open proof obl. || open cons obl. || colour ||yes || yes || …
- 11:42 Changeset [11904] by
-
- branches/typechecking/Constrain.hs
shapeRel fails to early
13.07.2009:
- 18:21 Changeset [11903] by
-
- trunk/OWL/tests/Family.het
identical example in Hets-lib/OWL
- 18:20 InteractiveTests edited by
- identical example in Hets-lib (diff)
- 18:02 Changeset [11902] by
-
- trunk/utils/nightly/runHsIsabelle.sh
- trunk/utils/nightly/runisabelle.sh
Isabelle 2009 change
- 10:59 Changeset [11901] by
-
- trunk/utils/nightly/linux/cronjob.sh
also make owl tools
- 10:56 Changeset [11900] by
-
- trunk/utils/nightly/cronjob.sh
create owl tools
10.07.2009:
- 17:32 Changeset [11899] by
-
- trunk/Static/AnalysisStructured.hs
added further cons links #715
- 16:26 Changeset [11898] by
-
- trunk/Static/AnalysisStructured.hs
improve node name for empty signature
- 15:44 Changeset [11897] by
-
- trunk/Static/AnalysisStructured.hs
handle %cons that precedes an extension #715
- 15:11 Changeset [11896] by
-
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/AnalysisStructured.hs
handle cons annotations following = in spec-defns #715
- 14:15 Changeset [11895] by
-
- trunk/Static/AnalysisStructured.hs
fixed second half of #715
- 13:16 Changeset [11894] by
-
- trunk/Comorphisms/LogicList.hs
- trunk/Maude/AS_Maude.hs
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/MaudeShellout.hs
- trunk/Maude/Morphism.hs
- trunk/Maude/Printing.hs
- trunk/Maude/Sentence.hs
- trunk/Maude/Sign.hs
re-added logic Maude
- 13:01 Changeset [11893] by
-
- trunk/Makefile
generate ATC files for logic Maude
09.07.2009:
- 16:07 Ticket #715 (%cons annotation is ignored) created by
- For the following specification, the %cons annotation does not appear in …
- 16:07 Changeset [11892] by
-
- branches/typechecking/Constrain.hs
- branches/typechecking/MinType.hs
- branches/typechecking/TypeCheck.hs
- branches/typechecking/TypeDecl.hs
- branches/typechecking/Unify.hs
try typechecking alternative to solve #695
- 16:00 Changeset [11891] by
-
- branches/typechecking
creating a private branch for HasCASL type checking
- 14:00 Changeset [11890] by
-
- trunk/Maude/Morphism.hs
Remove unused imports
- 14:00 Changeset [11889] by
-
- trunk/Maude/Morphism.hs
Switch Morphism to use Symbol.
- 14:00 Changeset [11888] by
-
- trunk/Maude/Sign.hs
Switch Sign to use Symbol.
- 14:00 Changeset [11887] by
-
- trunk/Maude/Sentence.hs
Switch sentences to AS_Maude.
- 14:00 Changeset [11886] by
-
- trunk/Maude/Symbol.hs
Switch symbols to AS_Maude.
- 14:00 Changeset [11885] by
-
- trunk/Maude/AS_Maude.hs
Define our own type for quoted identifiers.
This lets us make client imports easier and will be handy should we decide to change the underlying type later.
- 10:24 Changeset [11884] by
-
- trunk/Maude/Logic_Maude.hs
removed conflict marker
- 10:23 Changeset [11883] by
-
- trunk/Comorphisms/LogicList.hs
removed Maude as it does not compile
08.07.2009:
- 14:37 Changeset [11882] by
-
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/MaudeShellout.hs
- trunk/Maude/Morphism.hs
- trunk/Maude/Printing.hs
- trunk/Maude/Sign.hs
- trunk/Maude/hets.prj
- trunk/Maude/maude2haskell.maude
- trunk/Maude/parsing.maude
First steps to implement the basic analysis of Maude specifications
06.07.2009:
- 17:50 Changeset [11881] by
-
- trunk/Static/ArchDiagram.hs
- trunk/Static/GTheory.hs
- trunk/Static/WACocone.hs
added amalgamability check for heterogeneous diagrams, homogeneous case
- 15:23 Changeset [11880] by
-
- trunk/Proofs/Conservativity.hs
Some fixes regarding the cons value in a shift.
- 14:27 Changeset [11879] by
-
- trunk/HasCASL/Constrain.hs
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/test/FunctorMonadTransformer.hascasl.output
- trunk/HasCASL/test/OpDecls.hascasl.output
- trunk/HasCASL/test/PetriSystemCategory.hascasl.output
- trunk/HasCASL/test/StateMonad.hascasl.output
refactored reduction
- 10:30 Changeset [11878] by
-
- trunk/Interfaces/CmdAction.hs
- trunk/Interfaces/Command.hs
- trunk/Proofs/Conservativity.hs
First version of the conservativity rules (incomplete)
03.07.2009:
- 18:38 Changeset [11877] by
-
- trunk/HasCASL/ParseItem.hs
- trunk/HasCASL/test/Alias.hascasl
- trunk/HasCASL/test/Alias.hascasl.output
- trunk/HasCASL/test/ContraVariance.hascasl
- trunk/HasCASL/test/ContraVariance.hascasl.output
- trunk/HasCASL/test/Graphs.hascasl
- trunk/HasCASL/test/Graphs.hascasl.output
- trunk/HasCASL/test/Items.hascasl
- trunk/HasCASL/test/Items.hascasl.output
- trunk/HasCASL/test/Prelude.hascasl
- trunk/HasCASL/test/WrongItems.hascasl
- trunk/HasCASL/test/WrongItems.hascasl.output
disallowed explicit pseudo type notation following := (assign)
- 17:44 Changeset [11876] by
-
- trunk/Syntax/ToXml.hs
refinement of xml export, cleaned senseless output
- 17:26 Changeset [11875] by
-
- trunk/HasCASL/MixAna.hs
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/test/AsPattern.hascasl.output
- trunk/HasCASL/test/BasicSpec.hascasl.output
- trunk/HasCASL/test/FunctorMonadTransformer.hascasl.output
- trunk/HasCASL/test/Pair.hascasl.output
- trunk/HasCASL/test/Prelude.hascasl.output
- trunk/HasCASL/test/StateMonad.hascasl.output
make no difference between patterns and terms during mixfix resolution. Only treat patterns differently when type checking.
- 16:59 Changeset [11874] by
-
- trunk/Syntax/ToXml.hs
refinement of xml export
- 16:16 Changeset [11873] by
-
- trunk/HasCASL/VarDecl.hs
- trunk/HasCASL/test/Subtype.hascasl.output
fully close type environment of formulas (considering down sets)
- 15:47 Changeset [11872] by
-
- trunk/HasCASL/Morphism.hs
- trunk/HasCASL/SymbolMapAnalysis.hs
use setToMap from Common.Lib.Rel
- 15:42 Changeset [11871] by
-
- trunk/Common/Lib/Rel.hs
exported a more useful setToMap function
- 10:41 Changeset [11870] by
-
- trunk/Common/DocUtils.hs
added Pretty instance for quadruples
