Skip to content

Actions: model-checking/cbmc-starter-kit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
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 (#201) Test CBMC starter-kit by using coreHTTP #204: Commit 2678e6a pushed by tautschnig
December 11, 2023 22:34 1m 26s master
master
December 11, 2023 22:34 1m 26s
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
Fix "result" target Test CBMC starter-kit by using coreHTTP #203: Pull request #201 opened by tautschnig
December 11, 2023 09:38 1m 32s tautschnig:fix-resulttxt
tautschnig:fix-resulttxt
December 11, 2023 09:38 1m 32s
starterkit-2.10 Release to brew #23: Release starterkit-2.10 created by ronakfof
May 3, 2023 19:16 14m 1s
May 3, 2023 19:16 14m 1s
Bump to version 2.10 (#197) CBMC starter kit release #26: Commit ba019b2 pushed by ronakfof
May 3, 2023 19:16 13s starterkit-2.10
starterkit-2.10
May 3, 2023 19:16 13s
starterkit-2.10 Release to PyPi #23: Release starterkit-2.10 created by ronakfof
May 3, 2023 19:16 47s
May 3, 2023 19:16 47s
Bump to version 2.10 (#197) Unit tests for summarize module #187: Commit ba019b2 pushed by feliperodri
May 3, 2023 18:51 15s master
master
May 3, 2023 18:51 15s
Bump to version 2.10 (#197) Test CBMC starter-kit by using coreHTTP #202: Commit ba019b2 pushed by feliperodri
May 3, 2023 18:51 2m 11s master
master
May 3, 2023 18:51 2m 11s
Bump to version 2.10 Test CBMC starter-kit by using coreHTTP #201: Pull request #197 opened by feliperodri
May 3, 2023 18:38 1m 39s feliperodri:version-bump
feliperodri:version-bump
May 3, 2023 18:38 1m 39s
Bump to version 2.10 Unit tests for summarize module #186: Pull request #197 opened by feliperodri
May 3, 2023 18:38 18s feliperodri:version-bump
feliperodri:version-bump
May 3, 2023 18:38 18s