r5738+glucose

r5738

r5317+static-cycles

r5317+merged-irep

r5317

r5312

r5118+release_5.0_r5112

r5118

r4508

r4502

r4458

r4411

r4393

r4389

irep Optimisations

r5317 +HASH_CODE +SUB_IS_LIST +IREP_HASH_MURMURHASH3

irep Optimisations

r4393 +OPERANDS_IN_GETSUB +HASH_CODE +SUB_IS_LIST +IREP_HASH_MURMURHASH3

SSA using ssa_exprt, struct and array field sensitivity

r4508 with goto-symex changes to fully use ssa_exprt, sound handling of local dirty variables, field sensitivity for structs and fixed-size arrays

SSA using ssa_exprt, struct field sensitivity

r4508 with goto-symex changes to fully use ssa_exprt, sound handling of local dirty variables, field sensitivity for structs

SSA using ssa_exprt

r4508 with goto-symex changes to fully use ssa_exprt, sound handling of local dirty variables

SSA using ssa_exprt, without dirty locals

r4508 with goto-symex changes to fully use ssa_exprt

Release 4.9

CBMC release 4.9 (SVN revision 4391)

Release 4.7

CBMC release 4.7 (SVN revision 3562)

Release 4.6

CBMC release 4.6 (SVN revision 3116)

Release 4.5

CBMC release 4.5 (SVN revision 2920)

Release 4.4

CBMC release 4.4 (SVN revision 2764)

Release 4.3

CBMC release 4.3 (SVN revision 2094)