Cleaning ocamlczmq on make clean
Initial interface for Lustre interpreter
Forgot match case
Merge pull request #7 from chsticksel/master

Initial interface for Lustre interpreter
More work on the translator
Merge pull request #8 from chsticksel/master

More work on the interpreter
Recursively configure ocamlczmq
Squashed 'ocamlczmq/' changes from 75c7617..8c9bfb8

8c9bfb8 Merge pull request #11 from chsticksel/master
8c15928 Merge branch 'master' of github.com:chsticksel/ocamlczmq
3dee858 Recursively configure ZeroMQ and CZMQ

git-subtree-dir: ocamlczmq
git-subtree-split: 8c9bfb878db6fa2273e3cd116827ffbaf15ab094
Merged ocamlczmq with recursive configure of ZeroMQ and CZMQ
Merge pull request #9 from chsticksel/master

Recursively configure ocamlczmq
Need install-sh for autoconf
Squashed 'ocamlczmq/' changes from 8c9bfb8..af7cd0b

af7cd0b Conflict in README.md
867cd8f Updated installatio documentation
803a4b1 Added autogen.sh to generate all configuration scripts
bc8d877 Compile in stages with build.sh

git-subtree-dir: ocamlczmq
git-subtree-split: af7cd0bbdc795db66107f2df6feec27ce8e95dd7
Merge ocamlczmq with build in stages
Added autogen and build scripts
Need to call build.sh in ocamlczmq
Merge pull request #11 from chsticksel/master

New autogen and build script, configure and build ocamlczmq
Interpreter and parser for csv input
added interpreter
Merge branch 'master' of https://github.com/PaulMeng/kind2