java-frontend-cleanup : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b java-frontend-cleanup https://git.launchpad.net/cbmc

Branch information

e21ae43... by Daniel Kroening <email address hidden> on 2018-07-31

fx

e948f0a... by Daniel Kroening <email address hidden> on 2018-07-04

clean up java_class_loadert

de59763... by Daniel Kroening <email address hidden> on 2018-07-04

clean out class_loader_limit from java_class_loadert

381d952... by Daniel Kroening <email address hidden> on 2018-07-04

bugfix: we want files with extension .class

f6639df... by Daniel Kroening <email address hidden> on 2018-07-04

remove java_class_loader_limitt from jar_filet

b6258db... by danpoe <email address hidden> on 2018-07-31

Merge pull request #2509 from danpoe/feature/sharing-map-stats

Sharing map sharing statistics

eb71a01... by Thomas Kiley <email address hidden> on 2018-07-31

Merge pull request #2639 from thk123/array-element-type

Make array element type be not a comment

c5519ec... by =?utf-8?q?Vojt=C4=9Bch_Forejt?= <email address hidden> on 2018-07-31

Merge pull request #2640 from allredj/support-for-load-containing-class-only

Class loading utils

b827ea4... by thk123 <email address hidden> on 2018-07-31

Use type equality check in unit tests

Now arrays differentiate by element type we need to check type equality
rather than full equality.

77185fd... by Thomas Kiley <email address hidden> on 2018-07-31

Merge pull request #2607 from jeannielynnmoulton/jeannie/ParseThrownExceptions2

[TG-4345] Parse thrown exceptions in java

»