From fc84e93633523a510ee6f7926bbe9495cfc642cd Mon Sep 17 00:00:00 2001 From: Ivan Ruchkin Date: Tue, 28 Nov 2017 15:13:51 -0500 Subject: [PATCH] Added basic readme. --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..c455300 --- /dev/null +++ b/README.md @@ -0,0 +1,12 @@ +# IPL Examples +Examples, models, views, case studies, and tests for the Integration Property Language (https://github.com/bisc/IPL). + +## Usage +Import into an IPL-supporting Eclipse application. Build *.ipl files to verify integration properties. + +## Contacts +* Ivan Ruchkin iruchkin@cs.cmu.edu +* Grant Iraci grantira@buffalo.edu +* Josh Sunshine sunshine@cs.cmu.edu +* Bradley Schmerl schmerl@cs.cmu.edu +* David Garlan garlan@cs.cmu.edu