Commits

History for

Commits on Nov 19, 2018

Add arraycopy helpers
peterschrammel
committed
3712b2d
Merge pull request #12 from diffblue/svcomp-verifier-cprover
peterschrammel
authored
b7737c7

Commits on Nov 16, 2018

Call CProver methods from SVCOMP's Verifier class
peterschrammel
committed
7d07a1b

Commits on Oct 17, 2018

Add and use CProverString.ofCharArray
romainbrenguier
committed
bb7871b

Commits on Jun 22, 2018

Added new method to 'CProver.java', 'getMonitiorLock'. This is used to

Degiorgio
authored and
peterschrammel
committed
6b422b1
Added new method to the CProver API, getCurrentThreadID()

Degiorgio
authored and
peterschrammel
committed
59198f7
Add basic concurrency support

dcattaruzza
authored and
peterschrammel
committed
2c171bf
Add MustNotThrow annotation

smowton
authored and
peterschrammel
committed
a643092
Added initial core models

dcattaruzza
authored and
peterschrammel
committed
cf3393d

Loading