Skip to content

Actions: peterschrammel/cbmc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
27 workflow runs
27 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Replace --uncaught-exception-check-for-assertions-only option by --un… Publish CBMC documentation #115: Commit 46414f3 pushed by peterschrammel
November 22, 2023 23:08 27s sv-comp24-jbmc
sv-comp24-jbmc
November 22, 2023 23:08 27s
Bump jbmc/lib/java-models-library to sv-comp23 Publish CBMC documentation #114: Commit 1ab48b9 pushed by peterschrammel
November 22, 2023 15:29 3m 2s sv-comp23-jbmc
sv-comp23-jbmc
November 22, 2023 15:29 3m 2s
Fix building in GCC 13 Build Linux partially with CPROVER tools #7: Pull request #29 opened by FrNecas
November 21, 2023 13:07 3m 6s FrNecas:fnecas-svcomp-24
FrNecas:fnecas-svcomp-24
November 21, 2023 13:07 3m 6s
Add ASV book CBMC examples Publish CBMC documentation #113: Commit 9581036 pushed by peterschrammel
September 28, 2023 20:59 3m 43s book-examples
book-examples
September 28, 2023 20:59 3m 43s
Add ASV book CBMC examples Publish CBMC documentation #112: Commit 52988b3 pushed by peterschrammel
September 28, 2023 20:56 2m 48s book-examples
book-examples
September 28, 2023 20:56 2m 48s
Add ASV book CBMC examples Publish CBMC documentation #111: Commit 92b7843 pushed by peterschrammel
September 28, 2023 20:51 2m 54s book-examples
book-examples
September 28, 2023 20:51 2m 54s
Add ASV book CBMC examples Publish CBMC documentation #110: Commit 611612d pushed by peterschrammel
September 26, 2023 22:13 2m 36s book-examples
book-examples
September 26, 2023 22:13 2m 36s
Merge pull request #7912 from tautschnig/cleanup/test-platform-indep Publish CBMC documentation #109: Commit 45860b6 pushed by peterschrammel
September 26, 2023 20:59 4m 33s develop
develop
September 26, 2023 20:59 4m 33s
Merge pull request #7912 from tautschnig/cleanup/test-platform-indep Build and Test the Rust API #1: Commit 45860b6 pushed by peterschrammel
September 26, 2023 20:59 54m 35s develop
develop
September 26, 2023 20:59 54m 35s
Merge pull request #7912 from tautschnig/cleanup/test-platform-indep Build and Test CBMC #3: Commit 45860b6 pushed by peterschrammel
September 26, 2023 20:59 1h 44m 3s develop
develop
September 26, 2023 20:59 1h 44m 3s
Merge pull request #7912 from tautschnig/cleanup/test-platform-indep CodeQL #4: Commit 45860b6 pushed by peterschrammel
September 26, 2023 20:59 1h 12m 21s develop
develop
September 26, 2023 20:59 1h 12m 21s
Test for zero_initializer and expr_initializer Publish CBMC documentation #108: Commit e049de7 pushed by esteffin
July 31, 2023 23:59 3m 18s per-byte-initializer
per-byte-initializer
July 31, 2023 23:59 3m 18s
Test for zero_initializer and expr_initializer Publish CBMC documentation #107: Commit c5ef83d pushed by esteffin
July 31, 2023 16:58 4m 12s per-byte-initializer
per-byte-initializer
July 31, 2023 16:58 4m 12s
Test for zero_initializer and expr_initializer Publish CBMC documentation #106: Commit 2e6a7c6 pushed by esteffin
July 31, 2023 16:55 3m 27s per-byte-initializer
per-byte-initializer
July 31, 2023 16:55 3m 27s
Fix build on mac reducing flags on library_check.sh Publish CBMC documentation #105: Commit e9c41e9 pushed by esteffin
July 27, 2023 16:46 1m 58s shadow-memory-dup
shadow-memory-dup
July 27, 2023 16:46 1m 58s
--refine-arrays supports simplifier Publish CBMC documentation #104: Commit f2a1de1 pushed by peterschrammel
July 26, 2023 17:48 3m 9s ps/refine-arrays-with-simplifier
ps/refine-arrays-with-simplifier
July 26, 2023 17:48 3m 9s
Fix ENABLE_ARRAY_FIELD_SENSITIVITY Publish CBMC documentation #103: Commit 3381e08 pushed by peterschrammel
July 26, 2023 17:45 2m 41s ps/fix-array-sensitivity-switch
ps/fix-array-sensitivity-switch
July 26, 2023 17:45 2m 41s
Fix ENABLE_ARRAY_FIELD_SENSITIVITY Publish CBMC documentation #102: Commit 500f664 pushed by peterschrammel
July 26, 2023 17:33 2m 48s ps/fix-array-sensitivity-switch
ps/fix-array-sensitivity-switch
July 26, 2023 17:33 2m 48s
Publish CBMC documentation Publish CBMC documentation #101: by peterschrammel
July 26, 2023 17:28 2m 45s cbmc-5.88.1
cbmc-5.88.1
July 26, 2023 17:28 2m 45s
Create Release Create Release #21: by peterschrammel
July 26, 2023 17:28 36s cbmc-5.88.1
cbmc-5.88.1
July 26, 2023 17:28 36s
Added placeholders for missing tests Publish CBMC documentation #100: Commit c45da05 pushed by esteffin
July 18, 2023 18:57 2m 49s per-byte-initializer
per-byte-initializer
July 18, 2023 18:57 2m 49s
Added placeholders for missing tests Publish CBMC documentation #99: Commit 39fd090 pushed by esteffin
July 18, 2023 18:57 3m 19s per-byte-initializer
per-byte-initializer
July 18, 2023 18:57 3m 19s
Extend expr_initializer to support byte-wise initialization Publish CBMC documentation #98: Commit ac52ff6 pushed by esteffin
July 6, 2023 17:29 3m 4s per-byte-initializer
per-byte-initializer
July 6, 2023 17:29 3m 4s
Fixed removed and deprecated call Publish CBMC documentation #97: Commit addef03 pushed by esteffin
March 21, 2023 11:51 2m 47s shadow-memory-basic2
shadow-memory-basic2
March 21, 2023 11:51 2m 47s
Fixed removed and deprecated call Publish CBMC documentation #96: Commit 1921cff pushed by esteffin
March 6, 2023 17:29 3m 21s shadow-memory-basic2
shadow-memory-basic2
March 6, 2023 17:29 3m 21s