An EDSL for knowledge-based circuits.
Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
ADHOC
Apps
Tests
.gitignore
ADHOC.cabal
ADHOC.hs
AGENDA
COPYING
README
Setup.hs

README

ADHOC is an EDSL for describing synchronous systems. Its chief
novelties are:

- the use of Arrows
- support for combinationally-cyclic circuits
- support for knowledge conditionals
- a version of Gerard Berry's Esterel language

It also contains a simple model checker and counterexample generator
for CTL (and a simple semantics for knowledge).

* Building

Building ADHOC is easy once the dependencies are installed.

runghc Setup configure --user -p --enable-library-profiling --ghc-option=-auto-all --ghc-option=-caf-all
runghc Setup build
runghc Setup install

The applications can also be built using Cabal, or using TBC.

* License

ADHOC is licenced under the GPL. See the COPYING file.