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

COnfig Tool: Begin JSON loading work, ENV optionally hides fields. Development #172: Commit 35ab87f pushed by Yiannis128
February 15, 2024 14:58 3m 11s config-tool
config-tool
February 15, 2024 14:58 3m 11s
Config Tool: ESBMC Manage can now download+install/uninstall ESBMC. Development #171: Commit ed28fba pushed by Yiannis128
February 13, 2024 00:07 1m 55s config-tool
config-tool
February 13, 2024 00:07 1m 55s
Updated config tool Development #170: Commit cdf99c4 pushed by Yiannis128
February 12, 2024 22:26 1m 52s config-tool
config-tool
February 12, 2024 22:26 1m 52s
Merge pull request #108 from Yiannis128/chat-response Development #169: Commit 7fdd13b pushed by Yiannis128
February 11, 2024 17:43 8m 45s master
master
February 11, 2024 17:43 8m 45s
Added Pipfile packages that were missing and updated regression tests Development #168: Commit 405aa41 pushed by Yiannis128
February 11, 2024 17:42 8m 20s chat-response
chat-response
February 11, 2024 17:42 8m 20s
Merge pull request #107 from Yiannis128/chat-response Development #167: Commit 3c3b315 pushed by Yiannis128
February 11, 2024 17:41 1m 20s chat-response
chat-response
February 11, 2024 17:41 1m 20s
Merge pull request #107 from Yiannis128/chat-response Development #166: Commit 3c3b315 pushed by Yiannis128
February 11, 2024 16:59 1m 11s master
master
February 11, 2024 16:59 1m 11s
Fixed base chat interface bug where tokens would be returned as alway… Development #165: Commit 9936457 pushed by Yiannis128
February 11, 2024 16:57 1m 9s chat-response
chat-response
February 11, 2024 16:57 1m 9s
Merge pull request #98 from Yiannis128/dynamic-prompt Development #164: Commit dd15533 pushed by Yiannis128
February 11, 2024 16:56 1m 9s chat-response
chat-response
February 11, 2024 16:56 1m 9s
Merge pull request #98 from Yiannis128/dynamic-prompt Development #163: Commit dd15533 pushed by Yiannis128
February 11, 2024 16:45 1m 15s master
master
February 11, 2024 16:45 1m 15s
Update Development #162: Commit 8d060b6 pushed by Yiannis128
February 11, 2024 16:37 1m 12s config-tool
config-tool
February 11, 2024 16:37 1m 12s
ESBMC-AI Config Tool initial commit Development #161: Commit fcf5168 pushed by Yiannis128
February 8, 2024 17:06 1m 14s config-tool
config-tool
February 8, 2024 17:06 1m 14s
Update pyproject Development #160: Commit 1710e10 pushed by Yiannis128
February 8, 2024 17:05 1m 18s config-tool
config-tool
February 8, 2024 17:05 1m 18s
Merge pull request #83 from Yiannis128/v0.3.1 Development #159: Commit b048ebd pushed by Yiannis128
February 8, 2024 17:05 6m 1s config-tool
config-tool
February 8, 2024 17:05 6m 1s
Update pyproject Development #158: Commit 1710e10 pushed by Yiannis128
February 8, 2024 17:04 1m 16s dynamic-prompt
dynamic-prompt
February 8, 2024 17:04 1m 16s
Added .pylintrc and increased version Development #157: Commit 4f426a2 pushed by Yiannis128
February 3, 2024 21:45 1m 11s dynamic-prompt
dynamic-prompt
February 3, 2024 21:45 1m 11s
Merge pull request #83 from Yiannis128/v0.3.1 Development #156: Commit b048ebd pushed by Yiannis128
February 3, 2024 21:41 3m 42s release
release
February 3, 2024 21:41 3m 42s
Update version Development #155: Commit 27fe350 pushed by Yiannis128
February 3, 2024 21:29 1m 12s dynamic-prompt
dynamic-prompt
February 3, 2024 21:29 1m 12s
Config path now undergoes tilde expansion and env var expansion. Development #154: Commit e6044fa pushed by Yiannis128
February 3, 2024 21:13 1m 14s dynamic-prompt
dynamic-prompt
February 3, 2024 21:13 1m 14s
Updated built executable name Development #153: Commit bb09c45 pushed by Yiannis128
February 3, 2024 18:27 1m 21s dynamic-prompt
dynamic-prompt
February 3, 2024 18:27 1m 21s
Removed obsolete code that checks for cfg_path in config. Development #152: Commit 1be8e39 pushed by Yiannis128
February 3, 2024 18:23 1m 37s dynamic-prompt
dynamic-prompt
February 3, 2024 18:23 1m 37s
Update README Development #151: Commit 318d605 pushed by Yiannis128
February 3, 2024 17:14 1m 8s dynamic-prompt
dynamic-prompt
February 3, 2024 17:14 1m 8s
Update version Development #150: Commit 6e0accc pushed by Yiannis128
February 3, 2024 17:09 1m 4s dynamic-prompt
dynamic-prompt
February 3, 2024 17:09 1m 4s
Update README.md Development #149: Commit 1b4c51e pushed by Yiannis128
February 3, 2024 17:08 1m 10s dynamic-prompt
dynamic-prompt
February 3, 2024 17:08 1m 10s
Update Development #148: Commit 535b1f9 pushed by Yiannis128
February 3, 2024 16:59 1m 2s dynamic-prompt
dynamic-prompt
February 3, 2024 16:59 1m 2s