Timeline
17.10.2009:
- 10:18 Changeset [12665] by
-
- trunk/utils/nightly/runSPASS.sh
decrease SPASS timelimit
16.10.2009:
- 19:26 Changeset [12664] by
-
- trunk/Hets.cabal
removed regex-compat package
- 19:22 Changeset [12663] by
-
- trunk/SoftFOL/ProveSPASS.hs
removed another Text.Regex usage
- 18:50 Changeset [12662] by
-
- trunk/Propositional/Prove.hs
avoided unnecessary regular expressions
- 18:29 Changeset [12661] by
-
- trunk/CASL/QuickCheck.hs
- trunk/CMDL/ProveCommands.hs
- trunk/CMDL/ProveConsistency.hs
- trunk/CMDL/Shell.hs
- trunk/Comorphisms/HetLogicGraph.hs
- trunk/Comorphisms/KnownProvers.hs
- trunk/CspCASLProver/CspCASLProver.hs
- trunk/GUI/GenericATP.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/HTkUtils.hs
- trunk/GUI/ProofDetails.hs
- trunk/GUI/ShowLogicGraph.hs
- trunk/Interfaces/DataTypes.hs
- trunk/Interfaces/GenericATPState.hs
- trunk/Interfaces/Utils.hs
- trunk/Isabelle/IsaProve.hs
- trunk/Logic/Coerce.hs
- trunk/Logic/Prover.hs
- trunk/OWL/ProvePellet.hs
- trunk/Proofs/AbstractState.hs
- trunk/Proofs/BatchProcessing.hs
- trunk/Proofs/InferBasic.hs
- trunk/Propositional/Prove.hs
- trunk/Propositional/ProveMinisat.hs
- trunk/Propositional/ProveWithTruthTable.hs
- trunk/SoftFOL/MathServMapping.hs
- trunk/SoftFOL/ProveDarwin.hs
- trunk/SoftFOL/ProveMathServ.hs
- trunk/SoftFOL/ProveSPASS.hs
- trunk/SoftFOL/ProveVampire.hs
- trunk/SoftFOL/ProverState.hs
- trunk/SoftFOL/tests/CMDL_tests.hs
- trunk/Static/GTheory.hs
- trunk/VSE/Prove.hs
refactored prover stuff
- 15:59 Changeset [12660] by
-
- trunk/GUI/GtkProverGUI.hs
made it compile
- 15:53 Changeset [12659] by
-
- trunk/Interfaces/GenericATPState.hs
derive Show and Read
- 14:50 Ticket #752 (integrate Gtk prover GUI) created by
- in GUI.ProverGUI use GUI.GtkProverGUI if GTKGLADE is …
- 13:09 Changeset [12658] by
-
- trunk/test/GALILEO/run.sh
nightly check Michael Chan's test case
- 13:07 Changeset [12657] by
-
- trunk/Driver/AnaLib.hs
- trunk/Driver/ReadFn.hs
- trunk/GUI/GraphLogic.hs
- trunk/GUI/GraphMenu.hs
- trunk/GUI/ShowLibGraph.hs
- trunk/PGIP/XMLparsing.hs
- trunk/Static/AnalysisLibrary.hs
compute filename from library name always using HETS_LIB
- 11:21 Ticket #751 (compute theory incorrect) closed by
- fixed: should be fixed by changeset:12656
- 11:20 Changeset [12656] by
-
- trunk/Proofs/VSE.hs
- trunk/Static/DGTranslation.hs
recompute global theories after translations #751
- 10:50 Ticket #751 (compute theory incorrect) created by
- With DFOL/Tests/Categories.het, translate the library along DFOL2CASL …
- 10:24 Changeset [12655] by
-
- trunk/utils/nightly/runSPASS.sh
set a time limit
- 01:57 Changeset [12654] by
-
- trunk/Maude/Meta.hs
- trunk/Maude/Meta/AsSymbol.hs
- trunk/Maude/Meta/HasLabels.hs
- trunk/Maude/Meta/HasName.hs
- trunk/Maude/Meta/HasOps.hs
- trunk/Maude/Meta/HasSorts.hs
Document Meta.*
- 01:57 Changeset [12653] by
-
- trunk/Maude/Logic_Maude.hs
- trunk/Maude/Maude2DG.hs
- trunk/Maude/Morphism.hs
Document and refactor Morphism.
15.10.2009:
- 20:16 Changeset [12652] by
-
- trunk/utils/nightly/runSPASS.sh
try different SPASS options
- 16:41 Changeset [12651] by
-
- trunk/Driver/WriteFn.hs
also output reference nodes
- 16:29 Ticket #750 (prover selection does not work) reopened by
- Markus, could you look into this, too. For …
- 16:19 Ticket #750 (prover selection does not work) closed by
- fixed: this is both fixed by changeset:12650. For some reason prepareForProving …
- 15:58 Changeset [12650] by
-
- trunk/Proofs/Global.hs
partly revert changeset:12624 and consider all ingoing edges to fix disproved result in #750
- 13:58 Changeset [12649] by
-
- trunk/Proofs/InferBasic.hs
slightly improve cons-checker output (needs more work)
- 13:56 Ticket #750 (prover selection does not work) created by
- the script […]
- 13:34 Ticket #680 (Use .hpf proof script files for batch testing) closed by
- fixed: today, everything went through, so let's wait for a reproducible problem
- 11:22 Ticket #748 (Consistency check with Pellet fails) closed by
- fixed: The literal value is accepted as "100.0^^float" or "100.0^^xsd:float", …
- 11:18 Changeset [12648] by
-
- trunk/OWL/Parse.hs
- trunk/OWL/Print.hs
let flange example of #748 go through pellet
14.10.2009:
- 16:54 Changeset [12647] by
-
- trunk/Comorphisms/LogicGraph.hs
allow to compile without CASLEXTENSIONS
- 16:49 Ticket #749 (uni needs to be ported to ghc-6.12) created by
- after installing the deprecated packedstring package I get the following …
- 16:40 Changeset [12646] by
-
- trunk/Makefile
remove old haddock-0.8 stuff
- 15:46 Changeset [12645] by
-
- trunk/ExtModal/Keywords.hs
- trunk/ExtModal/Print_AS.hs
Added ExtModal/Print?_AS.hs
- 15:27 Changeset [12644] by
-
- trunk/GUI/GtkConsistencyChecker.hs
get sublogics from _global_ theories
- 14:59 Changeset [12643] by
-
- trunk/Logic/Comorphism.hs
use map_sign to compute proper signature for model reconstruction of compositions
- 14:36 Changeset [12642] by
-
- trunk/OWL/ProvePellet.hs
implemented proveCMDLautomatic cons checker
- 14:00 Changeset [12641] by
-
- trunk/OWL/Parse.hs
prefer to read a constant
- 11:30 Changeset [12640] by
-
- trunk/ExtModal/ExtModalSign.hs
Added signatures for ExtModal?
- 11:04 Ticket #680 (Use .hpf proof script files for batch testing) reopened by
- on gemini batch testing gets stuck on the first file[…]
- 09:03 Changeset [12639] by
-
- trunk/CMDL/Commands.hs
- trunk/CMDL/InfoCommands.hs
- trunk/CMDL/Shell.hs
- trunk/Interfaces/Command.hs
Removed obsolete details command.
- 01:38 Changeset [12638] by
-
- trunk/test/GALILEO
- trunk/test/GALILEO/Heat.casl
- trunk/test/GALILEO/Heat.hpf
- trunk/test/GALILEO/newnode.casl
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
