[Home] [About] [News] [Source] [Docs] [Devel] [License] [Mailing] [Bugs]

Documentation

After Installation

See post-installation instructions for setting up your environment.

Distributed Docs

The following pages are generated from the source distribution, using GNU TexInfo and texi2dvi.

HAC language description -- the input language [pdf]
compilation tools -- compilation phases and commands [pdf]
legacy tool migration guide -- if you used predecessors of HAC [pdf]
CHP simulator -- high-level concurrency simulator [pdf]
PRS simulator -- digital production rules simulator [pdf]
hacknet -- SPICE netlist generator [pdf]

Quick Start

Here are some steps you can run to test out some tools by hand.

Paste the following test into test.hac:

defproc inv(bool a, b) {
prs {
    a => b-
}
}

bool x, y;
inv z(x, y);

Compile:
$ haco test.hac test.haco
Run simulator:
$ hacprsim test.haco
prsim> watchall
prsim> get a
a : X
prsim> set a 1
prsim> cycle
0 a : 1
10 b : 0 [by a:1]

[Home] [About] [News] [Source] [Docs] [Devel] [License] [Mailing] [Bugs]