Skip to content

Actions: esbmc/esbmc-ai

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

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
Increment version Checking #109: Commit 30a4cfd pushed by Yiannis128
September 5, 2023 16:44 6m 29s master
master
September 5, 2023 16:44 6m 29s
Increment version Checking #108: Commit 30a4cfd pushed by Yiannis128
September 5, 2023 16:42 8m 3s optimize-code
optimize-code
September 5, 2023 16:42 8m 3s
Added ast decl tests Checking #107: Commit 429b585 pushed by Yiannis128
September 5, 2023 16:42 6m 14s optimize-code
optimize-code
September 5, 2023 16:42 6m 14s
Optimize code command remove main function from default list Checking #106: Commit 43cc5ea pushed by Yiannis128
September 4, 2023 11:18 4m 23s optimize-code
optimize-code
September 4, 2023 11:18 4m 23s
Updated Solution code, now optimize code uses fixed code too Checking #105: Commit 1bfd5bb pushed by Yiannis128
September 4, 2023 10:41 4m 26s optimize-code
optimize-code
September 4, 2023 10:41 4m 26s
Commented out verify code Checking #104: Commit a68419d pushed by Yiannis128
September 4, 2023 10:22 5m 40s optimize-code
optimize-code
September 4, 2023 10:22 5m 40s
Added loading of optimize code argument for ESBMC Checking #103: Commit 209f857 pushed by Yiannis128
September 4, 2023 10:18 4m 43s optimize-code
optimize-code
September 4, 2023 10:18 4m 43s
Added AST tests Checking #102: Commit 31188a3 pushed by Yiannis128
August 31, 2023 19:27 4m 22s optimize-code
optimize-code
August 31, 2023 19:27 4m 22s