Skip to content

Actions: qinheping/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex CodeQL #58: Commit d3bee61 pushed by qinheping
June 18, 2024 01:23 1h 19m 40s develop
develop
June 18, 2024 01:23 1h 19m 40s
Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex Performance Benchmarking #5: Commit d3bee61 pushed by qinheping
June 18, 2024 01:23 26m 4s develop
develop
June 18, 2024 01:23 26m 4s
Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex Build and Test CBMC #41: Commit d3bee61 pushed by qinheping
June 18, 2024 01:23 1h 15m 55s develop
develop
June 18, 2024 01:23 1h 15m 55s
Allow loop contracts annotated to GOTO statement Publish CBMC documentation #407: Commit d2f185f pushed by tautschnig
June 17, 2024 21:32 2m 26s loop_contracts_in_goto_code
loop_contracts_in_goto_code
June 17, 2024 21:32 2m 26s
Allow loop contracts annotated to GOTO statement Publish CBMC documentation #406: Commit 0a1bb6f pushed by tautschnig
June 17, 2024 10:12 2m 55s loop_contracts_in_goto_code
loop_contracts_in_goto_code
June 17, 2024 10:12 2m 55s
Allow loop contracts annotated to GOTO statement Publish CBMC documentation #405: Commit a9ab3af pushed by qinheping
June 17, 2024 06:05 2m 47s loop_contracts_in_goto_code
loop_contracts_in_goto_code
June 17, 2024 06:05 2m 47s
Allow loop contracts annotated to GOTO statement Publish CBMC documentation #404: Commit 75ceb8b pushed by qinheping
June 17, 2024 06:03 2m 15s loop_contracts_in_goto_code
loop_contracts_in_goto_code
June 17, 2024 06:03 2m 15s
Ignore cprover symbols in loop assigns inference Publish CBMC documentation #403: Commit b04d6f0 pushed by qinheping
June 5, 2024 20:44 2m 18s feature/get_assigns_ignore_cprover_variable
feature/get_assigns_ignore_cprover_variable
June 5, 2024 20:44 2m 18s
Use fresh converter in loop contracts instrumentation Publish CBMC documentation #402: Commit 7273894 pushed by qinheping
June 5, 2024 16:51 2m 37s bugfixes/use_fresh_converter_in_contracts
bugfixes/use_fresh_converter_in_contracts
June 5, 2024 16:51 2m 37s
Use fresh converter in loop contracts instrumentation Publish CBMC documentation #401: Commit 0227040 pushed by qinheping
June 5, 2024 04:18 2m 36s bugfixes/use_fresh_converter_in_contracts
bugfixes/use_fresh_converter_in_contracts
June 5, 2024 04:18 2m 36s
Make going_to variable cprover-prefixed Publish CBMC documentation #400: Commit f993f8c pushed by qinheping
June 5, 2024 04:13 2m 36s bugfixes/make_going_var_cprover_prefixed
bugfixes/make_going_var_cprover_prefixed
June 5, 2024 04:13 2m 36s
Ignore cprover symbols in loop assigns inference Publish CBMC documentation #399: Commit 7ce6643 pushed by qinheping
June 5, 2024 04:08 2m 34s feature/get_assigns_ignore_cprover_variable
feature/get_assigns_ignore_cprover_variable
June 5, 2024 04:08 2m 34s
Ignore cprover symbols in loop assigns inference Publish CBMC documentation #398: Commit e715e86 pushed by qinheping
June 5, 2024 04:07 2m 13s feature/get_assigns_ignore_cprover_variable
feature/get_assigns_ignore_cprover_variable
June 5, 2024 04:07 2m 13s
Ignore cprover symbols in loop assigns inference Publish CBMC documentation #397: Commit b29aafd pushed by qinheping
June 4, 2024 23:15 2m 17s feature/get_assigns_ignore_cprover_variable
feature/get_assigns_ignore_cprover_variable
June 4, 2024 23:15 2m 17s
Merge pull request #8297 from diffblue/goto-check-c-fatal Publish CBMC documentation #396: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:22 23m 9s feature/get_assigns_ignore_cprover_variable
feature/get_assigns_ignore_cprover_variable
June 4, 2024 22:22 23m 9s
Merge pull request #8297 from diffblue/goto-check-c-fatal Build and Test CBMC #40: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 1h 21m 30s develop
develop
June 4, 2024 22:21 1h 21m 30s
Merge pull request #8297 from diffblue/goto-check-c-fatal Build and Test on *BSD #4: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 39m 26s develop
develop
June 4, 2024 22:21 39m 26s
Merge pull request #8297 from diffblue/goto-check-c-fatal CodeQL #57: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 1h 2m 48s develop
develop
June 4, 2024 22:21 1h 2m 48s
Merge pull request #8297 from diffblue/goto-check-c-fatal Performance Benchmarking #4: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 36m 49s develop
develop
June 4, 2024 22:21 36m 49s
Merge pull request #8297 from diffblue/goto-check-c-fatal Build and Test the Rust API #39: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 14m 1s develop
develop
June 4, 2024 22:21 14m 1s
Merge pull request #8297 from diffblue/goto-check-c-fatal Publish CBMC documentation #395: Commit 52c3dbb pushed by qinheping
June 4, 2024 22:21 2m 46s develop
develop
June 4, 2024 22:21 2m 46s
Make going_to variable cprover-prefixed Publish CBMC documentation #394: Commit fe8bed7 pushed by qinheping
June 4, 2024 22:18 2m 35s bugfixes/make_going_var_cprover_prefixed
bugfixes/make_going_var_cprover_prefixed
June 4, 2024 22:18 2m 35s
Refactor quantified symbol detection for loop contracts Publish CBMC documentation #393: Commit a7383d9 pushed by qinheping
May 22, 2024 21:26 2m 17s issues/8298
issues/8298
May 22, 2024 21:26 2m 17s
Refactor quantified symbol detection for loop contracts Publish CBMC documentation #392: Commit 08d8491 pushed by qinheping
May 22, 2024 20:37 2m 16s issues/8298
issues/8298
May 22, 2024 20:37 2m 16s
Refactor quantified symbol detection for loop contracts Publish CBMC documentation #391: Commit 657328c pushed by qinheping
May 22, 2024 20:36 2m 28s issues/8298
issues/8298
May 22, 2024 20:36 2m 28s