Skip to content

Actions: model-checking/cbmc-starter-kit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable dependabot for GitHub actions Test CBMC starter-kit by using coreHTTP #217: Pull request #212 opened by tautschnig
August 14, 2024 11:32 1m 38s tautschnig:dependabot
tautschnig:dependabot
August 14, 2024 11:32 1m 38s
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 Test CBMC starter-kit by using coreHTTP #216: Pull request #211 opened by tautschnig
August 14, 2024 08:29 2m 41s tautschnig:fix-typo
tautschnig:fix-typo
August 14, 2024 08:29 2m 41s
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) Test CBMC starter-kit by using coreHTTP #215: Commit aa7aba0 pushed by tautschnig
August 13, 2024 10:51 1m 10s master
master
August 13, 2024 10:51 1m 10s
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
Bump version to 2.11 Test CBMC starter-kit by using coreHTTP #214: Pull request #210 opened by tautschnig
August 13, 2024 09:51 1m 15s tautschnig:release-2.11
tautschnig:release-2.11
August 13, 2024 09:51 1m 15s
Make Makefile.common compatible with CBMC v6 (#208) Test CBMC starter-kit by using coreHTTP #213: Commit e1938c1 pushed by tautschnig
July 5, 2024 20:17 1m 46s master
master
July 5, 2024 20:17 1m 46s
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
Make Makefile.common compatible with CBMC v6 Test CBMC starter-kit by using coreHTTP #212: Pull request #208 opened by tautschnig
July 5, 2024 19:09 1m 18s tautschnig:cbmc-v6
tautschnig:cbmc-v6
July 5, 2024 19:09 1m 18s
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 (#207) Test CBMC starter-kit by using coreHTTP #211: Commit a5daf89 pushed by tautschnig
June 25, 2024 19:58 1m 6s master
master
June 25, 2024 19:58 1m 6s
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
Fix off-by-one error in proof summary count Test CBMC starter-kit by using coreHTTP #210: Pull request #207 opened by tautschnig
June 25, 2024 10:02 1m 12s tautschnig:fix-off-by-one
tautschnig:fix-off-by-one
June 25, 2024 10:02 1m 12s
Make EXPENSIVE/pools work even without run-cbmc-proofs.py (#204) Test CBMC starter-kit by using coreHTTP #209: Commit 9db3f07 pushed by tautschnig
February 14, 2024 16:00 1m 28s master
master
February 14, 2024 16:00 1m 28s
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 Test CBMC starter-kit by using coreHTTP #208: Pull request #204 opened by tautschnig
February 13, 2024 10:35 1m 14s tautschnig:fix-expensive
tautschnig:fix-expensive
February 13, 2024 10:35 1m 14s
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) Test CBMC starter-kit by using coreHTTP #207: Commit f873ab4 pushed by feliperodri
February 1, 2024 17:02 1m 41s master
master
February 1, 2024 17:02 1m 41s
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 Test CBMC starter-kit by using coreHTTP #206: Pull request #203 synchronize by feliperodri
February 1, 2024 17:00 1m 25s feliperodri:add-werror
feliperodri:add-werror
February 1, 2024 17:00 1m 25s
Add -Werror flag in the build process Test CBMC starter-kit by using coreHTTP #205: Pull request #203 opened by feliperodri
February 1, 2024 01:17 1m 25s feliperodri:add-werror
feliperodri:add-werror
February 1, 2024 01:17 1m 25s