Code

Misonijnik/refactor#1

Code

Open

S1eGa wants to merge 48 commits intoutbot-mainS1eGa/klee:utbot-mainfrom misonijnik/refactorS1eGa/klee:misonijnik/refactorCopy head branch name to clipboard

+22,783-2,270

Commits

Commits on Nov 26, 2022

• [feat] Add pointer support in KTest

  ocelaiwo

  committed
  f94df87

• [chore] Update .gitignore

  ocelaiwo

  committed
  5b8035a

• [extra] Add constraint dumping

  ocelaiwo

  committed
  0b60746

• [refactor] Change test generation procedure

  ocelaiwo

  committed
  b2d9288

• [fix] Fix getRange in Solver

  ocelaiwo

  committed
  1f353e1

Commits on Feb 1, 2023

• [feat] Add lazy initialization

  

  ocelaiwo

  authored and

  misonijnik

  committed
  dfc5f9e

• [feat] Add GuidedSearcher

  

  ocelaiwo

  authored and

  misonijnik

  committed
  9fdd9e9

• [extra] Add state logging

  

  ocelaiwo

  authored and

  misonijnik

  committed
  2156d49

• [feat] Add Expr::toString

  misonijnik

  committed
  200818a

• [feat] Add finObjects

  misonijnik

  committed
  cbc2e66

• [feat] Separate compare and equals

  misonijnik

  committed
  abf5127

• [feat] Add API for validity cores

  misonijnik

  committed
  8f8ee2d

Commits on Feb 5, 2023

• [feat] Add read optimization

  misonijnik

  committed
  cb0e2dd

• [refactor] Add makeArray

  misonijnik

  committed
  9aecf98

• [feat] Add concretization manager and solver

  Show description for c5f5f21
  

  ocelaiwo

  authored and

  misonijnik

  committed
  c5f5f21

• Add conflict detector to simplifyExpr function

  

  dim8art

  authored and

  misonijnik

  committed
  1a2d57d

• Add HashConsing to expessions

  

  dim8art

  authored and

  misonijnik

  committed
  73b2088

• [test] Show elapsed wall time for each test

  misonijnik

  committed
  0fcb374

• [tempfix] Change address resolution predicate to its old ver

  Show description for 4c180a8
  

  ocelaiwo

  authored and

  misonijnik

  committed
  4c180a8

• Implemented classes for types in type system. Added handling TypeManager entity, that can create such these KType's.

  

  S1eGa

  authored and

  misonijnik

  committed
  6bcd3c1

• Integrated type system. ObjectStates own type of memory, that they hold, as type can be changed dynamically, e.g. during first write into malloc'ed memory.

  

  S1eGa

  authored and

  misonijnik

  committed
  9e7f292

• Added type system support for C and (partially) C++ languages.

  

  S1eGa

  authored and

  misonijnik

  committed
  8b89755

• Added tests.

  misonijnik

  committed
  6670807

• Fixed __ctype_b_loc type and removed fix for skipped objects.

  

  S1eGa

  authored and

  misonijnik

  committed
  9945abc

• Added constaints for pointers: for alignment and size of underlying objects. Fixed type creation for C++ types, fixed tests for types and added for alignment.

  

  S1eGa

  authored and

  misonijnik

  committed
  57bf059

• [fix] Consider all symbolic pointers during setInitializationGraph

  misonijnik

  committed
  be904e6

Commits on Feb 12, 2023

• WIP

  Show description for 91e2828
  S1eGa

  committed
  91e2828

• Bug fixes. Explicit logic choose for solver.

  S1eGa

  committed
  ee85923

• Add build script and github action

  

  sava-cska

  authored and

  S1eGa

  committed
  23cabdf

• KLEE floating-point support.

  Show description for 3272c11
  

  sava-cska

  authored and

  S1eGa

  committed
  3272c11

• [fix] KLEE floating-point support

  Show description for c28af33
  

  misonijnik

  authored and

  S1eGa

  committed
  c28af33

• Integrate sanitizer

  

  sava-cska

  authored and

  S1eGa

  committed
  42c216a

• Prepared KLEE for launching it with POSIX runtime. Added symbolic variable for stdin buffer size to ktests. Disabled tests for now broken klee-replay and klee-zesti (unused).

  

  ocelaiwo

  authored and

  S1eGa

  committed
  888c82d

• Add timeouts

  

  Saveliy Grigoryev

  authored and

  S1eGa

  committed
  882c2fb

• Added possibility of installing as a library and launching as a function

  

  Saveliy Grigoryev

  authored and

  S1eGa

  committed
  2ef2dcf

• Several fixes for utbot

  

  Saveliy Grigoryev

  authored and

  S1eGa

  committed
  2ac84b5

• Add interactive mode

  

  sava-cska

  authored and

  S1eGa

  committed
  1301313

• Add intrinsic replacement for 'sqrt'

  

  operasfantom

  authored and

  S1eGa

  committed
  f02b748

• Fix typo

  

  operasfantom

  authored and

  S1eGa

  committed
  a0c1551

• Add TimeoutPerTest for generation tests for project

  

  sava-cska

  authored and

  S1eGa

  committed
  fc3a3b0

• Add support stdin/stdout with interactive mode

  Show description for 6b344df
  

  sava-cska

  authored and

  S1eGa

  committed
  6b344df

• add constraint

  

  mishok2503

  authored and

  S1eGa

  committed
  5b37cdb

• Inline asm external call

  Show description for c14b7e7
  

  mishok2503

  authored and

  S1eGa

  committed
  c14b7e7

• [fix] Fix iterator dereferencing over last block in a function

  

  misonijnik

  authored and

  S1eGa

  committed
  8ce5d92

• Add support fopen and add counter of read/write bytes in files

  

  sava-cska

  authored and

  S1eGa

  committed
  b6f044c

• [feat] Add check instruction coverage

  Show description for aa84667
  

  misonijnik

  authored and

  S1eGa

  committed
  aa84667

• [tempfix] Write addresses of MOs in KTest

  

  ocelaiwo

  authored and

  S1eGa

  committed
  f0abdbc

Commits on Feb 14, 2023

• Attempted to add probe to choose theory.

  S1eGa

  committed
  f7a4733