README revision ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6e
f63a335a037098b08817e7137087d42240be74c1Christian MaederThis README belongs to a "The heterogeneous tool set" (Hets) release
f63a335a037098b08817e7137087d42240be74c1Christian Maeder(and does not apply to sources directly obtained via cvs).
87e1c83f10355e0fe80761367b75f83bc682770aTill MossakowskiInformation not contained here can be found in the Hets user guide
87e1c83f10355e0fe80761367b75f83bc682770aTill Mossakowski(doc/UserGuide.pdf) or on the Hets web page (www.tzi.de/cofi/hets).
39debaf3f18854486e9c5d21fecf3eb2630e5aa7Till MossakowskiThe subject of this release is a binary "hets" that is able to analyse
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederheterogeneous and in particular CASL specifications.
f63a335a037098b08817e7137087d42240be74c1Christian MaederThe sources need to be compiled with ghc Glasgow Haskell Compiler
ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6eChristian Maeder(www.haskell.org/ghc) version 6.6! Haskell is also a part of Hets via
f63a335a037098b08817e7137087d42240be74c1Christian Maeder"Programatica" (www.cse.ogi.edu/PacSoft/projects/programatica).
ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6eChristian MaederBeside output written to the console (stdout) or to files hets, can
f63a335a037098b08817e7137087d42240be74c1Christian Maederdisplay graphs using "uDraw(Graph)", formerly "daVinci"
f63a335a037098b08817e7137087d42240be74c1Christian MaederFor hets to find "uDrawGraph", the environment variables UDG_HOME and
f63a335a037098b08817e7137087d42240be74c1Christian MaederUNIDAVINCI must be set to the installation directory of uDraw(Graph) and to
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederthe actual executable, respectively.
f63a335a037098b08817e7137087d42240be74c1Christian MaederA typical call of hets is then: hets -g Basic/Numbers.casl
f946026468db3a4a74f5f7651a86b22c58a708d1Christian MaederIf you need to rebuild the hets binary follow the instructions in INSTALL
f946026468db3a4a74f5f7651a86b22c58a708d1Christian Maeder(This README belongs a to release created by "make release", in case
f946026468db3a4a74f5f7651a86b22c58a708d1Christian Maederthat you obtained the HetCATS sources as CVS tree)
2295e38944bfcd91b9507e2fa9abe5a561817648Till MossakowskiThe heterogeneous tool set (Hets) is mainly maintained by
ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6eChristian MaederChristian Maeder (maeder@tzi.de) and Till Mossakowski
ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6eChristian Maeder(till@tzi.de). The mailing list is hets-devel@tzi.de.