Cross Reference: /hets/CASL/test/runcheck.sh

History log of /hets/CASL/test/runcheck.sh
Revision	Date	Author	Comments Expand
f92a9a33e08d620a0ac77dbcd22282c379047f59	16-Mar-2005	Christian Maeder <Christian.Maeder@dfki.de>	added test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3958 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/RunStaticAna.hs BasicSpec.sentences.output X1.casl X1.casl.output X2.casl X2.casl.output X3.casl X3.casl.output X4.casl X4.casl.output XTest.casl.output runcheck.sh
e973af819c2fb17f426944c8c4cfa00de5cd81a1	06-May-2004	Christian Maeder <Christian.Maeder@dfki.de>	changed from bash to sh git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2551 cec4b9c1-7d33-0410-9eda-942365e851bb Makefile runcheck.sh /hets/HasCASL/test/Makefile /hets/HasCASL/test/runcheck.sh
6cb09495133887e0d5e021fa3cf44f288881eb68	05-Mar-2004	Christian Maeder <Christian.Maeder@dfki.de>	added generated axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2247 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Overload.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/StaticAna.hs /hets/CASL/capa.hs BasicSpec.sentences.output runcheck.sh
a099728a1284ade9faab7ad339430615dda61113	16-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	added pretty printing of signature git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1409 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/RunStaticAna.hs /hets/CASL/StaticAna.hs /hets/CASL/capa.lhs BasicSpec.signature.output runcheck.sh
9c2dcd68c773575403ff4a1f1341be10b14588b0	15-May-2003	Christian Maeder <Christian.Maeder@dfki.de>	checked types of ops and preds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1392 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/StaticAna.hs BasicSpec.analysis.output runcheck.sh
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