Skip to content

Actions: tautschnig/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pointer subtraction in back-end: no need for bounds checking Publish CBMC documentation #1796: Commit eade886 pushed by tautschnig
November 7, 2024 09:19 7m 21s pointer-subtraction-back-end
pointer-subtraction-back-end
November 7, 2024 09:19 7m 21s
Pointer subtraction in back-end: no need for bounds checking Publish CBMC documentation #1795: Commit 4a92bfc pushed by tautschnig
November 7, 2024 09:14 7m 30s pointer-subtraction-back-end
pointer-subtraction-back-end
November 7, 2024 09:14 7m 30s
Pointer subtraction in back-end: no need for bounds checking Publish CBMC documentation #1794: Commit 33767f9 pushed by tautschnig
November 6, 2024 21:45 7m 7s pointer-subtraction-back-end
pointer-subtraction-back-end
November 6, 2024 21:45 7m 7s
Release CBMC 6.4.0 Publish CBMC documentation #1793: Commit 27a27ca pushed by tautschnig
November 6, 2024 10:19 6m 59s release-6.4.0
release-6.4.0
November 6, 2024 10:19 6m 59s
goto-symex: assumed pointer equalities must update value set Publish CBMC documentation #1792: Commit 2a27074 pushed by tautschnig
November 5, 2024 08:00 7m 16s bugfixes/8492-value-set
bugfixes/8492-value-set
November 5, 2024 08:00 7m 16s
goto-symex: assumed pointer equalities must update value set Publish CBMC documentation #1791: Commit 7834dd5 pushed by tautschnig
November 4, 2024 20:18 7m 0s bugfixes/8492-value-set
bugfixes/8492-value-set
November 4, 2024 20:18 7m 0s
Schönhage-Strassen multiplication Publish CBMC documentation #1790: Commit 2f37f7b pushed by tautschnig
October 28, 2024 09:37 7m 22s feature/multiplier-encoding
feature/multiplier-encoding
October 28, 2024 09:37 7m 22s
Remove macos-12 CI job Publish CBMC documentation #1789: Commit d05d429 pushed by tautschnig
October 22, 2024 21:11 7m 17s remove-macos-12
remove-macos-12
October 22, 2024 21:11 7m 17s
Remove macos-12 CI job Publish CBMC documentation #1788: Commit 743e9cb pushed by tautschnig
October 22, 2024 12:54 7m 3s remove-macos-12
remove-macos-12
October 22, 2024 12:54 7m 3s
CI: add macos-14 (macOS on M1) job Publish CBMC documentation #1787: Commit 075319d pushed by tautschnig
October 22, 2024 06:04 6m 56s macos-14
macos-14
October 22, 2024 06:04 6m 56s
Man pages: improve wording of unwinding-related options Publish CBMC documentation #1786: Commit 36ba12e pushed by tautschnig
September 25, 2024 12:42 7m 46s loops-man-pages
loops-man-pages
September 25, 2024 12:42 7m 46s
Reword documentation of __CPROVER_{r,w,rw}_ok Publish CBMC documentation #1785: Commit cfc3277 pushed by tautschnig
September 25, 2024 11:35 8m 59s rw_ok-documentation
rw_ok-documentation
September 25, 2024 11:35 8m 59s
Man pages: improve wording of unwinding-related options Publish CBMC documentation #1784: Commit 05ba713 pushed by tautschnig
September 24, 2024 21:45 6m 59s loops-man-pages
loops-man-pages
September 24, 2024 21:45 6m 59s
Contracts: document use of __CPROVER_loop_entry with arrays Publish CBMC documentation #1783: Commit 095413f pushed by tautschnig
September 24, 2024 20:36 7m 5s loop_entry-arrays
loop_entry-arrays
September 24, 2024 20:36 7m 5s
Remove infinity_exprt Publish CBMC documentation #1782: Commit 318c9a5 pushed by tautschnig
September 24, 2024 14:18 7m 9s remove-infinity
remove-infinity
September 24, 2024 14:18 7m 9s
Remove infinity_exprt Publish CBMC documentation #1781: Commit ad28e97 pushed by tautschnig
September 24, 2024 14:14 7m 17s remove-infinity
remove-infinity
September 24, 2024 14:14 7m 17s
Remove infinity_exprt Publish CBMC documentation #1780: Commit 6fe0d8f pushed by tautschnig
September 24, 2024 14:04 7m 17s remove-infinity
remove-infinity
September 24, 2024 14:04 7m 17s
Re-enable array theory as default for array size above threshold Publish CBMC documentation #1779: Commit dc4157e pushed by tautschnig
September 24, 2024 12:48 7m 36s arrays-uf-auto-default
arrays-uf-auto-default
September 24, 2024 12:48 7m 36s
Release CBMC 6.3.1 Publish CBMC documentation #1778: Commit e7220f6 pushed by tautschnig
September 19, 2024 16:26 7m 44s release-6.3.1
release-6.3.1
September 19, 2024 16:26 7m 44s
C library: Apple does not adhere to aarch64 ABI Publish CBMC documentation #1777: Commit 9c9b52e pushed by tautschnig
September 19, 2024 15:34 6m 59s fix-aarch64-va_list
fix-aarch64-va_list
September 19, 2024 15:34 6m 59s
C library: Apple does not adhere to aarch64 ABI Publish CBMC documentation #1776: Commit 02322ae pushed by tautschnig
September 19, 2024 12:49 7m 21s fix-aarch64-va_list
fix-aarch64-va_list
September 19, 2024 12:49 7m 21s
Release CBMC 6.3.0 Publish CBMC documentation #1775: Commit e8610a5 pushed by tautschnig
September 19, 2024 08:37 7m 8s release-6.3.0
release-6.3.0
September 19, 2024 08:37 7m 8s
C library: fix use of va_list for AARCH64 Publish CBMC documentation #1774: Commit 40a3dbb pushed by tautschnig
September 18, 2024 10:51 7m 7s fix-8357-va_list
fix-8357-va_list
September 18, 2024 10:51 7m 7s
Contracts/DFCC: split conjunctions in loop invariants Publish CBMC documentation #1773: Commit eb5466d pushed by tautschnig
September 17, 2024 18:42 7m 14s loop-invariants-conjunction-splitting
loop-invariants-conjunction-splitting
September 17, 2024 18:42 7m 14s
Contracts: always remove spurious do {... } while(0) loops Publish CBMC documentation #1772: Commit d4afdd2 pushed by tautschnig
September 17, 2024 13:23 7m 58s contracts-remove-do-while-0
contracts-remove-do-while-0
September 17, 2024 13:23 7m 58s