Default Branch

replica 0452007acc · Change "-Wmaybe-uninitialized" to warning · Updated 2022-12-23 15:57:49 +08:00

ZIP  TAR.GZ

Branches

Search

develop 4eee93253e · Merge pull request #8197 from tautschnig/fix-gitignore · Updated 2024-02-08 06:38:03 +08:00	1 6942	Compare	ZIP  TAR.GZ
gh-pages 086ce86a7a · Deploying to gh-pages from @ diffblue/cbmc@50a795e29e · Updated 2022-12-20 02:37:19 +08:00	20712 230	Compare	ZIP  TAR.GZ
feature/unwind-bound-analysis 909e02f17f · WIP · Updated 2022-11-19 02:40:09 +08:00	1 5199	Compare	ZIP  TAR.GZ
cprover_byte_extract cbefdbba54 · CHC solver: byte-wise reading · Updated 2022-11-14 03:00:46 +08:00	1 5154	Compare	ZIP  TAR.GZ
state_labels bd0a58ebf2 · introduce state labels · Updated 2022-11-12 00:50:17 +08:00	1 5144	Compare	ZIP  TAR.GZ
union-flexible 22faee4ce7 · disallow flexible array members in unions · Updated 2022-11-04 17:15:00 +08:00	1 5090	Compare	ZIP  TAR.GZ
chc-constant-propagation 714882a2ea · fx · Updated 2022-11-03 17:47:18 +08:00	1 5084	Compare	ZIP  TAR.GZ
chc 3b5fa3a0f8 · extract inductiveness check · Updated 2022-10-20 23:23:29 +08:00	1 5031	Compare	ZIP  TAR.GZ
index_precondition 65316ac1a4 · index_exprt now checks type of index operand · Updated 2022-10-14 16:44:38 +08:00	1 4991	Compare	ZIP  TAR.GZ
remove-get-function 725b972433 · replace usage of source_locationt::get_function() · Updated 2022-10-13 23:36:47 +08:00	1 4991	Compare	ZIP  TAR.GZ
esteffin/byte-extraction-update eee5a02a02 · Add regressions for byte-extract/update · Updated 2022-10-11 21:49:22 +08:00	1 4980	Compare	ZIP  TAR.GZ
unsigned_pointer_offset 2a46b9f053 · make pointer_offset_exprt unsigned · Updated 2022-10-11 01:14:11 +08:00	1 4964	Compare	ZIP  TAR.GZ
remove_deprecated_c_types 22840ecfa4 · remove enum_constant_type() · Updated 2022-09-21 21:01:09 +08:00	1 4835	Compare	ZIP  TAR.GZ
revert-7128-cstrlen_exprt 65ee7747d3 · Revert "introduce cstrlen_exprt" · Updated 2022-09-15 21:54:30 +08:00	1 4809	Compare	ZIP  TAR.GZ
map_type 14cf4a9b77 · introduce __CPROVER_map type · Updated 2022-09-03 06:24:36 +08:00	1 4727	Compare	ZIP  TAR.GZ
symex_function_call_dereference 9ea5cedcfb · goto symex now handles function pointers · Updated 2022-09-03 05:08:54 +08:00	1 4727	Compare	ZIP  TAR.GZ
cprover_pointer_offset_type 830d70f5f3 · introduce __CPROVER_pointer_offset_t · Updated 2022-05-31 19:28:13 +08:00	1 4401	Compare	ZIP  TAR.GZ
simplify_expr_resultt 3e07b01678 · simplifier: use resultt<> instead of bool · Updated 2022-05-26 18:05:48 +08:00	1 4372	Compare	ZIP  TAR.GZ
code-is-not-an-expression f04a8cd18d · codet is not an expression · Updated 2022-05-13 10:23:53 +08:00	1 4299	Compare	ZIP  TAR.GZ
pointer-encoding2 69742ac348 · fx · Updated 2022-04-29 22:18:38 +08:00	1 4260	Compare	ZIP  TAR.GZ