README revision a7fd2cfb9493db122a449809b6d21e15f0356e8b
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederThis README belongs to a "The heterogeneous tool set" (Hets) source
5f184698e58f31e670c54c12d858a7c7322277b4Christian Maederrelease created by "make release" from the original svn repository.
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederThe original svn sources can be obtained by:
5f184698e58f31e670c54c12d858a7c7322277b4Christian Maedersvn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets
87e1c83f10355e0fe80761367b75f83bc682770aTill MossakowskiInformation not contained here can be found in the Hets user guide
a7fd2cfb9493db122a449809b6d21e15f0356e8bChristian Maeder(doc/UserGuide.pdf) or on the Hets web page www.dfki.de/cps/hets.
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederThe subject of this source release is to create a binary "hets" that
5f184698e58f31e670c54c12d858a7c7322277b4Christian Maederis able to analyse heterogeneous and in particular CASL
5f184698e58f31e670c54c12d858a7c7322277b4Christian Maederspecifications.
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederThe sources need to be compiled using ghc Glasgow Haskell Compiler
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maeder(www.haskell.org/ghc) version 6.12.1, 6.12.3 or 7.0.2!
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian MaederVersion 6.10.x does not support the wai-extra-0.2.4.2 package for hets as
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maederserver. Version 6.12.2 is broken for gtk, see
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maederhttp://hackage.haskell.org/trac/ghc/ticket/4038. Version 7.0.1 loops for
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maederprogramatica, see http://hackage.haskell.org/trac/ghc/ticket/4527.
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian MaederHaskell as a logic is an optional part of Hets via "Programatica"
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian MaederBeside output written to the console (stdout) or to files, hets can
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maederdisplay graphs using "uDraw(Graph)" www.informatik.uni-bremen.de/uDrawGraph.
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian MaederThe binary uDrawGraph should be in your PATH.
947d21ed43ec33fac7c3772470d984479ee5f64aChristian MaederSome dialogs depend on Gtk and Glade that require a couple of further
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maederlibraries. Mac users are expected to install gtk2 from macports
f63a335a037098b08817e7137087d42240be74c1Christian MaederA typical call of hets is then: hets -g Basic/Numbers.casl
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederExample specifications can be found under:
5f184698e58f31e670c54c12d858a7c7322277b4Christian Maederhttps://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk
e472118997ef12138109ffa93a265292c5d20a6cChristian MaederFor proving users may set HETS_ISABELLE, if "isabelle emacs" is not the right
dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4Christian Maedercall for their system. Isabelle versions 2009 and 2011 are supported.
f2702f0db4fab72edae97be5132f54c2a32a0283Christian MaederFurther environment variables for provers are:
f2702f0db4fab72edae97be5132f54c2a32a0283Christian Maeder HETS_OWL_TOOLS
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederIf you need to build the hets binary follow the instructions in
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederINSTALL, alternatively try to get a binary or a complete installer from:
2295e38944bfcd91b9507e2fa9abe5a561817648Till MossakowskiThe heterogeneous tool set (Hets) is mainly maintained by
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederChristian Maeder (Christian.Maeder@dfki.de) and
a7fd2cfb9493db122a449809b6d21e15f0356e8bChristian MaederTill Mossakowski (mossakow@iws.cs.uni-magdeburg.de).
c68c8248d86d5bea90acaff0433ff5ab8dee0b11Christian MaederThe mailing list is hets-devel@informatik.uni-bremen.de.