Skip to content

Actions: esbmc/esbmc-ai

Actions

Checking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update tests Checking #134: Commit e64c04e pushed by Yiannis128
January 27, 2024 15:58 1m 5s dynamic-prompt
dynamic-prompt
January 27, 2024 15:58 1m 5s
Update Checking #133: Commit 8dc6b25 pushed by Yiannis128
January 19, 2024 14:02 1m 14s dynamic-prompt
dynamic-prompt
January 19, 2024 14:02 1m 14s
AIModels: Changed some type annotations for list parameter to Iterables. Checking #132: Commit 5cae3eb pushed by Yiannis128
January 19, 2024 11:25 3m 24s dynamic-prompt
dynamic-prompt
January 19, 2024 11:25 3m 24s
Merge pull request #83 from Yiannis128/v0.3.1 Checking #131: Commit b048ebd pushed by Yiannis128
January 16, 2024 17:19 4m 43s dynamic-prompt
dynamic-prompt
January 16, 2024 17:19 4m 43s
Main file: Checking #130: Commit 1874275 pushed by Yiannis128
November 10, 2023 15:40 10m 26s ocm-patch-1
ocm-patch-1
November 10, 2023 15:40 10m 26s
Added option "partial_equivalence_check" in config Checking #129: Commit 6d2d10c pushed by Yiannis128
October 13, 2023 14:56 4m 54s ocm-patch-1
ocm-patch-1
October 13, 2023 14:56 4m 54s
Added arg support for run command. Also added better commands Checking #128: Commit 3150d74 pushed by Yiannis128
October 13, 2023 14:44 4m 5s ocm-patch-1
ocm-patch-1
October 13, 2023 14:44 4m 5s
Update to recent versions Checking #127: Commit 96515ca pushed by Yiannis128
October 10, 2023 14:19 4m 57s ocm-patch-1
ocm-patch-1
October 10, 2023 14:19 4m 57s
Updated tests Checking #126: Commit 7741e54 pushed by Yiannis128
October 8, 2023 22:18 4m 34s ocm-patch-1
ocm-patch-1
October 8, 2023 22:18 4m 34s
Update .gitignore Checking #125: Commit 53b4cda pushed by Yiannis128
October 5, 2023 12:33 4m 10s ocm-patch-1
ocm-patch-1
October 5, 2023 12:33 4m 10s
AST Decl Function Decleration: Checking #124: Commit 67fdec6 pushed by Yiannis128
October 3, 2023 23:53 3m 44s ocm-patch-1
ocm-patch-1
October 3, 2023 23:53 3m 44s
OCM Command Update: Refactored and improved code. Checking #123: Commit 8eabea5 pushed by Yiannis128
October 3, 2023 17:08 3m 49s ocm-patch-1
ocm-patch-1
October 3, 2023 17:08 3m 49s
Added str_copy sample Checking #122: Commit dc7657e pushed by Yiannis128
October 2, 2023 01:25 4m 52s ocm-patch-1
ocm-patch-1
October 2, 2023 01:25 4m 52s
C Types: Checking #121: Commit 3b5bfcc pushed by Yiannis128
October 2, 2023 01:25 4m 35s ocm-patch-1
ocm-patch-1
October 2, 2023 01:25 4m 35s
Updated default system message for OCM to make it more accurate. Checking #120: Commit b9c40fd pushed by Yiannis128
September 28, 2023 17:26 4m 15s ocm-patch-1
ocm-patch-1
September 28, 2023 17:26 4m 15s
OCM command has more verbose error handing. Fixed bug with optimizati… Checking #119: Commit 584a8cd pushed by Yiannis128
September 28, 2023 17:22 3m 46s ocm-patch-1
ocm-patch-1
September 28, 2023 17:22 3m 46s
Merge pull request #83 from Yiannis128/v0.3.1 Checking #118: Commit b048ebd pushed by Yiannis128
September 28, 2023 17:19 3m 52s ocm-patch-1
ocm-patch-1
September 28, 2023 17:19 3m 52s
Merge pull request #83 from Yiannis128/v0.3.1 Checking #117: Commit b048ebd pushed by Yiannis128
September 26, 2023 23:04 4m 14s palm
palm
September 26, 2023 23:04 4m 14s
Merge pull request #83 from Yiannis128/v0.3.1 Checking #116: Commit b048ebd pushed by Yiannis128
September 26, 2023 23:02 3m 53s v0.3.1
v0.3.1
September 26, 2023 23:02 3m 53s
Merge pull request #83 from Yiannis128/v0.3.1 Checking #115: Commit b048ebd pushed by Yiannis128
September 26, 2023 22:59 4m 24s master
master
September 26, 2023 22:59 4m 24s
ESBMC-AI can now be used with VERIFICATION SUCCESSFUL samples Checking #114: Commit 97e815b pushed by Yiannis128
September 26, 2023 22:57 4m 35s v0.3.1
v0.3.1
September 26, 2023 22:57 4m 35s
Added loading_hints config value that allows hiding of loading anim Checking #113: Commit 910ecd6 pushed by Yiannis128
September 26, 2023 15:23 3m 44s v0.3.1
v0.3.1
September 26, 2023 15:23 3m 44s
Added loading_hints config value that allows hiding of loading anim Checking #112: Commit 910ecd6 pushed by Yiannis128
September 14, 2023 15:16 3m 50s v3.0.1
v3.0.1
September 14, 2023 15:16 3m 50s
Increment version Checking #111: Commit 30a4cfd pushed by Yiannis128
September 14, 2023 14:43 3m 40s v3.0.1
v3.0.1
September 14, 2023 14:43 3m 40s
Increment version Checking #110: Commit 30a4cfd pushed by Yiannis128
September 5, 2023 16:46 4m 47s v0.3.0
v0.3.0
September 5, 2023 16:46 4m 47s