cbmc:monitorenter-exit

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

657d744... by Daniel Kroening <email address hidden> on 2018-06-06

add Java monitorenter/exit symbols

7c053bf... by Michael Tautschnig on 2018-06-06

Merge pull request #2290 from diffblue/flt_rounds

added model for FreeBSD __flt_rounds

4a7a389... by Michael Tautschnig on 2018-06-06

Merge pull request #2262 from karkhaz/kk-rm-noop-depth-lookup

Don't do string lookups in symex main loop

8f094e2... by Daniel Kroening <email address hidden> on 2018-06-06

added model for FreeBSD __flt_rounds

6d5e446... by Daniel Kroening <email address hidden> on 2018-06-06

Merge pull request #2240 from diffblue/get-gcc-version

goto-cc: get gcc version

b618d94... by Daniel Kroening <email address hidden> on 2018-06-06

Merge pull request #2269 from peterschrammel/parameters-code-type

Make sure code_typet always has parameters property

2a72bf2... by Joel Allred <email address hidden> on 2018-06-06

Merge pull request #2268 from allredj/trigger-testgen

Add webhook to invoke a compatibility check

78794e2... by Daniel Kroening <email address hidden> on 2018-05-31

undo parts of #2185

e040723... by Daniel Kroening <email address hidden> on 2018-05-30

_FloatX support based on gcc version

cd6ecec... by Daniel Kroening <email address hidden> on 2018-05-25

goto-cc now reports version of installed gcc