Copilot[1] is a dataflow stream language built on Atom[2] for writing hard
real-time C monitors of embedded systems. Copilot is a Haskell eDSL.
The current release includes the following improvements:
* Added true & false Specs (Spec Bool).
* Removed generic const -- unneeded, since Spec is an instance of Num.
* Change casting to only allow casts that (1) are guaranteed not to change the
sign and (2) are to a larger type.
* Added triggers---C functions to call when a monitor fails.
* Removed libs from Copilot.hs. You must import these explicitly.
* Fixed bugs with LTL and ptLTL libraries & examples and added documentation.
* Added external arrays for sampling.
* Fixed a bug in external array analysis for computing the minimum period
size.
* Added the ability to specify a HW clock for Atom.
[1] <http://hackage.haskell.org/package/copilot> and
<http://leepike.github.com/Copilot/>
[2] <http://hackage.haskell.org/package/atom>
Regards,
Lee
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
