0N/AThis README belongs to a "The heterogeneous tool set" (Hets) release

0N/A(and does not apply to sources directly obtained via cvs).

0N/A

0N/AInformation not contained here can be found in the Hets user guide

0N/A(doc/UserGuide.pdf) or on the Hets web page (www.tzi.de/cofi/hets).

0N/A

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

0N/Aheterogeneous and in particular CASL specifications.

0N/A

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

0N/A(www.haskell.org/ghc). Haskell is also a part of Hets via

0N/A"Programatica" (www.cse.ogi.edu/PacSoft/projects/programatica).

0N/A

0N/ABeside output written to the console (stdout) or to files hets can

0N/Adisplay graphs using "uDraw(Graph)", formerly "daVinci"

0N/A(www.informatik.uni-bremen.de/uDrawGraph)

0N/A

0N/AFor hets to find "uDrawGraph", the environment variables UDG_HOME and

0N/AUNIDAVINCI must be set to the installation directory of uDraw(Graph) and to

0N/Athe actual executable, respectively.

0N/A

0N/Aexport UNIDAVINCI=$UDG_HOME/bin/uDrawGraph

0N/A

0N/AA typical call of hets is then: hets -g Basic/Numbers.casl

0N/A

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

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

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

0N/A

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

0N/AChristian Maeder (maeder@tzi.de, initials CM) and Till Mossakowski

0N/A(till@tzi.de, initials TM). The mailing list is hets-devel@tzi.de.

0N/A

0N/AOverview of source modules, with maintainers:

0N/AFor more details, see the Haddock documentation in docs/

0N/A(after generation with "make doc")

0N/A--------------------------------------------------------

0N/A

0N/ALICENCE.txt Licence information (english) (TM)

0N/ALIZENZ.txt Licence information (german) (TM)

0N/AINSTALL Installation and compilation instructions (CM)

0N/AMakefile GNU-Makefile to compile sources (Klaus Luettich)

0N/AREADME This file (TM/CM)

0N/Ahets.hs Top-level Haskell module for hets (TM)

0N/Aversion_nr Current version (TM)

ATC/ Conversion from and to ATerms (Klaus Luettich)

CASL/ Instance of Logic: CASL (TM/CM/Martin Kuehl)

CoCASL/ Instance of Logic: CoCASL (CM/TM)

COL/ Instance of Logic: COL (TM)

Common/ Modules common to all logics

Common/ATerm/ Conversion from and to ATerms (CM)

Common/Lib/ Set, Map, Graph, Rel modules (CM)

Common/PrettyPrint.hs pretty printing (Klaus Luettich)

pretty printing should get an own directory

Comorphisms/ Comorphisms of the logic graph (TM)

CspCASL/ Instance of Logic: CspCASL (Markus Roggenbach)

doc/ Documentation (TM)

docs/ Haddock generated documentation (Klaus Luettich)

GUI/ GUI for displaying development graphs

(TM/Jorina Gerken)

HasCASL/ Instance of Logic: HasCASL (CM)

Haskell/ Instance of Logic: Haskell

based on Programatica (CM)

Hatchet/ old Haskell Logic (CM)

Driver/ Command line interface (Klaus Luettich)

Isabelle/ Instance of Logic: Isabelle (CM)

Logic/ Infrastructure for logic independence (TM)

Modal/ Instance of Logic: ModalCASL (TM)

Proofs/ Heterogeneous proof engine (TM/Jorina Gerken)

Static/ Heterogeneous development graphs and

static analysis (TM/Maciek Makowski)

Syntax/ Heterogeneous syntax and parsing (TM/CM)

ToHaskell/ translation to Haskell (CM)

utils/ Utilities

utils/DrIFT-src/ DrIFT for polytpyic conversion functions

(Klaus Luettich)

utils/GenerateRules/ generate files to be DRIFTed (Klaus Luettich)

utils/InlineAxioms parse inline axioms (TM/CM)