kesterel2lustre

compile Kernel Esterel to Lustre
git clone https://a3nm.net/git/kesterel2lustre/
Log | Files | Refs | README

commit 8a27d6639eab14cb758c3ad5a8ede9ca3ad1176d
parent d54eac8b9f541c421c3e49724d5fead1a2480cea
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 22 Dec 2011 10:59:35 +0100

fix glitch in README

Diffstat:
README | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README @@ -130,7 +130,7 @@ To run all tests and compare the output of the two evaluation mechanisms, run: Each AST node is compiled to a Lustre node. All nodes have a control, suspend and reset input wire, and a control output wire. They also have input wires corresponding to the signals and traps that descendents of the AST are reading, -and output wires for those that are produced. for those that are produced. +and output wires for those that are produced. In addition, a root node is produced to initialize the control and suspend wires.