SysMLv2 From Clafer Instances

[EthanJamesLew]

Prototype of SysMLv2 generation from Clafer Instances

[EthanJamesLew]

FYI @podhrmic . I will message the instance compiler until it replicates the SysMLv2 examples we walked through yesterday.

[sonatype-lift]

🛠 Lift Auto-fix

Some of the Lift findings in this PR can be automatically fixed. You can download and apply these changes in your local project directory of your branch to review the suggestions before committing.¹

# Download the patch
curl https://lift.sonatype.com/api/patch/github.com/EthanJamesLew/chocosolver/1.diff -o lift-autofixes.diff

# Apply the patch with git
git apply lift-autofixes.diff

# Review the changes
git diff

Want it all in a single command? Open a terminal in your project's directory and copy and paste the following command:

curl https://lift.sonatype.com/api/patch/github.com/EthanJamesLew/chocosolver/1.diff | git apply

Once you're satisfied, commit and push your changes in your project.

Footnotes

1. You can preview the patch by opening the patch URL in the browser. ↩

[podhrmic]

Is there a way to get rid of the sonatype-lift bot?

[podhrmic]

@EthanJamesLew I imported the project to Idea:

• when I run mvn package one of the tests fails
• when I run mvn package -Dmaven.test.skip=true I get a jar, but when I run it with java -jar target/chocosolver-0.4.4-jar-with-dependencies.jar --file ../infrastructure/clafer-notes/modem.cfr I get

Compiling the Clafer model...
Abnormal Clafer compiler termination. Aborting...

Am I missing any steps here?

[EthanJamesLew]

@podhrmic added some CI/CD so we can baseline our local issues. You may need to switch to JDK 8 since the project is kind of old. Details here.