6197N/AThis README belongs to a Hets release (and does not apply to

6197N/Asources directly obtained via cvs).

6197N/A

6197N/AThe subject of this release is a binary "hets" that is able to analyse

6197N/Aheterogeneous and in particular CASL specifications.

6197N/AThe sources need to be compiled with ghc Glasgow Haskell Compiler

6197N/A(www.haskell.org/ghc).

6197N/A

6197N/AThe output of hets, if the input is successfully accepted, can be

6197N/Adisplayed by "daVinci".

6197N/A

6197N/AdaVinci is maintained by b-novative and b-novative holds all rights.

6197N/AThis release may be accompanied with free binary releases of daVinci

6197N/AVersion 2.1, but daVinci 2.1 is no longer supported or maintained!

6197N/AHowever, you are encouraged to obtain the latest version of daVinci

6197N/APresenter (currently 3.0.5) from http://www.b-novative.com that is

6197N/Afree for academic purposes.

6197N/A

6197N/ALinux: the linux binary release of daVinci 2.1 relies on the old

6197N/Ashlibs5 that must be installed on your system (if ./daVinci cannot be

6197N/Afound/executed, then shlibs5 are missing)

6197N/A

6197N/ASolaris: the solaris binary release of daVinci 2.1 should work without

6197N/Aproblems

6197N/A

6197N/AMacintosh (Darwin): there is no release of daVinci for Macintosh, but

6197N/Ab-novative may have one in the mean time

6197N/A

6197N/AFor best quality, get the latest version of daVinci from b-novative.

6197N/A

6197N/AFor hets to find daVinci, the environment variables DAVINCIHOME and

6197N/AUNIDAVINCI must be set to the installation directory of daVinci and to

6197N/Athe actual executable, respectively.

6197N/A

6197N/Aexport DAVINCIHOME=<path>/daVinci_V2.1

6197N/Aexport UNIDAVINCI=<path>/daVinci_V2.1/daVinci

6197N/A

6197N/AA typical call of hets is then: <path>/hets -g Basic/Numbers.casl

6197N/A

6197N/AIf you need to rebuild the hets binary follow the instructions in INSTALL

6197N/A(This README belongs a to release created by "make release", in case

6197N/Athat you obtained the HetCATS sources as CVS tree)

6197N/A

6197N/AThe heterogeneous tool set (Hets) is mainly maintained by

6197N/AChristian Maeder (maeder@tzi.de) and Till Mossakowski

6197N/A(till@tzi.de). The mailing list is hets@tzi.de.

6197N/A

6197N/AFiles in the Tools/Hets/src directory:

6197N/A--------------------------------------

6197N/A

6197N/AREADME This file

6197N/Ahets Hets binary

6197N/AUserGuide.ps Hets documentaion

6197N/Adocs/ Overview and index for Hets sources

6197N/Asrc/ Hets sources

6197N/Asrc/ATC/ Conversion from and to ATerms (specific)

6197N/Asrc/ATC/doc/ documentation

6197N/Asrc/aterm_conv/ ATerm Conversion

6197N/Asrc/CASL/ Instance of Logic: CASL

6197N/Asrc/CASL/doc/ documentation

src/CASL/test/ test examples

src/Common/ Modules common to all logics

src/Common/ATerm/ Conversion from and to ATerms (general)

src/Common/doc/ Documentation

src/Common/Lib/ Third-party modules

src/Common/Lib/Graph/ Functional Graph Library

src/Common/Lib/Parsec/ Parsec combinator parser

src/Common/test/ Text examples

src/Comorphisms/ Comorphisms of the logic graph

src/CspCASL/ Instance of Logic: CspCASL

src/CspCASL/Doku/ documentation

src/docs/ Haddock documentation

src/ghc/ Some ghc-specific stuff

src/GUI/ GUI for displaying development graphs

src/HasCASL/ Instance of Logic: HasCASL

src/HasCASL/doc/ documentation

src/HasCASL/test/ text examples

src/Haskell/ Instance of Logic: Haskell

src/Haskell/Hatchet/ Static anaylsis of Haskell

src/Haskell/Language/ Haskell syntax in Haskell

src/Haskell/Language/Haskell/

src/haterm-1.0/ ATerm Conversion

src/haterm-1.0/ac-macros/

src/haterm-1.0/src/

src/hetcats/ Command line interface

src/hugs/ Some hugs-specific stuff

src/Logic/ Infrastructure for logic independence

src/mini/ Some toy version of Hets, used in a paper

src/Modal/ Instance of logic: modal logic

src/parsec/ ??

src/pretty/ ??

src/Proofs/ Heterogeneous proof engine

src/Static/ Heterogeneous development graphs and static analysis

src/Syntax/ Heterogeneous syntax and parsing

src/test/ Text examples

src/ToHaskell/ Translation from HasCASL to Haskell

src/utils/ Utilities

src/utils/AG-src/ Static analyser generator (not used by Hets)

src/utils/DrIFT-src/ DrIFT (for polytpyic conversion functions)

src/utils/GenerateRules/

src/utils/hd-lib/