History log of /hets/HasCASL/test/WrongMixIds.casl.output
Revision Date Author Comments Expand
0356139b408781bb2145522a0c3bf55af39e192c 01-Feb-2013 Christian Maeder <Christian.Maeder@dfki.de>

switched to parsec1-1.0.0.5 and parsec-3.1.3output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17740 cec4b9c1-7d33-0410-9eda-942365e851bb
742b3a41d26b8ce8d06daf133b9759dfbb554b8c 12-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

tried to improve parser error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17028 cec4b9c1-7d33-0410-9eda-942365e851bb
81394dea09f1589f67989c4a9c9b0183c9c9a085 17-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed character literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14731 cec4b9c1-7d33-0410-9eda-942365e851bb
57c51f0673511217c416090de812b779612e7551 10-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

modified expected output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14211 cec4b9c1-7d33-0410-9eda-942365e851bb
e510c0b71a70d5c1e05e8132b438d8ee889a7dad 11-Dec-2006 Christian Maeder <Christian.Maeder@dfki.de>

keep track of lookAhead positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7247 cec4b9c1-7d33-0410-9eda-942365e851bb
14826afb5ec79b8aad005c98a74e88d31f580e00 29-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

further keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4158 cec4b9c1-7d33-0410-9eda-942365e851bb
fc8c6570c7b4ee13f375eb607bed2290438573bf 16-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed Absy and parsing, added wild card pattern and treated as-patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb
d11e359c4b8a9547c8c07f379bbfafc9cc7ef136 18-Feb-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed mixfix id git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2187 cec4b9c1-7d33-0410-9eda-942365e851bb
306763c67bb99228487345b32ab8c5c6cd41f23c 12-Feb-2004 Christian Maeder <Christian.Maeder@dfki.de>

adapted headers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/AS_Annotation.header.hs /hets/ATC/Comorphism.hs /hets/ATC/Graph.header.hs /hets/ATC/Grothendieck.hs /hets/ATC/HasCASL.header.hs /hets/ATC/Result.header.hs /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Formula.hs /hets/CASL/Logic_CASL.hs /hets/CASL/OpItem.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/ShowMixfix.hs /hets/CASL/SortItem.hs /hets/CASL/SymbolParser.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/DFiniteMap.hs /hets/Common/GraphUtils.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/ListUtils.hs /hets/Common/PPUtils.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/SimpPretty.hs /hets/Common/Utils.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/GUI/hetdg.hs MixIds.casl.output WrongMixIds.casl.output WrongTerms.hascasl.output /hets/Haskell/ExtHaskellCvrt.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HaskellUtils.hs /hets/Haskell/HatParser.hs /hets/Haskell/Language/THSyntax.hs /hets/Haskell/Logic_Haskell.hs /hets/Logic/Comorphism.hs /hets/Logic/ParsecInterface.hs /hets/Logic/Prover.hs /hets/Proofs/Proofs.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/ghc/UnsafeCoerce.hs /hets/hetcats/Options.hs /hets/hetcats/ReadFn.hs /hets/hetcats/WriteFn.hs /hets/hugs/UnsafeCoerce.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/GenerateRules/ParseHeader.hs
7cc20c86207c658cba9369fe0afa5204868ab90f 13-Jan-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1946 cec4b9c1-7d33-0410-9eda-942365e851bb
fb39798e8f7ee0648ee723a1dd7698a1efd0ffa0 09-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

allowed barS within mixIds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1371 cec4b9c1-7d33-0410-9eda-942365e851bb
5214cf3742dc626a7efc5ec851db09bf0ff1f579 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

recollected tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1351 cec4b9c1-7d33-0410-9eda-942365e851bb