Timeline
13.10.2009:
- 15:49 Changeset [12637] by
-
- trunk/Proofs/InferBasic.hs
report consistency although model reconstruction failed
- 15:32 Changeset [12636] by
-
- trunk/Logic/Comorphism.hs
allow to reconstruct model along homogeneous comorphisms
- 11:27 Changeset [12635] by
-
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
- trunk/hets.hs
Implemented PGIP quiet mode.
- 01:43 Changeset [12634] by
-
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/GtkUtils.hs
- trunk/GUI/Utils.hs
Splitted all functions in GtkUtils?. Function supposed to be called from outside of the gtk thread have a Ext postfix, functions supposed to be called from within the gtk thread have no postfix. Reduced the use of forks and postGUI calls in consistency checker.
- 00:01 Changeset [12633] by
-
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
Fixed errors
12.10.2009:
- 22:06 Changeset [12632] by
-
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/Logic/Grothendieck.hs
- trunk/Proofs/InferBasic.hs
- trunk/Static/DGTranslation.hs
timeout does now work for consistency checker. also moved comSublogics to Grothendieck and named it joinSublogics.
- 18:19 Changeset [12631] by
-
- trunk/ExtModal/Parse_AS.hs
Fixed some errors
- 17:59 Changeset [12630] by
-
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Logic_ExtModal.hs
Fixed some problems
- 17:37 Ticket #642 (Proofs automatic is not exhaustive) closed by
- fixed: I've increased the number of iterations in changeset:12629 and maybe a …
- 17:11 Ticket #635 (Proofs-Automatic re-creates external nodes multiple times) closed by
- fixed: This problem is gone after changeset:12624 that removed the deletion of …
- 16:50 Changeset [12629] by
-
- trunk/Proofs/Automatic.hs
removed local decomposition and increased automatic iterations
- 16:27 Changeset [12628] by
-
- trunk/ExtModal/ATC_ExtModal.hs
- trunk/Makefile
generate ATC_ExtModal file
- 16:03 Changeset [12627] by
-
- trunk/ExtModal/Keywords.hs
Fixed some errors
- 15:50 Changeset [12626] by
-
- trunk/CMDL/DgCommands.hs
refactored code
- 14:14 Changeset [12625] by
-
- trunk/CspCASL/Print_CspCASL.hs
- trunk/CspCASL/SimplifySen.hs
- trunk/CspCASLProver/Utils.hs
Fixed compiler warnings
10.10.2009:
- 14:10 Ticket #5 (Global decomposition does not work across library borders) reopened by
- copying reference nodes is rather inefficient, since more reference nodes …
- 14:01 Changeset [12624] by
-
- trunk/Proofs/Global.hs
only consider definition links
- 10:46 Changeset [12623] by
-
- trunk/CMDL/ProveCommands.hs
Remove installed signal handler if prover is finished. Otherwise it is not possible to quit hets with CTRL+C after a proof.
- 10:46 Changeset [12622] by
-
- trunk/CMDL/Interface.hs
- trunk/PGIP/XMLparsing.hs
- trunk/hets.hs
Processing input files in all commandline modes. Continue to work with the resulting CmdlState?.
- 10:04 Changeset [12621] by
-
- trunk/Proofs/Global.hs
reuse signature index
- 10:03 Changeset [12620] by
-
- trunk/Static/AnalysisLibrary.hs
revert changes caused by accidental changeset:12614
- 09:55 Ticket #18 (conservativity calculus) closed by
- fixed
- 09:14 Changeset [12619] by
-
- trunk/CMDL/Interface.hs
- trunk/hets.hs
Commandline interface works without haskeline, but without completion and history.
09.10.2009:
- 17:53 Changeset [12618] by
-
- trunk/GUI/GraphLogic.hs
re-compute global theory after proving
- 17:47 Changeset [12617] by
-
- trunk/CMDL/ProveConsistency.hs
- trunk/Proofs/VSE.hs
re-compute global theories after proving
- 15:39 Changeset [12616] by
-
- trunk/CMDL/Interface.hs
Don't complete -current commands when no nodes are selected.
- 14:56 Changeset [12615] by
-
- trunk/CMDL/DgCommands.hs
- trunk/Comorphisms/GetPreludeLib.hs
- trunk/Driver/AnaLib.hs
- trunk/GUI/hets_cgi.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/DevGraph.hs
- trunk/Test.hs
thread through index maps
- 13:18 Changeset [12614] by
-
- trunk/Proofs/EdgeUtils.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/ComputeTheory.hs
- trunk/hets.hs
I do not see why 'exitWith ExitSuccess?' is neededhets.hs
- 13:07 Ticket #748 (Consistency check with Pellet fails) created by
- With flangeExample.het, when checking consistency of the single node, a …
- 13:06 Changeset [12613] by
-
- trunk/CMDL/Interface.hs
- trunk/CMDL/ProveCommands.hs
- trunk/Hets.cabal
- trunk/Makefile
- trunk/var.mk
separated unix-package dependency
- 12:52 Changeset [12612] by
-
- trunk/Hets.cabal
- trunk/hets.hs
haskeline is now only needed for cmdlRunShell
- 11:26 Changeset [12611] by
-
- trunk/Comorphisms/LogicGraph.hs
- trunk/Logic/Grothendieck.hs
- trunk/Proofs/NormalForm.hs
Normalization of freeness works for Maude. Needs improvements.
- 11:13 Changeset [12610] by
-
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
Changed parser
- 09:53 Ticket #747 (Remove Shellac dependency) closed by
- fixed: Fixed by [12609].
- 09:53 Changeset [12609] by
-
- trunk/CMDL/Commands.hs
- trunk/CMDL/DataTypes.hs
- trunk/CMDL/InfoCommands.hs
- trunk/CMDL/Interface.hs
- trunk/CMDL/ProcessScript.hs
- trunk/CMDL/Shell.hs
- trunk/Hets-Haddock-Prologue.txt
- trunk/Hets.cabal
- trunk/Interfaces/Command.hs
- trunk/hets.hs
- trunk/utils/installHetsPkgs.sh
- trunk/var.mk
Removed shellac dependency - now only haskeline is used.
08.10.2009:
- 17:48 Changeset [12608] by
-
- trunk/Haskell/Haskell2DG.hs
- trunk/OWL/OWLAnalysis.hs
pre-compute global theories for Haskell and OWL, too
- 17:24 Changeset [12607] by
-
- trunk/Maude/Maude2DG.hs
precompute global theories for maude
- 17:00 Changeset [12606] by
-
- trunk/Proofs/EdgeUtils.hs
- trunk/Proofs/StatusUtils.hs
undo changeset:12568 and only clear MVar lock of nodes when looking of history before writing it out
- 16:57 Changeset [12605] by
-
- trunk/Static/DevGraph.hs
made RefNodesDG functions total
- 16:43 Changeset [12604] by
-
- trunk/Proofs/Local.hs
re-compute global theories
- 15:42 Changeset [12603] by
-
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
Changed parser
- 14:40 Changeset [12602] by
-
- trunk/Proofs/DGFlattening.hs
- trunk/Proofs/QualifyNames.hs
recompute global theories
- 14:19 Changeset [12601] by
-
- trunk/Proofs/NormalForm.hs
compute global theory for normal form nodes
- 14:07 Changeset [12600] by
-
- trunk/Proofs/ComputeColimit.hs
compute global theory for the colimit
- 14:00 Changeset [12599] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Comorphism.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Symbol.hs
Removed whitespaces
- 13:55 Changeset [12598] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Comorphism.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Morphism.hs
- 13:35 Ticket #747 (Remove Shellac dependency) created by
- Only Haskeline is used as Shellac backend. Since Haskeline also provides …
- 12:41 Changeset [12597] by
-
- trunk/ExtModal/Parse_AS.hs
Changed parser
- 11:36 Changeset [12596] by
-
- trunk/CMDL/ProcessScript.hs
improve observing output
- 11:24 Changeset [12595] by
-
- trunk/CMDL/Interface.hs
- trunk/CMDL/StdInterface.hs
Moved ShellDescription? to interface.
- 11:24 Changeset [12594] by
-
- trunk/PGIP/XMLstate.hs
addToMsg only takes one string argument now
- 11:08 Changeset [12593] by
-
- trunk/Proofs/Local.hs
- trunk/Static/ComputeTheory.hs
recompute global theory after local inference as before
- 10:26 Changeset [12592] by
-
- trunk/utils/nightly/linux/cronjob.sh
by checkEnvs also *.prf files are created for checkPrfs
- 01:53 Changeset [12591] by
-
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Morphism.hs
- trunk/DFOL/Tests/StructuredSpecs.het
Modified induced_from_to_morphism for DFOL to automatically infer the morphism if each symbol not present in the raw map can be mapped uniquely
07.10.2009:
- 20:05 Changeset [12590] by
-
- trunk/PGIP/XMLstate.hs
do not create empty messages
- 19:55 Changeset [12589] by
-
- trunk/PGIP/ParseProofScript.hs
allow to output pgip elements for input
- 19:22 Changeset [12588] by
-
- trunk/CMDL/Interface.hs
- trunk/CMDL/ParseProofScript.hs
- trunk/CMDL/ProcessScript.hs
- trunk/PGIP/ParseProofScript.hs
- trunk/PGIP/XMLparsing.hs
- trunk/hets.hs
restructured proof script parsing
- 18:44 Ticket #743 (Refactor pgip xml element handling) reopened by
- Code has to be moved so that only cmdlRunShell depends on …
- 18:27 Changeset [12587] by
-
- trunk/CMDL/DataTypesUtils.hs
- trunk/CMDL/DgCommands.hs
- trunk/Comorphisms/GetPreludeLib.hs
- trunk/Driver/WriteFn.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/Interfaces/Utils.hs
- trunk/Proofs/DGFlattening.hs
- trunk/Proofs/InferBasic.hs
- trunk/Proofs/Local.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/ComputeTheory.hs
- trunk/Static/DevGraph.hs
moved ComputeTheory? to folder Static
- 17:44 Changeset [12586] by
-
- trunk/Proofs/ComputeTheory.hs
- trunk/Proofs/Global.hs
- trunk/Proofs/Local.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/DevGraph.hs
precompute global theories to speed up local inference
- 16:39 Changeset [12585] by
-
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Parse_AS.hs
removed svn:executable property from haskell sources
- 16:36 Changeset [12584] by
-
- trunk/ExtModal/AS_ExtModal.der.hi
- trunk/ExtModal/Keywords.hi
.hi are generated and should not be checked in
- 16:01 Changeset [12583] by
-
- trunk/ExtModal/ATC_ExtModal.hs
- trunk/ExtModal/ExtModalSign.hs
- trunk/ExtModal/ExtModalSystems.hs
- trunk/ExtModal/Logic_ExtModal.hs
- trunk/ExtModal/Print_AS.hs
- trunk/ExtModal/StatAna.hs
Added some stubs
- 15:58 Changeset [12582] by
-
- trunk/ExtModal.hs
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hi
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
Changed ExtModal?
- 10:41 Changeset [12581] by
-
- trunk/ExtModal/Parse_AS.hs
Changed Parse_AS
- 10:31 Changeset [12580] by
-
- trunk/ExtModal/\
Deleted \
06.10.2009:
- 10:57 Changeset [12579] by
-
- trunk/ExtModal
- trunk/ExtModal/AS_ExtModal.der.hi
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hi
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
- trunk/ExtModal/\
ExtModal? changed
- 10:56 Changeset [12578] by
-
- trunk/ExtModal
ExtModal? changed
- 10:54 Changeset [12577] by
-
- trunk/ExtModal
- trunk/ExtModal/AS_ExtModal.der.hi
- trunk/ExtModal/AS_ExtModal.der.hs
- trunk/ExtModal/Keywords.hi
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Parse_AS.hs
- trunk/ExtModal/\
ExtModal? directory
- 00:24 Changeset [12576] by
-
- trunk/CMDL/Commands.hs
- trunk/CMDL/DgCommands.hs
- trunk/Interfaces/Command.hs
- trunk/Static/AnalysisLibrary.hs
05.10.2009:
- 14:23 Changeset [12575] by
-
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/Proofs/InferBasic.hs
added analysis of results to consistencyCheck.
04.10.2009:
- 14:51 Changeset [12574] by
-
- trunk/Proofs/Local.hs
avoided multiple lookups using library name
- 14:08 Changeset [12573] by
-
- trunk/Logic/Grothendieck.hs
used nubOrd rather than just nub
- 11:48 Changeset [12572] by
-
- trunk/Logic/Comorphism.hs
avoid sublogic test for id-comporphisms
02.10.2009:
- 19:21 Changeset [12571] by
-
- trunk/CASL/CCC/FreeTypes.hs
- trunk/CASL/CCC/TermFormula.hs
moved isUserOrSortGen and refactored checkFreeType
- 18:47 Changeset [12570] by
-
- trunk/CMDL/FileInterface.hs
- trunk/CMDL/StringInterface.hs
since changeset:12563 no longer used
- 18:35 Changeset [12569] by
-
- trunk/CMDL/Interface.hs
- trunk/var.mk
removed editline
- 17:53 Changeset [12568] by
-
- trunk/Proofs/EdgeUtils.hs
do not put MVars into history
- 13:56 Changeset [12567] by
-
- trunk/PGIP/XMLparsing.hs
refactored xml command extraction
- 12:35 Changeset [12566] by
-
- trunk/Interfaces/Command.hs
added command equality
- 12:14 Changeset [12565] by
-
- trunk/PGIP/XMLparsing.hs
also send xml dgraph after global dgraph rules
- 10:54 Changeset [12564] by
-
- trunk/PGIP/XMLparsing.hs
changed informedfileloaded to use an url attribute
01.10.2009:
- 18:14 Changeset [12563] by
-
- trunk/CMDL/DataTypes.hs
- trunk/CMDL/Interface.hs
- trunk/PGIP/ParseProofScript.hs
- trunk/PGIP/XMLparsing.hs
bypass Shellac for string and file processing
- 16:49 Changeset [12562] by
-
- trunk/CMDL/ProveConsistency.hs
Typo
- 16:47 Changeset [12561] by
-
- trunk/CMDL/ProveConsistency.hs
Changed comorphism warning message.
- 16:21 Changeset [12560] by
-
- trunk/PGIP/XMLparsing.hs
create non-normal response for filename and dev-graph
- 16:16 Changeset [12559] by
-
- trunk/CMDL/Commands.hs
- trunk/PGIP/ParseProofScript.hs
extended from commands to CmdlCmdDescription?
- 15:59 Ticket #744 (treatment of proof-scripts by the CMDL interface should be more uniform) closed by
- fixed: I'll close this ticket, but maybe you could also change the (unrelated) …
- 14:56 Changeset [12558] by
-
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
output file name and xml of dev-graph on pgip opentheory
- 14:27 Changeset [12557] by
-
- trunk/CMDL/DataTypesUtils.hs
Cleaned up prompt.
- 14:08 Changeset [12556] by
-
- trunk/CMDL/Interface.hs
- trunk/CMDL/StdInterface.hs
Echo input from file in interactive-mode.
- 13:56 Changeset [12555] by
-
- trunk/CMDL/ParseProofScript.hs
- trunk/PGIP/ParseProofScript.hs
moved parser module to PGIP but kept a Main module in CMDL for a stand-alone version
- 12:51 Changeset [12554] by
-
- trunk/SoftFOL/tests/CMDL_tests.hs
supply sufficient time for 3 goals
- 12:14 Changeset [12553] by
-
- trunk/CMDL/Interface.hs
- trunk/CMDL/StdInterface.hs
Improved processing of input files.
- 10:52 Changeset [12552] by
-
- trunk/CMDL/StdInterface.hs
Seperate empty prompts in input-mode.
- 10:05 Changeset [12551] by
-
- trunk/HasCASL/TypeCheck.hs
ensure matching tuple length
30.09.2009:
- 19:59 Ticket #738 (HasCASL type analysis takes too long for literals with highly overloaded ...) closed by
- fixed: after (changeset:12549 and) changeset:12550 the example always goes …
- 19:51 Changeset [12550] by
-
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/test/BasicSpec.hascasl.output
- trunk/HasCASL/test/PetriSystemCategory.hascasl.output
speed up type checking monomorphic tuples
- 19:28 Changeset [12549] by
-
- trunk/HasCASL/Constrain.hs
- trunk/HasCASL/FoldType.hs
- trunk/HasCASL/MinType.hs
- trunk/HasCASL/SubtypeDecl.hs
- trunk/HasCASL/TypeAna.hs
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/VarDecl.hs
- trunk/HasCASL/test/CTree.hascasl.output
- trunk/HasCASL/test/Constrain.hascasl.output
early resolve monomorphic constraints
- 15:22 Changeset [12548] by
-
- trunk/CMDL/StdInterface.hs
Oops, forgot one file.
- 15:21 Changeset [12547] by
-
- trunk/CMDL/Interface.hs
Proof-script treatment more uniform. For #744.
- 15:03 Changeset [12546] by
-
- trunk/CMDL/Interface.hs
hets -I file.hpf now processes the proof-script and displays a prompt.
- 14:24 Ticket #743 (Refactor pgip xml element handling) closed by
- fixed: If there is anything else that has to be done to xml element handling you …
- 14:22 Changeset [12545] by
-
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
Some refactoring.
- 14:05 Changeset [12544] by
-
- trunk/clean.lst
adjusted list of files to be removed from a source distribution
- 13:55 Changeset [12543] by
-
- trunk/GUI/cgi-files
old WASH stuff is no longer user
- 13:52 Changeset [12542] by
-
- trunk/VSE/doc
- trunk/VSE/doc/api.pdf
move api documentation
- 13:51 Changeset [12541] by
-
- trunk/PGIP/doc
- trunk/PGIP/doc/commentary.pdf
added pgip description
- 12:57 Changeset [12540] by
-
- trunk/CMDL/ParseProofScript.hs
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
refactored open and close theory and normal response creation
29.09.2009:
- 18:08 Changeset [12539] by
-
- trunk/CMDL/ParseProofScript.hs
convert a hpf file to xml
- 14:15 Changeset [12538] by
-
- trunk/SoftFOL/ProveDarwin.hs
add time limit via input tactic script
- 13:42 Changeset [12537] by
-
- trunk/Comorphisms/SuleCFOL2SoftFOL.hs
removed trace from extract model
28.09.2009:
- 18:05 Changeset [12536] by
-
- trunk/CMDL/Shell.hs
removed internal functions from export list
- 18:04 Changeset [12535] by
-
- trunk/Maude/Maude2DG.hs
check maude process exit code
- 18:04 Ticket #746 (parsing Maude modules) created by
- With the attached file, a missing space before the dot or a missing dot …
- 17:25 Changeset [12534] by
-
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
Reworked pgip xml element handling.
- 17:25 Ticket #745 (better error message when MAUDE_LIB not set) created by
- When the env variable MAUDE_LIB is not set, the erorr message currently …
- 16:47 Ticket #744 (treatment of proof-scripts by the CMDL interface should be more uniform) created by
- […] should be (more) identical to …
- 16:36 Ticket #743 (Refactor pgip xml element handling) created by
- 1. PGIP xml elements are added at various places in the PGIP interface - …
- 16:24 Ticket #742 (for concurrent proofs the output is intermangled) created by
- […]
- 16:10 Changeset [12533] by
-
- trunk/SoftFOL/tests/CMDL_tests.hs
corrected Vampire result wrt ga_comm_inf
- 14:04 Ticket #741 (Refactor and re-add missing *-current commands in CMDL interface) closed by
- fixed: Fixed by [12532]
- 14:03 Changeset [12532] by
-
- trunk/CMDL/Commands.hs
- trunk/Interfaces/Command.hs
Removed duplicated inspect commands. Fixes #741
- 11:07 Changeset [12531] by
-
- trunk/utils/nightly/runisabelle.sh
less verbose output
- 11:03 Ticket #741 (Refactor and re-add missing *-current commands in CMDL interface) reopened by
- The duplication of inspect commands by adding "Current" should be avoided …
27.09.2009:
- 10:13 Changeset [12530] by
-
- trunk/CMDL/ConsCommands.hs
- trunk/CMDL/ProveCommands.hs
- trunk/CMDL/ProveConsistency.hs
Refactored prove- and consistency-loop.
- 09:21 Changeset [12529] by
-
- trunk/CMDL/DataTypesUtils.hs
- trunk/CMDL/DgCommands.hs
- trunk/CMDL/InfoCommands.hs
Use refactored functions also in DgCommands?
- 09:16 Changeset [12528] by
-
- trunk/CASL/test/BasicSpec.analysis.output
- trunk/CASL/test/BasicSpec.sentences.output
- trunk/CASL/test/BasicSpec.signature.output
- trunk/CASL/test/XOver1.casl.output
- trunk/Common/Result.hs
- trunk/HasCASL/test/Alias.hascasl.output
- trunk/HasCASL/test/B1.hascasl.output
- trunk/HasCASL/test/BasicSpec.hascasl.output
- trunk/HasCASL/test/BoundedOrd.hascasl.output
- trunk/HasCASL/test/CTree.hascasl.output
- trunk/HasCASL/test/Chain.hascasl.output
- trunk/HasCASL/test/Freetype.hascasl.output
- trunk/HasCASL/test/Functor.hascasl.output
- trunk/HasCASL/test/FunctorMonadTransformer.hascasl.output
- trunk/HasCASL/test/Graphs.hascasl.output
- trunk/HasCASL/test/ListEx.hascasl.output
- trunk/HasCASL/test/NAdd.hascasl.output
- trunk/HasCASL/test/Num.hascasl.output
- trunk/HasCASL/test/OpDecls.hascasl.output
- trunk/HasCASL/test/OpWithInst.hascasl.output
- trunk/HasCASL/test/PetriSystemCategory.hascasl.output
- trunk/HasCASL/test/PlainTypes.hascasl.output
- trunk/HasCASL/test/Prelude.hascasl.output
- trunk/HasCASL/test/Product.hascasl.output
- trunk/HasCASL/test/StateMonad.hascasl.output
- trunk/HasCASL/test/Subtype.hascasl.output
- trunk/HasCASL/test/Subtype5.hascasl.output
- trunk/HasCASL/test/YCombinator.hascasl.output
- trunk/test/ParameterSpecTest/ParamView.xml
use range span for diagnostics
26.09.2009:
- 12:46 Changeset [12527] by
-
- trunk/CASL/CCC/FreeTypes.hs
- trunk/CMDL/ConsCommands.hs
- trunk/Common/Consistency.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/Interfaces/Utils.hs
- trunk/Logic/Prover.hs
- trunk/Makefile
- trunk/Maude/Maude2DG.hs
- trunk/OMDoc/OMDocInput.hs
- trunk/OMDoc/OMDocOutput.hs
- trunk/OWL/Conservativity.hs
- trunk/Proofs/Composition.hs
- trunk/Proofs/Conservativity.hs
- trunk/Proofs/EdgeUtils.hs
- trunk/Proofs/HideTheoremShift.hs
- trunk/Proofs/NormalForm.hs
- trunk/Propositional/Conservativity.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/Static/AnalysisStructured.hs
- trunk/Static/DevGraph.hs
- trunk/Static/PrintDevGraph.hs
use a single Conservativity data type
- 11:50 Changeset [12526] by
-
- trunk/Interfaces/Utils.hs
- trunk/Logic/Logic.hs
- trunk/Logic/Morphism.hs
- trunk/Proofs/AbstractState.hs
- trunk/Proofs/InferBasic.hs
hlinted
- 11:48 Ticket #741 (Refactor and re-add missing *-current commands in CMDL interface) closed by
- fixed: Implemented in [12525].
- 11:46 Changeset [12525] by
-
- trunk/CMDL/Commands.hs
- trunk/CMDL/InfoCommands.hs
- trunk/CMDL/Utils.hs
- trunk/Interfaces/Command.hs
Large refactoring of inspect-commands. Re-added *-current commands.
- 11:10 Changeset [12524] by
-
- trunk/GUI/hets_cgi.hs
slightly changed output text
- 10:50 Changeset [12523] by
-
- trunk/Syntax/ToXml.hs
properly print logic name attribute
- 10:39 Changeset [12522] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/HasCASL/As.hs
- trunk/Haskell/HatParser.hs
- trunk/Logic/Logic.hs
- trunk/Maude/AS_Maude.hs
- trunk/OWL/AS.hs
- trunk/Temporal/AS_BASIC_Temporal.hs
- trunk/VSE/As.hs
require instance GetRange? for basic specs
25.09.2009:
- 19:55 Changeset [12521] by
-
- trunk/PGIP/XMLparsing.hs
create xml output via library function
- 18:50 Changeset [12520] by
-
- trunk/Driver/WriteFn.hs
create a matching theory name for unamed libraries
- 18:48 Ticket #693 (MakePartial added in Isabelle-Export) closed by
- fixed: fixed by changeset:12519
- 18:25 Changeset [12519] by
-
- trunk/HasCASL/TypeCheck.hs
- trunk/HasCASL/test/OpDecls.hascasl.output
simplified some typed terms for #693
- 18:11 Ticket #740 (Cannot adjust type at a subtype situation in Isabelle translation) closed by
- fixed: fixed by changeset:12518
- 18:11 Changeset [12518] by
-
- trunk/Comorphisms/HasCASL2PCoClTyConsHOL.hs
- trunk/Comorphisms/PPolyTyConsHOL2IsaUtils.hs
keep more inferred types for #740
- 13:32 Changeset [12517] by
-
- trunk/PGIP/XMLstate.hs
changed comment for getRefseqNb
- 13:00 Changeset [12516] by
-
- trunk/Driver/WriteLibDefn.hs
corrected writing file message
- 12:55 Changeset [12515] by
-
- trunk/Static/AnalysisLibrary.hs
check for an empty library
- 12:27 Changeset [12514] by
-
- trunk/Common/LibName.hs
corrected instance Show LibName?
- 10:08 Changeset [12513] by
-
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
the pgip-subelement structure is now flattened to the top-level
24.09.2009:
- 18:13 Changeset [12512] by
-
- trunk/DFOL/Tests/StructuredSpecs.het
Adding test file for structured specifications in DFOL
- 18:13 Changeset [12511] by
-
- trunk/DFOL/Comorphism.hs
Replaced Total by Partial profile for ops in CASL morphisms
- 17:07 Changeset [12510] by
-
- trunk/Driver/WriteLibDefn.hs
ppTopElement adds a final newline, so no need to add an extra one
- 17:05 Changeset [12509] by
-
- trunk/utils/nightly/runisabelle.sh
qualified axioms_of for Isabelle2009
- 16:38 Changeset [12508] by
-
- trunk/PGIP/XMLstate.hs
- trunk/SoftFOL/MathServParsing.hs
use strContent to get cdData text content
- 16:25 Changeset [12507] by
-
- trunk/SoftFOL/MathServParsing.hs
extended error strings
- 16:01 Changeset [12506] by
-
- trunk/Common/LibName.hs
corrected printing version number
- 14:01 Changeset [12505] by
-
- trunk/PGIP/XMLstate.hs
wibble
- 13:41 Changeset [12504] by
-
- trunk/PGIP/MarkPgip.hs
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
refactored using xml elements instead of content
- 12:47 Changeset [12503] by
-
- trunk/PGIP/MarkPgip.hs
- trunk/PGIP/XMLparsing.hs
- trunk/PGIP/XMLstate.hs
replaced genQName by unqual
- 12:40 Changeset [12502] by
-
- trunk/CMDL/ProveUtils.hs
unused since instance Read ATPTactic_script is used for parseTactic_script
- 12:14 Changeset [12501] by
-
- trunk/Common/ToXml.hs
- trunk/Syntax/ToXml.hs
moved creating xml text to Common
- 12:12 Ticket #735 (Prove VSE Structured for natbin_refine.het puzzles me) closed by
- fixed: I'm no longer puzzled
- 11:36 Ticket #741 (Refactor and re-add missing *-current commands in CMDL interface) created by
- 11:12 Changeset [12500] by
-
- trunk/PGIP/MarkPgip.hs
- trunk/PGIP/XMLstate.hs
added error-handling for empty lists
- 10:10 Ticket #734 (PGIP shell should report bad xml commands) closed by
- fixed: Obviously the datastructure for unknown commands was already implemented …
- 10:08 Changeset [12499] by
-
- trunk/PGIP/XMLstate.hs
Report unknown commands. Closes #734
- 01:33 Changeset [12498] by
-
- trunk/DFOL/AS_DFOL.hs
- trunk/DFOL/Analysis_DFOL.hs
- trunk/DFOL/Logic_DFOL.hs
- trunk/DFOL/Parse_AS_DFOL.hs
- trunk/DFOL/Symbol.hs
- trunk/DFOL/Tests/Categories.het
- trunk/DFOL/Tests/Matrices.het
- trunk/DFOL/Tests/Test.het
Added inducedFromMorphism for DFOL morphisms
23.09.2009:
- 18:36 Ticket #740 (Cannot adjust type at a subtype situation in Isabelle translation) created by
- When translating HasCASL specs to Isabelle theories with the comorphism …
- 18:07 Changeset [12497] by
-
- trunk/Test.hs
LIB_NAME -> LibName?
- 17:52 Changeset [12496] by
-
- trunk/PGIP/XMLparsing.hs
check for EOF to stop PGIP processing
- 17:31 Ticket #739 (proofs run by the CMDL are not recorded in the development graph) created by
- After […] the resulting …
- 17:25 Changeset [12495] by
-
- trunk/CMDL/FileInterface.hs
- trunk/CMDL/Interface.hs
- trunk/Interfaces/DataTypes.hs
- trunk/hets.hs
allow graph to pop up after processed hpf file
- 15:56 Ticket #738 (HasCASL type analysis takes too long for literals with highly overloaded ...) created by
- adding[…]
- 13:13 Changeset [12494] by
-
- trunk/Syntax/Parse_AS_Library.hs
- trunk/Syntax/Print_AS_Library.hs
better support one unamed spec and an unnamed library
- 12:44 Changeset [12493] by
-
- trunk/ATC/Sml_cats.hs
- trunk/CASL/OMDoc.hs
- trunk/CASL/Qualify.hs
- trunk/CMDL/ConsCommands.hs
- trunk/CMDL/DgCommands.hs
- trunk/CMDL/ProveConsistency.hs
- trunk/Common/LibName.hs
- trunk/Driver/AnaLib.hs
- trunk/Driver/ReadFn.hs
- trunk/Driver/WriteFn.hs
- trunk/Driver/WriteLibDefn.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphTypes.hs
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/ShowGraph.hs
- trunk/GUI/ShowLibGraph.hs
- trunk/GUI/hets_cgi.hs
- trunk/Haskell/Haskell2DG.hs
- trunk/Interfaces/CmdAction.hs
- trunk/Interfaces/DataTypes.hs
- trunk/Interfaces/History.hs
- trunk/Interfaces/Utils.hs
- trunk/Logic/Logic.hs
- trunk/Maude/Maude2DG.hs
- trunk/OMDoc/CASLDefs.hs
- trunk/OMDoc/CASLOutput.hs
- trunk/OMDoc/Export.hs
- trunk/OMDoc/HetsDefs.hs
- trunk/OMDoc/OMDocDefs.hs
- trunk/OMDoc/OMDocInput.hs
- trunk/OMDoc/OMDocOutput.hs
- trunk/OMDoc/Sentences.hs
- trunk/OWL/OWLAnalysis.hs
- trunk/Omega/Export.hs
- trunk/Proofs/Automatic.hs
- trunk/Proofs/Composition.hs
- trunk/Proofs/ComputeColimit.hs
- trunk/Proofs/ComputeTheory.hs
- trunk/Proofs/Conservativity.hs
- trunk/Proofs/DGFlattening.hs
- trunk/Proofs/Global.hs
- trunk/Proofs/HideTheoremShift.hs
- trunk/Proofs/InferBasic.hs
- trunk/Proofs/Local.hs
- trunk/Proofs/NormalForm.hs
- trunk/Proofs/QualifyNames.hs
- trunk/Proofs/SimpleTheoremHideShift.hs
- trunk/Proofs/StatusUtils.hs
- trunk/Proofs/TheoremHideShift.hs
- trunk/Proofs/VSE.hs
- trunk/SoftFOL/CreateDFGDoc.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Static/DGTranslation.hs
- trunk/Static/DevGraph.hs
- trunk/Static/PrintDevGraph.hs
- trunk/Static/ToXml.hs
- trunk/Syntax/AS_Library.der.hs
- trunk/Syntax/Parse_AS_Library.hs
- trunk/Syntax/ToXml.hs
- trunk/VSE/ToSExpr.hs
refactored, camel cased, library names
- 11:55 Changeset [12492] by
-
- trunk/Driver/WriteLibDefn.hs
removed duplicate code
- 11:47 Changeset [12491] by
-
- trunk/Driver/WriteLibDefn.hs
- trunk/GUI/hets_cgi.hs
- trunk/Static/AnalysisLibrary.hs
- trunk/Syntax/ToXml.hs
replaced (unreadable) show output by xml output in web interface
- 01:28 Changeset [12490] by
-
- trunk/GUI/GtkConsistencyChecker.hs
added update function for results window.
- 01:12 Changeset [12489] by
-
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/GtkConsistencyChecker.hs
added status for each node. color depends on status.
- 00:12 Changeset [12488] by
-
- trunk/GUI/Glade/ConsistencyChecker.glade
- trunk/GUI/GtkConsistencyChecker.hs
- trunk/GUI/GtkUtils.hs
added color to node list to indicate status of node
