Changes

#187 (Nov 29, 2017 11:37:21 AM)

1. Re-enable testing in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb

#186 (Nov 29, 2017 11:23:48 AM)

1. Fix deployment, skip tests temporarily — Peter W. V. Tran-Jørgensen / githubweb

#185 (Nov 29, 2017 10:53:05 AM)

1. Handle vdm2c build jobs in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb

#184 (Nov 28, 2017 2:19:14 PM)

1. Distributed code-generator fix — Peter W. V. Tran-Jørgensen / githubweb