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

7ffd1820de86430c7dd603a483bbfc2b2502fe56 09-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

better indicate single % errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10280 cec4b9c1-7d33-0410-9eda-942365e851bb

75786b1d5f16323ea56369dc3a56f8f70935dd33 04-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

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

54c8454d2757d2e31bd32796b7c497c4af2ce0e9 04-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

corrected tryItemEnd git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10064 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

e33e3b425e953236b4617870f995d263ac35b883 28-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved co-keywords from CoCASL to all CASL languages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4145 cec4b9c1-7d33-0410-9eda-942365e851bb

891964ed616e02baab4edd0ae7699016ffc06f27 25-Jan-2005 Christian Maeder <Christian.Maeder@dfki.de>

allowed more annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3714 cec4b9c1-7d33-0410-9eda-942365e851bb

aa83d02e62b7e9f4b87a454f553a75fdbd061412 16-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

shorter parse errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2875 cec4b9c1-7d33-0410-9eda-942365e851bb

b91a1708090ed621d886ad55050cf27d9a170e6c 16-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

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

c83c8b133ec8acda4388afbe0ea44fd04bc2ab16 12-Feb-2004 Christian Maeder <Christian.Maeder@dfki.de>

[] is legal now after a simple id git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2156 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

7325bbe03797fd413af504fb3fac109b2c652a7b 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@1370 cec4b9c1-7d33-0410-9eda-942365e851bb

db1d7356178e9c2029a82786f431fcefc3c8ab5d 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

further HasCASL mix ids git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1354 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