Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
19 workflow run results
19 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7782 from qinheping/migrate_synthesizer_utils CodeQL #4316: Commit da48fba pushed by qinheping
June 26, 2023 21:12 1h 22m 47s develop
develop
June 26, 2023 21:12 1h 22m 47s
Add goto-bmc, a new tool to run only the verifier CodeQL #4315: Pull request #7762 synchronize by NlightNFotis
June 26, 2023 16:40 1h 27m 49s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 26, 2023 16:40 1h 27m 49s
Add goto-bmc, a new tool to run only the verifier CodeQL #4314: Pull request #7762 synchronize by NlightNFotis
June 26, 2023 16:37 1h 2m 59s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 26, 2023 16:37 1h 2m 59s
CONTRACTS: Move some functions from synthesizer_utils to contracts/utils CodeQL #4313: Pull request #7782 opened by qinheping
June 26, 2023 07:08 1h 18m 16s qinheping:migrate_synthesizer_utils
qinheping:migrate_synthesizer_utils
June 26, 2023 07:08 1h 18m 16s
Adds an over-approximation model for sysconf CodeQL #4311: Pull request #7780 synchronize by feliperodri
June 22, 2023 21:11 1h 20m 43s feliperodri:sysconf-model
feliperodri:sysconf-model
June 22, 2023 21:11 1h 20m 43s
Adds an over-approximation model for sysconf CodeQL #4310: Pull request #7780 opened by feliperodri
June 22, 2023 20:46 1h 2m 27s feliperodri:sysconf-model
feliperodri:sysconf-model
June 22, 2023 20:46 1h 2m 27s
Merge pull request #7761 from NlightNFotis/simplify_interval_domain CodeQL #4309: Commit 14fce73 pushed by NlightNFotis
June 22, 2023 20:13 1h 17m 47s develop
develop
June 22, 2023 20:13 1h 17m 47s
Add ADR outlining rationale for libcprover-cpp and goto-bmc integration CodeQL #4308: Pull request #7778 opened by NlightNFotis
June 22, 2023 17:00 1h 27m 27s NlightNFotis:adr_libcprover_cpp_gotobmc
NlightNFotis:adr_libcprover_cpp_gotobmc
June 22, 2023 17:00 1h 27m 27s
Merge pull request #7772 from NlightNFotis/enum_in_range CodeQL #4307: Commit bd87ba9 pushed by esteffin
June 22, 2023 16:18 1h 23m 53s develop
develop
June 22, 2023 16:18 1h 23m 53s
Add lookup for unlowered form in get_identifier. CodeQL #4306: Pull request #7772 synchronize by esteffin
June 22, 2023 14:03 1h 2m 53s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 14:03 1h 2m 53s
Add lookup for unlowered form in get_identifier. CodeQL #4305: Pull request #7772 synchronize by esteffin
June 22, 2023 13:53 1h 5m 2s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 13:53 1h 5m 2s
Add lookup for unlowered form in get_identifier. CodeQL #4304: Pull request #7772 synchronize by esteffin
June 22, 2023 13:46 1h 20m 16s NlightNFotis:enum_in_range
NlightNFotis:enum_in_range
June 22, 2023 13:46 1h 20m 16s
Merge pull request #7777 from esteffin/new_cbmc_release-5.86.0 CodeQL #4303: Commit 892c792 pushed by esteffin
June 22, 2023 13:15 1h 4m 47s develop
develop
June 22, 2023 13:15 1h 4m 47s
Mark CBMC cbmc-5.86.0. CodeQL #4302: Pull request #7777 opened by esteffin
June 22, 2023 11:40 1h 4m 23s esteffin:new_cbmc_release-5.86.0
esteffin:new_cbmc_release-5.86.0
June 22, 2023 11:40 1h 4m 23s
Add goto-bmc, a new tool to run only the verifier CodeQL #4301: Pull request #7762 synchronize by esteffin
June 21, 2023 14:36 1h 12m 2s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 14:36 1h 12m 2s
Add goto-bmc, a new tool to run only the verifier CodeQL #4300: Pull request #7762 synchronize by esteffin
June 21, 2023 14:09 1h 4m 26s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 14:09 1h 4m 26s
Add goto-bmc, a new tool to run only the verifier CodeQL #4299: Pull request #7762 synchronize by esteffin
June 21, 2023 12:27 1h 4m 55s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 21, 2023 12:27 1h 4m 55s
Add goto-bmc, a new tool to run only the verifier CodeQL #4298: Pull request #7762 synchronize by esteffin
June 20, 2023 19:43 1h 19m 1s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 20, 2023 19:43 1h 19m 1s
Add goto-bmc, a new tool to run only the verifier CodeQL #4297: Pull request #7762 synchronize by esteffin
June 20, 2023 19:39 1h 1m 57s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
June 20, 2023 19:39 1h 1m 57s