Home Explore Help
Sign In
getty
/
gidl
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

No Description

Tree: 543d484283
Branches Tags
gidl
ZIP TAR.GZ
Pat Hickey 543d484283 travis: also install cabal-install before install 9 years ago
executables 30e1edc4d6 gidl: command line frontend ftw 9 years ago
src 72150df055 tower backend: schemas are always full of ChanOutputs 9 years ago
support f0038d0043 tower-backend: fix warnings in test suite 9 years ago
tests 98c7179538 beginning of tower backend 9 years ago
.gitignore 89d04f0623 gidl: initial commit 9 years ago
.travis.yml 543d484283 travis: also install cabal-install before install 9 years ago
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 9 years ago
Makefile 98c7179538 beginning of tower backend 9 years ago
README.md f71527d211 update readme 9 years ago
Setup.hs 89d04f0623 gidl: initial commit 9 years ago
gidl.cabal bd1acf5836 gidl: fix some data-files, add empty tower interface to tower backend 9 years ago

README.md

Gidl

Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.

IDL format

See example in tests/example.idl. Currently, the format is not set in stone - revisions coming shortly.

Backends

Gidl currently has backends for:

  • Native Haskell
  • [Ivory][] language
  • [Tower][] wrapper over Ivory

Build and Test

Use the create-sandbox target in the Makefile to create a local cabal sandbox and install all dependencies.

The default target builds the gidl library. You can then use cabal run gidl -- <OPTIONS> to run the code generator. Use the --help option to get usage information.

Use the test target in the Makefile to generate and test each backend implementation.