Code

Optimize Code Mode Patch 1#84

Code

Open

Yiannis128 wants to merge 26 commits intomasteresbmc/esbmc-ai:masterfrom ocm-patch-1esbmc/esbmc-ai:ocm-patch-1Copy head branch name to clipboard

+785-279

Commits

Commits on Sep 28, 2023

• Removed is_equivalent from AST Declarations

  Yiannis128

  committed
  72e60f1

• OCM command has more verbose error handing. Fixed bug with optimization code

  Yiannis128

  committed
  584a8cd

• Updated default system message for OCM to make it more accurate.

  Yiannis128

  committed
  b9c40fd

Commits on Oct 2, 2023

• Added is_pointer_type() to AST Decl

  Yiannis128

  committed
  fbbe44d

• C Types:

  Show description for 3b5bfcc
  Yiannis128

  committed
  3b5bfcc

• Added str_copy sample

  Yiannis128

  committed
  dc7657e

Commits on Oct 3, 2023

• Added LinkedList sample with pointers

  Yiannis128

  committed
  105ae66

• Update script

  Yiannis128

  committed
  147cc5d

• Added OCM config options:

  Show description for 2ae60bc
  Yiannis128

  committed
  2ae60bc

• AST _get_type_references_by_cursor: Use get_base_type

  Yiannis128

  committed
  6e8bb25

• C Types: Updated get_base_type to account for const, etc

  Yiannis128

  committed
  60c795e

• OCM Command Update: Refactored and improved code.

  Show description for 8eabea5
  Yiannis128

  committed
  8eabea5

• AST Decl Function Decleration:

  Show description for 67fdec6
  Yiannis128

  committed
  67fdec6

Commits on Oct 5, 2023

• Added terminal width command to handle OS errors

  Yiannis128

  committed
  6f6285c

• Changed default ESBMC params max depth for OCM to 50

  Yiannis128

  committed
  465977f

• Update .gitignore

  Yiannis128

  committed
  53b4cda

Commits on Oct 8, 2023

• Updated tests

  Yiannis128

  committed
  7741e54

Commits on Oct 10, 2023

• Downgrade pydantic to 1.10.13:

  Show description for 3db33c3
  Yiannis128

  committed
  3db33c3

• Update to recent versions

  Yiannis128

  committed
  96515ca

Commits on Oct 13, 2023

• Increment version number

  Yiannis128

  committed
  ef2575d

• Added arg support for run command. Also added better commands

  Yiannis128

  committed
  3150d74

• Added option "partial_equivalence_check" in config

  Yiannis128

  committed
  6d2d10c

Commits on Nov 10, 2023

• Fixed bug in loading widget

  Yiannis128

  committed
  bd38173

• Config and Fix Code Mode:

  Show description for 382216e
  Yiannis128

  committed
  382216e

• Changed config max attempts of fix code to 10

  Yiannis128

  committed
  7dfb585

• Main file:

  Show description for 1874275
  Yiannis128

  committed
  1874275