SAL Model Generator
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.
examples
src/Language
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
language-sal.cabal

README.md

language-sal

Build Status

About:

This package is a SAL [1] model generator in Haskell. The goal is to provide a concise means of specifying and automatically generating models of discrete transition systems in SAL.

This is a very early work in progress. Please check back later.

Goals:

  • Haskell data types representing arbitrary SAL abstract syntax trees
  • Pretty printer for generating SAL specifications
  • Lightweight language for constructing and composing SAL modules

References:

[1] http://sal.csl.sri.com