Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use goto-analyzer to add assumptions, assertions and code contracts Syntactic checks #1512: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 2m 25s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 2m 25s
Use goto-analyzer to add assumptions, assertions and code contracts CodeQL #4906: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 30m 34s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 30m 34s
Use goto-analyzer to add assumptions, assertions and code contracts Build Doxygen Documentation #7892: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 2m 32s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 2m 32s
Use goto-analyzer to add assumptions, assertions and code contracts Run CSmith #7647: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 5m 36s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 5m 36s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test the Rust API #1723: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 12m 4s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 12m 4s
Use goto-analyzer to add assumptions, assertions and code contracts Build Linux partially with CPROVER tools #6414: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 6m 57s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 6m 57s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test CBMC #8914: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 31m 28s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 31m 28s
Use goto-analyzer to add assumptions, assertions and code contracts Publish CBMC documentation #3366: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 2m 48s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 2m 48s
Use goto-analyzer to add assumptions, assertions and code contracts Build Xen with CPROVER tools #8308: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 14m 59s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 14m 59s
Use goto-analyzer to add assumptions, assertions and code contracts Publish CBMC documentation #3365: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 3m 3s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 3m 3s
Use goto-analyzer to add assumptions, assertions and code contracts CodeQL #4905: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 28m 12s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 28m 12s
Use goto-analyzer to add assumptions, assertions and code contracts Build Doxygen Documentation #7891: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 2m 17s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 2m 17s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test CBMC #8913: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 31m 54s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 31m 54s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test the Rust API #1722: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 11m 40s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 11m 40s
Use goto-analyzer to add assumptions, assertions and code contracts Build Xen with CPROVER tools #8307: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 16m 5s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 16m 5s
Use goto-analyzer to add assumptions, assertions and code contracts Syntactic checks #1511: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 1m 35s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 1m 35s
Use goto-analyzer to add assumptions, assertions and code contracts Run CSmith #7646: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 4m 54s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 4m 54s
Use goto-analyzer to add assumptions, assertions and code contracts Build Linux partially with CPROVER tools #6413: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 9m 0s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 9m 0s
pages build and deployment pages-build-deployment #800: by github-pages bot
October 16, 2023 21:12 2m 2s gh-pages
gh-pages
October 16, 2023 21:12 2m 2s
pages build and deployment pages-build-deployment #799: by github-pages bot
October 16, 2023 21:11 57s gh-pages
gh-pages
October 16, 2023 21:11 57s
Merge pull request #7933 from tautschnig/features/simplify-be-bu Build and Test CBMC #8911: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 1h 29m 15s develop
develop
October 16, 2023 21:08 1h 29m 15s
Merge pull request #7933 from tautschnig/features/simplify-be-bu CodeQL #4903: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 1h 10m 29s develop
develop
October 16, 2023 21:08 1h 10m 29s
Merge pull request #7933 from tautschnig/features/simplify-be-bu Build and Test the Rust API #1720: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 14m 54s develop
develop
October 16, 2023 21:08 14m 54s
Merge pull request #7933 from tautschnig/features/simplify-be-bu Publish CBMC documentation #3363: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 4m 4s develop
develop
October 16, 2023 21:08 4m 4s
Merge pull request #7962 from thomasspriggs/tas/const_cast_fixes Publish CBMC documentation #3362: Commit db9c799 pushed by tautschnig
October 16, 2023 21:07 4m 12s develop
develop
October 16, 2023 21:07 4m 12s