Ivory is an embedded domain specific language (EDSL) which aims to provide a systems-level programming language that removes some common pitfalls of programming in C, without sacrificing expressivity.

This repository includes a user guide and some examples Ivory programs. More information and tutorials are available on the languages page on smaccmpilot.org.

• ivory: the Ivory language implementation and interpreter
• ivory-backend-c: a backend for compiling Ivory programs to C
• ivory-examples: sample Ivory programs
• ivory-opts: an optimization framework and some optimization implementations, for the Ivory AST.
• ivory-bitdata: a macro language library for specifying bit-precise Ivory operations.
• ivory-hw: a macro language library for writing hardware drivers in Ivory.
• ivory-backend-aadl: a backend for describing Ivory types in AADL

Ivory is written in Haskell and uses several recent GHC extensions. It is known to work with with GHC 7.6.2. and 7.6.3. It is not compatible with GHC 7.8.x at this time. Expect 7.8 support to include changes that will break 7.6 compatibility.

We recommend using a cabal sandbox containing these Ivory language packages and any programs which use them.

Copyright 2013-2014 Galois, Inc.

Licensed under the BSD 3-Clause License; you may not use this work except in compliance with the License. A copy of the License is included in the LICENSE file.