Java concurrency, support for synchronization #2280

Merged

cesaro merged 7 commits intodiffblue:developfrom

cesaro:java-concurrency-synchronization

Jun 24, 2018

Commits on Jun 24, 2018

AppVeyor fix: remove existing clones of the java models library.
Degiorgio
committed
JBMC: Moved format_classpath.sh to scripts/format_classpath.sh
Degiorgio
committed
JBMC: Zero-initialized 'cproverMonitorCount' component and removed
Degiorgio
committed
JBMC: Modified the instrumentation of monitorexit/enter instructions

dcattaruzza
authored and
Degiorgio
committed
JBMC: Regression tests for multi-threaded java programs
Degiorgio
committed
JBMC: Support for synchronized methods
Degiorgio
committed
JBMC: Regression tests for synchronized methods
Degiorgio
committed