Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
325 workflow run results
325 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define coverage blocks so as to be terminated by all assumptions Syntactic checks #1480: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 1m 26s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 1m 26s
Define coverage blocks so as to be terminated by all assumptions Build Linux partially with CPROVER tools #6382: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 6m 15s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 6m 15s
Define coverage blocks so as to be terminated by all assumptions Build Doxygen Documentation #7860: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 2m 3s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 2m 3s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8276: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 11m 48s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 11m 48s
Define coverage blocks so as to be terminated by all assumptions Publish CBMC documentation #3319: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 2m 40s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 2m 40s
Define coverage blocks so as to be terminated by all assumptions Build and Test CBMC #8872: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1h 1m 17s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1h 1m 17s
Define coverage blocks so as to be terminated by all assumptions Build Doxygen Documentation #7859: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 2m 21s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 2m 21s
Define coverage blocks so as to be terminated by all assumptions Build Linux partially with CPROVER tools #6381: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 6m 15s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 6m 15s
Define coverage blocks so as to be terminated by all assumptions Build and Test the Rust API #1681: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 33m 21s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 33m 21s
Define coverage blocks so as to be terminated by all assumptions Syntactic checks #1479: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1m 37s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1m 37s
Define coverage blocks so as to be terminated by all assumptions Build Xen with CPROVER tools #8275: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 11m 28s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 11m 28s
Define coverage blocks so as to be terminated by all assumptions CodeQL #4864: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 1h 7m 25s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 1h 7m 25s
Define coverage blocks so as to be terminated by all assumptions Run CSmith #7614: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 5m 53s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 5m 53s
pages build and deployment pages-build-deployment #791: by github-pages bot
October 10, 2023 13:57 1m 57s gh-pages
gh-pages
October 10, 2023 13:57 1m 57s
Merge pull request #7809 from NlightNFotis/address_of_field Publish CBMC documentation #3318: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 3m 16s develop
develop
October 10, 2023 13:54 3m 16s
Merge pull request #7809 from NlightNFotis/address_of_field Build and Test CBMC #8871: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 1h 5m 18s develop
develop
October 10, 2023 13:54 1h 5m 18s
Merge pull request #7809 from NlightNFotis/address_of_field Build and Test the Rust API #1680: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 2m 43s develop
develop
October 10, 2023 13:54 2m 43s
Merge pull request #7809 from NlightNFotis/address_of_field CodeQL #4863: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 1h 8m 9s develop
develop
October 10, 2023 13:54 1h 8m 9s
pages build and deployment pages-build-deployment #790: by github-pages bot
October 6, 2023 16:16 1m 51s gh-pages
gh-pages
October 6, 2023 16:16 1m 51s
Merge pull request #7939 from esteffin/esteffin/shadow-memory-docs-an… Build and Test CBMC #8869: Commit 0838c70 pushed by esteffin
October 6, 2023 16:13 57m 24s develop
develop
October 6, 2023 16:13 57m 24s
Merge pull request #7939 from esteffin/esteffin/shadow-memory-docs-an… CodeQL #4861: Commit 0838c70 pushed by esteffin
October 6, 2023 16:13 1h 8m 53s develop
develop
October 6, 2023 16:13 1h 8m 53s
Merge pull request #7939 from esteffin/esteffin/shadow-memory-docs-an… Build and Test the Rust API #1678: Commit 0838c70 pushed by esteffin
October 6, 2023 16:13 3m 10s develop
develop
October 6, 2023 16:13 3m 10s
Merge pull request #7939 from esteffin/esteffin/shadow-memory-docs-an… Publish CBMC documentation #3316: Commit 0838c70 pushed by esteffin
October 6, 2023 16:13 3m 13s develop
develop
October 6, 2023 16:13 3m 13s
Enable all struct tests under regression/cbmc/ for new SMT backend CodeQL #4860: Pull request #7809 synchronize by NlightNFotis
October 6, 2023 15:01 1h 10m 50s NlightNFotis:address_of_field
NlightNFotis:address_of_field
October 6, 2023 15:01 1h 10m 50s
Enable all struct tests under regression/cbmc/ for new SMT backend Build and Test CBMC #8868: Pull request #7809 synchronize by NlightNFotis
October 6, 2023 15:01 1h 18m 48s NlightNFotis:address_of_field
NlightNFotis:address_of_field
October 6, 2023 15:01 1h 18m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-10-06 or the other filters available.