This directory contains the sources for (some of) the tools implemented as part of the Programatica project.
This is all work in progress (including this documentation)!
See the Features and Usage pages for documentation of the main tools. There are also some additional tidbits lying around.
See the INSTALL page.
The code that has been actively developed recently is located in the following subdirectories, some of which contain additional README files:
Directory | Description |
---|---|
base
| Extensible Haskell front-end and base language (Haskell 98) tools. There is a README file with further details. |
pfe
| PFE - the preliminary front-end framework and command-line tools. There is a README file with further details. |
pfe/Browser
| The Programatica Haskell Browser. |
property
| Extension of the base language with P-logic property declarations, including a new parser and an extended type checker. (An awful lot of work for a small extension...) |
hs2html
| Haskell to HTML translator. (Little extra work for a potentially useful tool.) |
hs2alfa
| Haskell to Alfa translator. |
hs2stratego
| Haskell to Stratego translator. |
hsutils
| Small spin-off Haskell utility programs. |
evman
| Files relating to evidence (certificate) management, in particular
the command line tool cert and the implementation of
the certificate servers.
|
scripts
| Various shell scripts, some of which are used in the build process. |
bin , lib
| There are directores created by the Makefile to hold a template of
things that get installed by make install .
(See INSTALL.html).
|