Code

Config TUI Tool#106

Code

Closed

Yiannis128 wants to merge 19 commits intomasteresbmc/esbmc-ai:masterfrom config-toolesbmc/esbmc-ai:config-toolCopy head branch name to clipboard

+1,412

Commits

Commits on Feb 8, 2024

• ESBMC-AI Config Tool initial commit

  Yiannis128

  committed
  fcf5168

  Copy full SHA for fcf5168

Commits on Feb 11, 2024

• Update

  Yiannis128

  committed
  8d060b6

  Copy full SHA for 8d060b6

Commits on Feb 12, 2024

• Updated config tool

  Yiannis128

  committed
  cdf99c4

  Copy full SHA for cdf99c4

Commits on Feb 13, 2024

• Config Tool: Added ESBMC path constants

  Yiannis128

  committed
  4b0b5ae

  Copy full SHA for 4b0b5ae

• Config Tool: Changed ESBMC Manage to ESBMC Install menu

  Yiannis128

  committed
  4eb02b2

  Copy full SHA for 4eb02b2

• Config Tool: ESBMC Manage can now download+install/uninstall ESBMC.

  Yiannis128

  committed
  ed28fba

  Copy full SHA for ed28fba

Commits on Feb 15, 2024

• COnfig Tool: Begin JSON loading work, ENV optionally hides fields.

  Yiannis128

  committed
  35ab87f

  Copy full SHA for 35ab87f

• Merge branch 'master' into config-tool

  Yiannis128

  committed
  8778df9

  Copy full SHA for 8778df9

Commits on Feb 20, 2024

• Config Tool: Added AI Config Menu

  Yiannis128

  committed
  cf0d862

  Copy full SHA for cf0d862

• Config Tool: Added Comment for clarity

  Yiannis128

  committed
  6820a91

  Copy full SHA for 6820a91

• Config Tool: Changed event on_submit to be after dialog closes.

  Yiannis128

  committed
  f7c1e2f

  Copy full SHA for f7c1e2f

• Implemented the JSON Config Loader

  Yiannis128

  committed
  9f3296e

  Copy full SHA for 9f3296e

• Config Tool: ESBMC Menu - Implemented ESBMC Path

  Yiannis128

  committed
  a8dfa76

  Copy full SHA for a8dfa76

• Config Tool: Added refresh_ui method to context.

  Yiannis128

  committed
  75727d9

  Copy full SHA for 75727d9

• Update

  Yiannis128

  committed
  a1d8cb4

  Copy full SHA for a1d8cb4

• Update

  Yiannis128

  committed
  141c8fc

  Copy full SHA for 141c8fc

• Config Tool: Add initial choice to BaseMenu

  Yiannis128

  committed
  d0e9d95

  Copy full SHA for d0e9d95

• Config Tool: Added ListSelectDialog

  Yiannis128

  committed
  4c6bd07

  Copy full SHA for 4c6bd07

• Config Tool: AI Config Menu

  Yiannis128

  committed
  0059f4e

  Copy full SHA for 0059f4e