Skip to content

Actions: diffblue/cbmc

Actions

Publish CBMC documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yaml
2,396 workflow runs
2,396 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mark CBMC cbmc-5.88.0. Publish CBMC documentation #2845: Pull request #7812 opened by NlightNFotis
July 20, 2023 10:18 2m 50s NlightNFotis:new_cbmc_release-5.88.0
NlightNFotis:new_cbmc_release-5.88.0
July 20, 2023 10:18 2m 50s
Fix big endian compatibility Publish CBMC documentation #2844: Pull request #7811 opened by tautschnig
July 20, 2023 10:01 3m 15s tautschnig:bugfixes/big-endian
tautschnig:bugfixes/big-endian
July 20, 2023 10:01 3m 15s
Define coverage blocks so as to be terminated by assumptions Publish CBMC documentation #2843: Pull request #7810 opened by thomasspriggs
July 19, 2023 17:48 2m 49s thomasspriggs:tas/cover_assume_blocks
thomasspriggs:tas/cover_assume_blocks
July 19, 2023 17:48 2m 49s
Add -Denable_marchnative=true option Publish CBMC documentation #2842: Pull request #6029 synchronize by rurban
July 19, 2023 10:04 2m 40s rurban:march-native
rurban:march-native
July 19, 2023 10:04 2m 40s
Merge pull request #7716 from tautschnig/cleanup/nondet-pointer-perf Publish CBMC documentation #2841: Commit 6831ee0 pushed by tautschnig
July 19, 2023 07:58 3m 1s develop
develop
July 19, 2023 07:58 3m 1s
Ensure hardening flags apply to all built binaries Publish CBMC documentation #2839: Pull request #7801 synchronize by tautschnig
July 19, 2023 06:00 22m 25s tautschnig:cleanup/hardening
tautschnig:cleanup/hardening
July 19, 2023 06:00 22m 25s
Merge pull request #7736 from tautschnig/cleanup/remove-vector-from-b… Publish CBMC documentation #2838: Commit a07c0ab pushed by tautschnig
July 19, 2023 05:53 19m 50s develop
develop
July 19, 2023 05:53 19m 50s
Introduce bitst and bytest to avoid bit/byte mix-up Publish CBMC documentation #2837: Pull request #7413 synchronize by tautschnig
July 19, 2023 05:51 3m 6s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
July 19, 2023 05:51 3m 6s
Move CPROVER_{r,w,rw}_ok processing to back-end Publish CBMC documentation #2836: Pull request #7395 synchronize by tautschnig
July 19, 2023 05:46 2m 45s tautschnig:feature/rw_ok-back-end
tautschnig:feature/rw_ok-back-end
July 19, 2023 05:46 2m 45s
Value sets: make pointers nondet only once Publish CBMC documentation #2835: Pull request #7716 synchronize by tautschnig
July 19, 2023 05:44 3m 18s tautschnig:cleanup/nondet-pointer-perf
tautschnig:cleanup/nondet-pointer-perf
July 19, 2023 05:44 3m 18s
Merge pull request #7797 from tautschnig/features/gcc12 Publish CBMC documentation #2834: Commit 0834274 pushed by tautschnig
July 18, 2023 21:21 3m 9s develop
develop
July 18, 2023 21:21 3m 9s
Add missing cleanup Publish CBMC documentation #2833: Pull request #7798 synchronize by tautschnig
July 18, 2023 20:53 2m 36s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 20:53 2m 36s
Extend expr_initializer to support byte-wise initialization Publish CBMC documentation #2832: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 4m 0s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 4m 0s
Extend expr_initializer to support byte-wise initialization Publish CBMC documentation #2831: Pull request #7392 synchronize by esteffin
July 18, 2023 18:57 2m 54s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 18, 2023 18:57 2m 54s
Add missing cleanup Publish CBMC documentation #2830: Pull request #7798 synchronize by tautschnig
July 18, 2023 18:35 2m 32s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 18:35 2m 32s
Enable all struct tests under regression/cbmc/ for new SMT backend Publish CBMC documentation #2829: Pull request #7809 synchronize by NlightNFotis
July 18, 2023 14:05 4m 29s NlightNFotis:address_of_field
NlightNFotis:address_of_field
July 18, 2023 14:05 4m 29s
Merge pull request #7808 from thomasspriggs/tas/smt_string_literals Publish CBMC documentation #2828: Commit eb20424 pushed by thomasspriggs
July 18, 2023 13:40 4m 41s develop
develop
July 18, 2023 13:40 4m 41s
Add string literal support to incremental SMT decision procedure Publish CBMC documentation #2827: Pull request #7808 synchronize by thomasspriggs
July 18, 2023 11:18 2m 36s thomasspriggs:tas/smt_string_literals
thomasspriggs:tas/smt_string_literals
July 18, 2023 11:18 2m 36s
Add missing cleanup Publish CBMC documentation #2826: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:29 2m 32s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:29 2m 32s
Add missing cleanup Publish CBMC documentation #2825: Pull request #7798 synchronize by tautschnig
July 18, 2023 07:14 3m 17s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 07:14 3m 17s
Add missing cleanup Publish CBMC documentation #2824: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:45 2m 25s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:45 2m 25s
Add missing cleanup Publish CBMC documentation #2823: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:33 3m 2s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:33 3m 2s
Add missing cleanup Publish CBMC documentation #2822: Pull request #7798 synchronize by tautschnig
July 18, 2023 04:16 3m 42s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 18, 2023 04:16 3m 42s
Add missing cleanup Publish CBMC documentation #2821: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:59 2m 25s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:59 2m 25s
Add missing cleanup Publish CBMC documentation #2820: Pull request #7798 synchronize by tautschnig
July 17, 2023 20:46 3m 12s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 17, 2023 20:46 3m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.