Skip to content

Actions: esbmc/esbmc-ai

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Increased version Development #147: Commit 6548a75 pushed by Yiannis128
February 3, 2024 15:21 1m 42s dynamic-prompt
dynamic-prompt
February 3, 2024 15:21 1m 42s
Added version info to title print Development #146: Commit 29f88e9 pushed by Yiannis128
February 3, 2024 15:17 1m 15s dynamic-prompt
dynamic-prompt
February 3, 2024 15:17 1m 15s
Removed verify code command Development #145: Commit a885fbb pushed by Yiannis128
February 3, 2024 15:09 1m 11s dynamic-prompt
dynamic-prompt
February 3, 2024 15:09 1m 11s
Add env error checking to see if keys are missing Development #144: Commit ca174ca pushed by Yiannis128
February 3, 2024 15:06 1m 18s dynamic-prompt
dynamic-prompt
February 3, 2024 15:06 1m 18s
Changed the module name from esbmc_ai_lib to esbmc Development #143: Commit fa85420 pushed by Yiannis128
February 3, 2024 14:50 1m 7s dynamic-prompt
dynamic-prompt
February 3, 2024 14:50 1m 7s
Updated regression tests Development #142: Commit 5ffabb4 pushed by Yiannis128
January 31, 2024 14:54 1m 6s dynamic-prompt
dynamic-prompt
January 31, 2024 14:54 1m 6s
Removed more references to OCM. Development #141: Commit 4c9e511 pushed by Yiannis128
January 31, 2024 14:52 1m 5s dynamic-prompt
dynamic-prompt
January 31, 2024 14:52 1m 5s
Added env vars and tilde expansion for esbmc_path config option. Development #140: Commit bed04a4 pushed by Yiannis128
January 31, 2024 14:29 1m 21s dynamic-prompt
dynamic-prompt
January 31, 2024 14:29 1m 21s
Added ESBMC_AI_CFG_PATH expansion in load env Development #139: Commit a2dcc23 pushed by Yiannis128
January 31, 2024 14:27 1m 8s dynamic-prompt
dynamic-prompt
January 31, 2024 14:27 1m 8s
Updated dotenv file loading to be way more flexible Development #138: Commit be12a29 pushed by Yiannis128
January 31, 2024 14:16 4m 58s env-upgrade
env-upgrade
January 31, 2024 14:16 4m 58s
Merge pull request #83 from Yiannis128/v0.3.1 Development #137: Commit b048ebd pushed by Yiannis128
January 31, 2024 13:44 5m 2s env-upgrade
env-upgrade
January 31, 2024 13:44 5m 2s
Update README Development #136: Commit 9fbc947 pushed by Yiannis128
January 31, 2024 13:24 1m 8s dynamic-prompt
dynamic-prompt
January 31, 2024 13:24 1m 8s
Update Development #135: Commit 66e5030 pushed by Yiannis128
January 27, 2024 15:59 2m 35s dynamic-prompt
dynamic-prompt
January 27, 2024 15:59 2m 35s
Update tests Development #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 Development #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. Development #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 Development #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: Development #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 Development #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 Development #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 Development #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 Development #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 Development #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: Development #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. Development #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