Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 27, 2025

• Merge pull request #159 from esbmc/improvements

  Show description for 37697d9
  Yiannis128

  authored
  37697d9

  Copy full SHA for 37697d9

• ESBMC added trace method

  Yiannis128

  committed
  c617d9d

  Copy full SHA for c617d9d

• Fix code command update

  Yiannis128

  committed
  f908a31

  Copy full SHA for f908a31

• Fixed failing test cases

  Yiannis128

  committed
  1d2719e

  Copy full SHA for 1d2719e

• Removed unessessary imports and fixed dummy verifier

  Yiannis128

  committed
  7fe688c

  Copy full SHA for 7fe688c

• Verifiers now accept solutions and added a trace method. Verifier output is in a different file too

  Yiannis128

  committed
  8ad213f

  Copy full SHA for 8ad213f

• Updated solution to simplify it

  Yiannis128

  committed
  f20f2df

  Copy full SHA for f20f2df

• Loading widget now has a main entry point

  Yiannis128

  committed
  fcc17ac

  Copy full SHA for fcc17ac

• Added caching of models from OpenAI services

  Yiannis128

  committed
  6f69842

  Copy full SHA for 6f69842

• Removed the optimize code launch option

  Yiannis128

  committed
  b1ece75

  Copy full SHA for b1ece75

• add_last_unsafe.c sample fixed

  Yiannis128

  committed
  36da975

  Copy full SHA for 36da975

• Added clock sample source code

  Yiannis128

  committed
  4432012

  Copy full SHA for 4432012

Commits on Jan 4, 2025

• Fixed addon loader formatting

  Yiannis128

  committed
  71db675

  Copy full SHA for 71db675

• Added space after the running command text

  Yiannis128

  committed
  e4ee088

  Copy full SHA for e4ee088

Commits on Jan 1, 2025

• Merge pull request #157 from esbmc/config-improvement

  Show description for 9fb9757
  Yiannis128

  authored
  9fb9757

  Copy full SHA for 9fb9757

Commits on Dec 31, 2024

• Modularized ESBMC-AI further:

  Show description for 1ba264c
  Yiannis128

  committed
  1ba264c

  Copy full SHA for 1ba264c

Commits on Dec 9, 2024

• Fixed config loading bug in addon loader and added get_config_value to ChatCommand

  Yiannis128

  committed
  2919e6e

  Copy full SHA for 2919e6e

• Update comment

  Yiannis128

  committed
  181cc58

  Copy full SHA for 181cc58

• Merge pull request #156 from esbmc/addon-verifier

  Show description for a2725bf
  Yiannis128

  authored
  a2725bf

  Copy full SHA for a2725bf

• Updated printing

  Yiannis128

  committed
  5778aed

  Copy full SHA for 5778aed

Commits on Dec 7, 2024

• Updated broken tests

  Yiannis128

  committed
  832d72d

  Copy full SHA for 832d72d

• Added better config and addon support

  Yiannis128

  committed
  04c78b8

  Copy full SHA for 04c78b8

• Updated default config

  Yiannis128

  committed
  bd9e957

  Copy full SHA for bd9e957

• Updated launch.json params

  Yiannis128

  committed
  dd4e638

  Copy full SHA for dd4e638

• Added langchain deps

  Yiannis128

  committed
  42ed90d

  Copy full SHA for 42ed90d

Commits on Nov 18, 2024

• Add dummy verifier class for tests

  Yiannis128

  committed
  df2774c

  Copy full SHA for df2774c

Commits on Nov 13, 2024

• Merge remote-tracking branch 'origin/master' into addon-verifier

  Yiannis128

  committed
  b576679

  Copy full SHA for b576679

• Update license

  Yiannis128

  committed
  3c7e6b6

  Copy full SHA for 3c7e6b6

• Update

  Yiannis128

  committed
  0dcac28

  Copy full SHA for 0dcac28

Commits on Nov 8, 2024

• Workflow fixed test with decimal

  Yiannis128

  committed
  2a1c639

  Copy full SHA for 2a1c639

• Updated pylint workflow to fail only with scores under 9.0

  Yiannis128

  committed
  1cd0aa3

  Copy full SHA for 1cd0aa3

• Updated workflow

  Show description for 27d3d15
  Yiannis128

  committed
  27d3d15

  Copy full SHA for 27d3d15

Commits on Nov 7, 2024

• Switch to typing_extensions

  Yiannis128

  committed
  c1c45c9

  Copy full SHA for c1c45c9

• Pylint fixes

  Yiannis128

  committed
  99ff802

  Copy full SHA for 99ff802

• Transitioned ESBMCUtil to be modular and use BaseSourceVerifier

  Yiannis128

  committed
  2214c3b

  Copy full SHA for 2214c3b

Pagination

Previous

Next