GitHub - gsdlab/cdl2clafer: CDL to Clafer transformation project

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
clafer_examples		clafer_examples
fatjar		fatjar
input		input
lib_managed		lib_managed
output		output
project		project
src		src
.gitignore		.gitignore
README.txt		README.txt
example_transformations.txt		example_transformations.txt
pom.xml		pom.xml

Repository files navigation

To run the code you will need Simple Build Tools.

To run the converter type the following in the command line:
sbt "run --convert FILE_NAME"
where FILE_NAME is relative/absolute path to the source IML model