Skip to content

Actions: model-checking/cbmc-starter-kit

Actions

Unit tests for summarize module

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summarize-test.yaml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable dependabot for GitHub actions Unit tests for summarize module #202: Pull request #212 opened by tautschnig
August 14, 2024 11:32 16s tautschnig:dependabot
tautschnig:dependabot
August 14, 2024 11:32 16s
Fix typo in Makefile.common comment Unit tests for summarize module #201: Pull request #211 opened by tautschnig
August 14, 2024 08:29 1m 8s tautschnig:fix-typo
tautschnig:fix-typo
August 14, 2024 08:29 1m 8s
Bump version to 2.11 (#210) Unit tests for summarize module #200: Commit aa7aba0 pushed by tautschnig
August 13, 2024 10:51 17s master
master
August 13, 2024 10:51 17s
Bump version to 2.11 Unit tests for summarize module #199: Pull request #210 opened by tautschnig
August 13, 2024 09:51 14s tautschnig:release-2.11
tautschnig:release-2.11
August 13, 2024 09:51 14s
Make Makefile.common compatible with CBMC v6 (#208) Unit tests for summarize module #198: Commit e1938c1 pushed by tautschnig
July 5, 2024 20:17 17s master
master
July 5, 2024 20:17 17s
Make Makefile.common compatible with CBMC v6 Unit tests for summarize module #197: Pull request #208 opened by tautschnig
July 5, 2024 19:09 13s tautschnig:cbmc-v6
tautschnig:cbmc-v6
July 5, 2024 19:09 13s
Fix off-by-one error in proof summary count (#207) Unit tests for summarize module #196: Commit a5daf89 pushed by tautschnig
June 25, 2024 19:58 14s master
master
June 25, 2024 19:58 14s
Fix off-by-one error in proof summary count Unit tests for summarize module #195: Pull request #207 opened by tautschnig
June 25, 2024 10:02 19s tautschnig:fix-off-by-one
tautschnig:fix-off-by-one
June 25, 2024 10:02 19s
Make EXPENSIVE/pools work even without run-cbmc-proofs.py (#204) Unit tests for summarize module #194: Commit 9db3f07 pushed by tautschnig
February 14, 2024 16:00 16s master
master
February 14, 2024 16:00 16s
Make EXPENSIVE/pools work even without run-cbmc-proofs.py Unit tests for summarize module #193: Pull request #204 opened by tautschnig
February 13, 2024 10:35 17s tautschnig:fix-expensive
tautschnig:fix-expensive
February 13, 2024 10:35 17s
Add -Werror flag in the build process (#203) Unit tests for summarize module #192: Commit f873ab4 pushed by feliperodri
February 1, 2024 17:02 33s master
master
February 1, 2024 17:02 33s
Add -Werror flag in the build process Unit tests for summarize module #191: Pull request #203 synchronize by feliperodri
February 1, 2024 17:00 16s feliperodri:add-werror
feliperodri:add-werror
February 1, 2024 17:00 16s
Add -Werror flag in the build process Unit tests for summarize module #190: Pull request #203 opened by feliperodri
February 1, 2024 01:17 17s feliperodri:add-werror
feliperodri:add-werror
February 1, 2024 01:17 17s
Fix "result" target (#201) Unit tests for summarize module #189: Commit 2678e6a pushed by tautschnig
December 11, 2023 22:34 15s master
master
December 11, 2023 22:34 15s
Fix "result" target Unit tests for summarize module #188: Pull request #201 opened by tautschnig
December 11, 2023 09:38 19s tautschnig:fix-resulttxt
tautschnig:fix-resulttxt
December 11, 2023 09:38 19s