History log of /hets/CASL/test/Terms.casl.asMixfixTerms.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

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

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17672 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
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

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

more errors than previously detected git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6573 cec4b9c1-7d33-0410-9eda-942365e851bb
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05 03-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

added test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6154 cec4b9c1-7d33-0410-9eda-942365e851bb
59316321b20af89de1c2d4cd53183e04b72662c4 24-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

replaced PrettyPrint instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6119 cec4b9c1-7d33-0410-9eda-942365e851bb
46199904d5e648bc1a25108f60a94078ffb99b30 08-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

grouped all scan rules git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5352 cec4b9c1-7d33-0410-9eda-942365e851bb
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5 02-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

only consider real CASL mixfix identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5333 cec4b9c1-7d33-0410-9eda-942365e851bb
704862436e50e42e50e5b84fd7cd2c1b65f62483 02-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

halfed number of mixfix rules for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5331 cec4b9c1-7d33-0410-9eda-942365e851bb
fd28ce71068bc46a4e1bba587a978206959c62ab 22-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

added signed numbers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5048 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 BasicSpec.analysis.output BasicSpec.sentences.output BasicSpec.signature.output Formula.casl.asMixfixFormula.output Terms.casl.asMixfixTerms.output 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 /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/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
b502963581a463467939d578b211cb7a173c5428 07-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

do not exclude predicate symbols in mixfix terms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2926 cec4b9c1-7d33-0410-9eda-942365e851bb
d186477ec3542a00bf4b0735a063fa2604c893ee 05-Jan-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed output of positions and errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1915 cec4b9c1-7d33-0410-9eda-942365e851bb
893b4e9b692f9b32b2f776a4585160e6649c35d0 07-Oct-2003 Christian Maeder <Christian.Maeder@dfki.de>

really made Earley polynomial git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1745 cec4b9c1-7d33-0410-9eda-942365e851bb
2bbcdec13d8fd4b862cea292617cba1dca78f513 10-Sep-2003 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up (made polynomial) mixfix analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1686 cec4b9c1-7d33-0410-9eda-942365e851bb
62198789c7cb57cac13399055515921c0fe3483f 28-Jul-2003 Christian Maeder <Christian.Maeder@dfki.de>

corrected prefix application with brackets, changed error positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1603 cec4b9c1-7d33-0410-9eda-942365e851bb
1012fdd997ea1f35eee2ccdd4015199f09f18fe9 24-Jul-2003 Christian Maeder <Christian.Maeder@dfki.de>

completed new CASL mixfix analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1597 cec4b9c1-7d33-0410-9eda-942365e851bb
8dddde4041af20b71009e6092440fc393f91666a 19-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

returned Nothing for wrong terms or forumlae git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1424 cec4b9c1-7d33-0410-9eda-942365e851bb
accab0bf9b8aa690d70174f41fe94370323959b9 16-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

removed unnecessary parenthesis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1404 cec4b9c1-7d33-0410-9eda-942365e851bb
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

moved CASL tests in test subdirectory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1348 cec4b9c1-7d33-0410-9eda-942365e851bb

BasicSpec.casl BasicSpec.casl.output Formula.casl Formula.casl.asMixfixFormula.output Formula.casl.output Makefile MixIds.casl.asTerms.output MixfixFormula.casl MixfixFormula.casl.output MixfixTerms.casl MixfixTerms.casl.output OpItem.casl OpItem.casl.output PredItem.casl PredItem.casl.output SortItem.casl SortItem.casl.output Terms.casl Terms.casl.asMixfixTerms.output Terms.casl.output WrongBasicSpec.casl WrongBasicSpec.casl.output WrongFormula.casl WrongFormula.casl.output WrongMixIds.casl.asTerms.output WrongMixfixFormula.casl WrongMixfixFormula.casl.output WrongMixfixTerms.casl WrongMixfixTerms.casl.output WrongOpItem.casl WrongOpItem.casl.output WrongPredItem.casl WrongPredItem.casl.output WrongSortItem.casl WrongSortItem.casl.output WrongTerms.casl WrongTerms.casl.output XTest.casl runcheck.sh