Skip to content

Use KOMPILE_BACKEND flag to set backend to java - #3

Open
suhabe wants to merge 1 commit into
runtimeverification:k5from
suhabe:k5
Open

Use KOMPILE_BACKEND flag to set backend to java#3
suhabe wants to merge 1 commit into
runtimeverification:k5from
suhabe:k5

Conversation

@suhabe

Copy link
Copy Markdown

No description provided.

@suhabe
suhabe changed the base branch from master to k5February 12, 2019 23:00
@suhabesuhabe mentioned this pull request Feb 12, 2019
@richmanrich

Copy link
Copy Markdown

Thank you for fixing my accounts and appa

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@suhabe@richmanrich