Skip to content

Actions: remi-delmas-3000/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use bitwuzla when quantifiers are involved Publish CBMC documentation #372: Commit c22a416 pushed by remi-delmas-3000
January 14, 2025 23:06 2m 38s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 14, 2025 23:06 2m 38s
Mark dummy objects as deallocated Publish CBMC documentation #371: Commit 9facabc pushed by remi-delmas-3000
January 14, 2025 18:54 2m 27s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 14, 2025 18:54 2m 27s
In failure cases for is_fresh, create nondet pointer to null or uniqu… Publish CBMC documentation #370: Commit 2d8ab18 pushed by remi-delmas-3000
January 14, 2025 18:32 2m 41s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 14, 2025 18:32 2m 41s
Mark regressing test as FUTURE Publish CBMC documentation #369: Commit 540f3b8 pushed by remi-delmas-3000
January 14, 2025 17:10 3m 15s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 14, 2025 17:10 3m 15s
Tag test with large performance regression as FUTURE Publish CBMC documentation #368: Commit b853e05 pushed by remi-delmas-3000
January 13, 2025 22:49 2m 43s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 13, 2025 22:49 2m 43s
Fix format Publish CBMC documentation #367: Commit f8448a6 pushed by remi-delmas-3000
January 13, 2025 22:47 2m 27s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 13, 2025 22:47 2m 27s
Tentative: pointers are invalid when pointer predicates return false. Publish CBMC documentation #366: Commit 59f706c pushed by remi-delmas-3000
January 13, 2025 22:40 2m 31s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 13, 2025 22:40 2m 31s
Fix line numbers in tests. Publish CBMC documentation #365: Commit f1c90c7 pushed by remi-delmas-3000
January 12, 2025 21:06 5m 49s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 12, 2025 21:06 5m 49s
Fix missing EXIT test Publish CBMC documentation #364: Commit d84f254 pushed by remi-delmas-3000
January 12, 2025 19:08 5m 51s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 12, 2025 19:08 5m 51s
Add regression tests for is_fresh and pointer_in_range. Publish CBMC documentation #363: Commit 2c486c8 pushed by remi-delmas-3000
January 11, 2025 21:14 6m 13s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 11, 2025 21:14 6m 13s
CONTRACTS: allow is_fresh to fail in assume contexts Publish CBMC documentation #362: Commit 740d1f4 pushed by remi-delmas-3000
January 10, 2025 23:28 5m 42s contracts-allow-is-fresh-to-fail
contracts-allow-is-fresh-to-fail
January 10, 2025 23:28 5m 42s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Build and Test CBMC #32: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 1h 3m 17s develop
develop
January 9, 2025 22:56 1h 3m 17s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Build and Test the Rust API #31: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 2m 49s develop
develop
January 9, 2025 22:56 2m 49s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 CodeQL #66: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 49m 23s develop
develop
January 9, 2025 22:56 49m 23s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Codecov coverage report #7: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 1h 6m 59s develop
develop
January 9, 2025 22:56 1h 6m 59s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Publish CBMC documentation #361: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 5m 49s develop
develop
January 9, 2025 22:56 5m 49s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Build and Test on *BSD #11: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 8m 38s develop
develop
January 9, 2025 22:56 8m 38s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Performance Benchmarking #9: Commit 36b2335 pushed by remi-delmas-3000
January 9, 2025 22:56 15m 34s develop
develop
January 9, 2025 22:56 15m 34s
Fix dangling doxygen ref. Publish CBMC documentation #360: Commit b6bae90 pushed by remi-delmas-3000
January 3, 2025 17:54 5m 45s contracts-MIR-storage-live-dead
contracts-MIR-storage-live-dead
January 3, 2025 17:54 5m 45s
CONTRACTS: don't instrument __CPROVER_dead_object anymore. Publish CBMC documentation #359: Commit 39f9c87 pushed by remi-delmas-3000
January 3, 2025 17:45 5m 57s contracts-MIR-storage-live-dead
contracts-MIR-storage-live-dead
January 3, 2025 17:45 5m 57s
Do not instrument assignments to __CPROVER_dead_object aymore. Publish CBMC documentation #358: Commit 2d1ad05 pushed by remi-delmas-3000
January 3, 2025 17:31 6h 0m 24s contracts-MIR-storage-live-dead
contracts-MIR-storage-live-dead
January 3, 2025 17:31 6h 0m 24s
Merge pull request #8552 from diffblue/ieee_floatt_one Build and Test on *BSD #10: Commit b3e9976 pushed by remi-delmas-3000
January 2, 2025 16:45 40m 18s develop
develop
January 2, 2025 16:45 40m 18s
Merge pull request #8552 from diffblue/ieee_floatt_one Codecov coverage report #6: Commit b3e9976 pushed by remi-delmas-3000
January 2, 2025 16:45 1h 3m 27s develop
develop
January 2, 2025 16:45 1h 3m 27s
Merge pull request #8552 from diffblue/ieee_floatt_one Build and Test CBMC #31: Commit b3e9976 pushed by remi-delmas-3000
January 2, 2025 16:45 1h 6m 32s develop
develop
January 2, 2025 16:45 1h 6m 32s
Merge pull request #8552 from diffblue/ieee_floatt_one Performance Benchmarking #8: Commit b3e9976 pushed by remi-delmas-3000
January 2, 2025 16:45 30m 57s develop
develop
January 2, 2025 16:45 30m 57s