Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
2,073 workflow runs
2,073 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7797 from tautschnig/features/gcc12 Build and Test CBMC #8417: Commit 0834274 pushed by tautschnig
July 18, 2023 21:21 54m 31s develop
develop
July 18, 2023 21:21 54m 31s
Add missing cleanup Build and Test CBMC #8416: Pull request #7798 synchronize by tautschnig
July 18, 2023 20:53 1h 2m 56s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 20:53 1h 2m 56s
Extend expr_initializer to support byte-wise initialization Build and Test CBMC #8415: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 1h 16m 59s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 1h 16m 59s
Extend expr_initializer to support byte-wise initialization Build and Test CBMC #8414: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 1h 14m 50s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 1h 14m 50s
Add missing cleanup Build and Test CBMC #8413: Pull request #7798 synchronize by tautschnig
July 18, 2023 18:35 1h 12m 45s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 18:35 1h 12m 45s
Enable all struct tests under regression/cbmc/ for new SMT backend Build and Test CBMC #8412: Pull request #7809 synchronize by NlightNFotis
July 18, 2023 14:05 1h 5m 55s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 18, 2023 14:05 1h 5m 55s
Merge pull request #7808 from thomasspriggs/tas/smt_string_literals Build and Test CBMC #8411: Commit eb20424 pushed by thomasspriggs
July 18, 2023 13:40 50m 13s develop
develop
July 18, 2023 13:40 50m 13s
Add string literal support to incremental SMT decision procedure Build and Test CBMC #8410: Pull request #7808 synchronize by thomasspriggs
July 18, 2023 11:18 1h 7m 29s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 18, 2023 11:18 1h 7m 29s
Add missing cleanup Build and Test CBMC #8409: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:29 1h 23m 1s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:29 1h 23m 1s
Add missing cleanup Build and Test CBMC #8408: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:14 53m 29s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:14 53m 29s
Add missing cleanup Build and Test CBMC #8407: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:45 1h 1m 53s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:45 1h 1m 53s
Add missing cleanup Build and Test CBMC #8406: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:33 56m 58s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:33 56m 58s
Add missing cleanup Build and Test CBMC #8405: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:16 52m 1s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:16 52m 1s
Add missing cleanup Build and Test CBMC #8404: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:59 1h 0m 43s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:59 1h 0m 43s
Add missing cleanup Build and Test CBMC #8403: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:46 50m 49s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:46 50m 49s
Add missing cleanup Build and Test CBMC #8402: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:40 57m 19s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:40 57m 19s
Enable all struct tests under regression/cbmc/ for new SMT backend Build and Test CBMC #8401: Pull request #7809 opened by NlightNFotis
July 17, 2023 09:54 1h 19m 30s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 17, 2023 09:54 1h 19m 30s
Add missing cleanup Build and Test CBMC #8400: Pull request #7798 synchronize by tautschnig
July 17, 2023 07:04 51m 44s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 07:04 51m 44s
Add missing cleanup Build and Test CBMC #8399: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:39 1h 8m 1s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:39 1h 8m 1s
Add missing cleanup Build and Test CBMC #8398: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:20 52m 17s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:20 52m 17s
Add missing cleanup Build and Test CBMC #8397: Pull request #7798 synchronize by tautschnig
July 17, 2023 06:11 1h 8m 51s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 06:11 1h 8m 51s
Add string literal support to incremental SMT decision procedure Build and Test CBMC #8395: Pull request #7808 opened by thomasspriggs
July 14, 2023 18:22 1h 10m 28s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 14, 2023 18:22 1h 10m 28s
Merge pull request #7787 from thomasspriggs/tas/smt_struct_with_member Build and Test CBMC #8394: Commit cafe331 pushed by thomasspriggs
July 13, 2023 10:27 1h 36m 15s develop
develop
July 13, 2023 10:27 1h 36m 15s
Merge pull request #7788 from qinheping/features/goto-level-loop-cont… Build and Test CBMC #8393: Commit ba0c1bb pushed by qinheping
July 13, 2023 08:29 1h 11m 15s develop
develop
July 13, 2023 08:29 1h 11m 15s
CONTRACTS: Add goto-level loop-contract annotation Build and Test CBMC #8392: Pull request #7788 synchronize by qinheping
July 13, 2023 06:41 1h 47m 26s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 13, 2023 06:41 1h 47m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-07-13 or the other filters available.