Post-jbmc move cleanup #2215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

2 of 3 tasks

tautschnig opened this issue May 21, 2018 · 0 comments

Labels

Collaborator

tautschnig commented May 21, 2018 •

edited

Loading

Introduce a goto-java (or the likes) to match goto-cc and get rid of janalyzer and jdiff (cf. remove usage of Java bytecode frontend #2118).
CODEOWNERS are not up-to-date. -> Update CODEOWNERS #2216
.gitignore is not up-to-date. -> Update CODEOWNERS #2216
~~Cleanup the Travis configuration to run jbmc tests in parallel to cbmc ones - requires input on Increase parallelism in Travis builds #2047.~~

The text was updated successfully, but these errors were encountered:

peterschrammel assigned peterschrammel and tautschnig and unassigned peterschrammel

tautschnig removed their assignment

tautschnig added the Java Front End label

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