History log of /hets/HasCASL/test/Constrain.hascasl.output
Revision Date Author Comments Expand
5de34eba726f63d1522bf17a857309a6208ce0b5 19-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

changed ugly diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17886 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixFormula.casl.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CASL/test/X2.casl.output /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/WrongPrecedence.annos.global.output Alias.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Double.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype5.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6 04-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17673 cec4b9c1-7d33-0410-9eda-942365e851bb

Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output Flag.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output NAdd.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype4.hascasl.output Subtype5.hascasl.output SuperClass.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
678e45c045799ce271c4719123ecd9cf4f456d4b 11-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

print predicates using pred (as parsed) to improve reparsing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13062 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintLe.hs And.hascasl.output AsPattern.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output Coproducts.hascasl.output Double.hascasl.output Expr.hascasl.output Flag.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype5.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
3bffe0f10ad93403e36288a1a4a92d50356956b5 30-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

early resolve monomorphic constraints git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12549 cec4b9c1-7d33-0410-9eda-942365e851bb
d645eac2b9bf2e1a458b25982051276232670f09 20-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

changed positions reconstruction during mixfix analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12194 cec4b9c1-7d33-0410-9eda-942365e851bb
0bc67ab104bfc3aa3233035b1c35bb7fa11cd9e3 30-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

re-grouped simplification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12012 cec4b9c1-7d33-0410-9eda-942365e851bb
8134af4b37c4ad27e30d57b6fbfefd0f91ee6d3c 24-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

delay some constrained resolution, avoid partial functions to a partial result type but expect type ?Unit for formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11987 cec4b9c1-7d33-0410-9eda-942365e851bb
6f031207ab25d41ae4740a4151d5946faff4768b 04-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

always use &lt; in class-decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10261 cec4b9c1-7d33-0410-9eda-942365e851bb
98b443335df9c77328edb9dbf3ed565535317249 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

inserted line breaks in result messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8862 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixFormula.casl.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CASL/test/X2.casl.output /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output Alias.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output EmptyLambda.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
adfdcfa67b7f12df6df7292e238c3f9a4b637980 24-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

print only user supplied instantiation lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8704 cec4b9c1-7d33-0410-9eda-942365e851bb
946f62de1b188898dde0c472f2a8a6fb86f4d2f5 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

make printed sign more reparsable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8658 cec4b9c1-7d33-0410-9eda-942365e851bb
6cb518d88084543c13aa7e56db767c14ee97ab77 17-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed printing to allow reparsing of theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8644 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Subtype.hascasl.output SuperClassErrors.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
b06572b54fcf9d6976cfff57da22672f996b4748 17-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

printed instantiation lists, corrected printing of ResolvedMixTerm with instantiation but without arguments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8642 cec4b9c1-7d33-0410-9eda-942365e851bb
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13 25-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed kind lists to kind sets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8481 cec4b9c1-7d33-0410-9eda-942365e851bb
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a 16-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed unused instantiation lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs CMonad.hascasl.output CTree.hascasl.output Chain.hascasl.output Constrain.hascasl.output Coproducts.hascasl.output FunctorMonadTransformer.hascasl.output Pair.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output Subtype.hascasl.output
749074bf849727439f584139415f6a985a8aa875 29-Jun-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved printing of simple classes and type patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8186 cec4b9c1-7d33-0410-9eda-942365e851bb
32a2f5f00ff72c095b39629101043db4407974f9 08-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

print empty specs and omit semicolons between basic items and after a final class item git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7395 cec4b9c1-7d33-0410-9eda-942365e851bb
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981c 02-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

only set semicolons after a last formula git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7365 cec4b9c1-7d33-0410-9eda-942365e851bb
a59f2017dfc311ece7afcea3e8a3ceceac77ba5a 01-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

enable re-parsing of printed basic specs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7364 cec4b9c1-7d33-0410-9eda-942365e851bb
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6de 26-Jan-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7350 cec4b9c1-7d33-0410-9eda-942365e851bb
2f2237571ed7885b0f1ccb2c17996e8922f3d12d 07-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

avoided final spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6780 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/MixfixTerms.casl.output /hets/CASL/test/X1.casl.output /hets/CASL/test/X2.casl.output /hets/CASL/test/X3.casl.output /hets/CASL/test/X4.casl.output /hets/CASL/test/XOver1.casl.output /hets/CASL/test/XTest.casl.output /hets/Common/Doc.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/Annotations.casl.output /hets/Common/test/Annotations.casl.perLine.output Alias.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

added global annos to signature for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/AsToLe.hs /hets/HasCASL/Le.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/hacapa.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
8aea46773664711e0910accc5cf80ef9ee1bcfbf 29-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

suppress output of builtins git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6393 cec4b9c1-7d33-0410-9eda-942365e851bb
5a13581acc5a76d392c1dec01657bb3efd4dcf2d 07-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

switched to Common.Doc.Pretty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/MixPrint.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output MixfixTerms.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
5dca8f36562463e6f691d4d50efe5716d5299801 21-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

replaced __* by ### git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5554 cec4b9c1-7d33-0410-9eda-942365e851bb
9df7943e174665a367e75714d54b352a3760dd58 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

corrected rmTypeRec and convTermRec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5102 cec4b9c1-7d33-0410-9eda-942365e851bb
c7041924e85535e80c7c08699cb308071d7010be 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

separate conversion and removing type annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5099 cec4b9c1-7d33-0410-9eda-942365e851bb
b55cf4375478168316b212cbc7d261fb683645ff 26-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

fewer parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5077 cec4b9c1-7d33-0410-9eda-942365e851bb
699511266869036921be9c7ae6ac83d1b66ba51d 23-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

improve (still not optimal) mixfix and literal printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5069 cec4b9c1-7d33-0410-9eda-942365e851bb
96646aed2ae087b942ae23f15bbe729a8f7c43d3 20-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed LIB_PATH and used PERL for haddock on solaris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5030 cec4b9c1-7d33-0410-9eda-942365e851bb
af47051acb16b97b6bc0ff7295cae44eed87d63e 14-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

simplified unique vars and ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5015 cec4b9c1-7d33-0410-9eda-942365e851bb
2986838ec286d67e7c199e7ea81e7364ca36ad25 24-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved look of types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4976 cec4b9c1-7d33-0410-9eda-942365e851bb
d48085f765fca838c1d972d2123601997174583d 23-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed FunType, ProductType and LazyType in favour of TypeAppls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/doc/Todo Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
117f087bc4e24ad34fac1bf8aa4385681bba4524 14-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

fixed constraint solving git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4669 cec4b9c1-7d33-0410-9eda-942365e851bb
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved variance sign to front of kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Kinds.hascasl Kinds.hascasl.output Lazy.hascasl.output ListEx.hascasl ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl.output Prelude.hascasl Prelude.hascasl.output SuperClassErrors.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl WrongKinds.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl YCombinator.hascasl.output ZMapArgs.hascasl.output
77ba03cbf822d56b8e4ee4bb3cc286ee4b892fca 21-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

try without lazy types first git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4475 cec4b9c1-7d33-0410-9eda-942365e851bb
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f 09-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed all position infos to [Pos] git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/Formula.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CoCASL/Parse_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertLiteral.hs /hets/Common/Earley.hs /hets/Common/Id.hs /hets/Common/Lexer.hs /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Comorphisms/HasCASL2Haskell.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output CMonad.hascasl.output Constrain.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output /hets/Haskell/HatAna.hs /hets/Logic/Languages.hs /hets/Modal/Parse_AS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/ToHaskell/TranslateAna.hs /hets/version_nr
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 09-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed PosItem and ShATermConversion instance generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Graph.header.hs /hets/ATC/Grothendieck.hs /hets/ATC/Haskell.header.hs /hets/ATC/Hatchet.header.hs /hets/ATC/Proofs.header.hs /hets/ATC/Sml_cats.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/StaticAna.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/DefaultMorphism.hs /hets/Common/Id.hs /hets/Common/Result.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output CMonad.hascasl.output Constrain.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output /hets/Logic/Logic.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
8eb681fd73f8eb576072b56c8226cfc76a44ad3c 12-Jan-2005 Christian Maeder <Christian.Maeder@dfki.de>

extract function types if known git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3660 cec4b9c1-7d33-0410-9eda-942365e851bb
cf1821d1617c189cc24428cfa654d3975f73755f 01-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

added assertions and inserted inferred types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3361 cec4b9c1-7d33-0410-9eda-942365e851bb
c6456fd6e9cc28e09be25058d38fd41cc49a87e9 25-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

included lazy type check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3323 cec4b9c1-7d33-0410-9eda-942365e851bb
b789ce4c50283bff24d92a2806b253850395d990 06-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

added arrow subtypings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3221 cec4b9c1-7d33-0410-9eda-942365e851bb
8338fbf3cfb9cf981261d893286f070bd9fa17ef 04-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed to very slow subtyping analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3210 cec4b9c1-7d33-0410-9eda-942365e851bb
41859342472c9349707a4bbd7a05340c639013c0 06-Aug-2004 Christian Maeder <Christian.Maeder@dfki.de>

made logical arguments lazy git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3016 cec4b9c1-7d33-0410-9eda-942365e851bb
93bf2fdad447e4bb6332ea3d3a0eb9cf293e7550 05-Aug-2004 Christian Maeder <Christian.Maeder@dfki.de>

improved error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3010 cec4b9c1-7d33-0410-9eda-942365e851bb
7dec34aee2b609b9535c48d060e0f7baf3536457 16-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

made data type variables negative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2951 cec4b9c1-7d33-0410-9eda-942365e851bb
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14 14-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

uniquely identified bound variables in type schemes via a negative index corresponding to the position of occurence git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2938 cec4b9c1-7d33-0410-9eda-942365e851bb
47a19e4d083d2cecf1fd95f93dcbe04496544a6a 13-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

numbered variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2936 cec4b9c1-7d33-0410-9eda-942365e851bb
93ee71ae78c3b7419930a8e4a06977ac7dbae6d0 09-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

improved constraint handling i.e. for lhs patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2933 cec4b9c1-7d33-0410-9eda-942365e851bb
ad97909f160c13effd3bc73155aaa2c29902a5a1 02-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

added constraint resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2917 cec4b9c1-7d33-0410-9eda-942365e851bb