Skip to content

Actions: remi-delmas-3000/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #419: Commit d4a1c6d pushed by remi-delmas-3000
February 28, 2025 17:36 2m 39s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 17:36 2m 39s
CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #418: Commit 60a835a pushed by remi-delmas-3000
February 28, 2025 14:42 2m 42s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 14:42 2m 42s
CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #417: Commit a404b22 pushed by remi-delmas-3000
February 28, 2025 02:08 2m 27s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 02:08 2m 27s
fix test Publish CBMC documentation #416: Commit 79d3ca8 pushed by remi-delmas-3000
February 28, 2025 01:20 3m 45s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 01:20 3m 45s
Add failures due to CAR size overflow in is_fresh Publish CBMC documentation #415: Commit 1a0b3ee pushed by remi-delmas-3000
February 28, 2025 00:56 2m 46s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 00:56 2m 46s
CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #414: Commit 7bdf6f7 pushed by remi-delmas-3000
February 28, 2025 00:40 2m 24s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 00:40 2m 24s
CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #413: Commit 8ea2e7c pushed by remi-delmas-3000
February 28, 2025 00:19 2m 26s weaken-is-fresh-assert
weaken-is-fresh-assert
February 28, 2025 00:19 2m 26s
CONTRACTS: is_fresh now checks separation of byte-intervals instead o… Publish CBMC documentation #412: Commit ad6325f pushed by remi-delmas-3000
February 27, 2025 22:30 2m 35s weaken-is-fresh-assert
weaken-is-fresh-assert
February 27, 2025 22:30 2m 35s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Performance Benchmarking #12: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 44m 26s develop
develop
February 27, 2025 19:58 44m 26s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Build and Test on *BSD #14: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 43m 13s develop
develop
February 27, 2025 19:58 43m 13s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Build and Test CBMC #35: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 1h 23m 34s develop
develop
February 27, 2025 19:58 1h 23m 34s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Codecov coverage report #10: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 1h 2m 25s develop
develop
February 27, 2025 19:58 1h 2m 25s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Publish CBMC documentation #411: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 36m 51s develop
develop
February 27, 2025 19:58 36m 51s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Build and Test the Rust API #34: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 22m 58s develop
develop
February 27, 2025 19:58 22m 58s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array CodeQL #69: Commit 159af34 pushed by remi-delmas-3000
February 27, 2025 19:58 49m 40s develop
develop
February 27, 2025 19:58 49m 40s
CONTRACTS: at most one predicate occurence per pointer Publish CBMC documentation #410: Commit bb3307a pushed by remi-delmas-3000
January 31, 2025 05:14 3m 4s contracts-ptr-pred-ctx
contracts-ptr-pred-ctx
January 31, 2025 05:14 3m 4s
CONTRACTS: at most one predicate occurence per pointer Publish CBMC documentation #409: Commit 7f7a03c pushed by remi-delmas-3000
January 31, 2025 04:30 3m 0s contracts-ptr-pred-ctx
contracts-ptr-pred-ctx
January 31, 2025 04:30 3m 0s
Refresh memory predicate documentation, add paragraph about using poi… Publish CBMC documentation #408: Commit 42af48e pushed by remi-delmas-3000
January 25, 2025 21:52 2m 49s contracts-ptr-pred-ctx
contracts-ptr-pred-ctx
January 25, 2025 21:52 2m 49s
CONTRACTS: separation checks using nondet demonic variable Publish CBMC documentation #407: Commit d490670 pushed by remi-delmas-3000
January 25, 2025 21:22 2m 20s contracts-is-fresh-demonic
contracts-is-fresh-demonic
January 25, 2025 21:22 2m 20s
don't use is fresh under negation Publish CBMC documentation #406: Commit 5372a0c pushed by remi-delmas-3000
January 25, 2025 21:20 2m 57s contracts-is-fresh-demonic
contracts-is-fresh-demonic
January 25, 2025 21:20 2m 57s
Refresh memory predicate documentation, add paragraph about using poi… Publish CBMC documentation #405: Commit a9e5701 pushed by remi-delmas-3000
January 25, 2025 19:52 2m 36s contracts-ptr-pred-ctx
contracts-ptr-pred-ctx
January 25, 2025 19:52 2m 36s
CONTRACTS: separation checks using nondet demonic variable Publish CBMC documentation #404: Commit 906c5ee pushed by remi-delmas-3000
January 25, 2025 19:48 2m 23s contracts-is-fresh-demonic
contracts-is-fresh-demonic
January 25, 2025 19:48 2m 23s
CONTRACTS: at most one predicate occurence per pointer Publish CBMC documentation #403: Commit f77210c pushed by remi-delmas-3000
January 25, 2025 19:47 2m 30s contracts-ptr-pred-ctx
contracts-ptr-pred-ctx
January 25, 2025 19:47 2m 30s
Refresh memory predicate documentation, add paragraph about using poi… Publish CBMC documentation #402: Commit d7d0aec pushed by remi-delmas-3000
January 24, 2025 20:05 2m 29s contracts-obj-set--demonic
contracts-obj-set--demonic
January 24, 2025 20:05 2m 29s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uni… Publish CBMC documentation #401: Commit ab4853d pushed by remi-delmas-3000
January 24, 2025 16:06 2m 39s contracts-obj-set--demonic
contracts-obj-set--demonic
January 24, 2025 16:06 2m 39s