Keine Beschreibung

Getty Ritter e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example vor 10 Jahren
executables 30e1edc4d6 gidl: command line frontend ftw vor 10 Jahren
src e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example vor 10 Jahren
support f0038d0043 tower-backend: fix warnings in test suite vor 10 Jahren
tests e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example vor 10 Jahren
.gitignore 89d04f0623 gidl: initial commit vor 10 Jahren
.travis.yml 98c7179538 beginning of tower backend vor 10 Jahren
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now vor 10 Jahren
Makefile 98c7179538 beginning of tower backend vor 10 Jahren
README.md b1599bcadc wibble, maybe this will kick travis build off? vor 10 Jahren
Setup.hs 89d04f0623 gidl: initial commit vor 10 Jahren
gidl.cabal e98c6220e1 Modified parser to use s-cargot and made some grammar modifications to example vor 10 Jahren

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.

Backend

Gidl currently has a native Haskell backend. Ivory language backend coming soon.

Tests

Use the test target in the Makefile to generate and test a Haskell library for the IDL file.