remove usage of Java bytecode frontend - #2118

Merged

peterschrammel merged 12 commits into

May 21, 2018

Commits on May 20, 2018

Adapt cpplint header guard check
peterschrammel
committed
d945452
Make unit test independent of java_bytecode
peterschrammel
committed
987106f
Move java_bytecode, jbmc and miniz to jbmc/src
peterschrammel
committed
a20f2c1
Add JDIFF tool
peterschrammel
committed
4588753
Add JANALYZER tool
peterschrammel
committed
e247458
Move Java unit tests
peterschrammel
committed
b6742ca
Move Java regression tests
peterschrammel
committed
f36da08
Remove obsolete jbmc-cover tests
peterschrammel
committed
8dc0d74
Shorten goto-analyzer-taint-ansi-c tests to goto-analyzer-taint
peterschrammel
committed
03d6f5b
Add JBMC README
peterschrammel
committed
1b7c84a
Update compilation instructions
peterschrammel
committed
f196e74
Build jbmc on CI
peterschrammel
committed
29a8818