Persistent object state#11

Draft

misonijnik wants to merge 103 commits intomisonijnik:mainfrom

UnitTestBot:persistent_object_state

Commits on Sep 14, 2023

Add DisjointSetUnion

dim8art
authored and
misonijnik
committed
Rework IndependentSolver using persistent DSU

dim8art
authored and
misonijnik
committed
Reworking ConcretizingSolver

dim8art
authored and
misonijnik
committed
Add persistency to Assignment

dim8art
authored and
misonijnik
committed
Rework solver chain + small refactoring changes

dim8art
authored and
misonijnik
committed

Commits on Sep 15, 2023

[fix] Solvers performance fixes

Columpio
authored and
misonijnik
committed
[feat] Z3 Tree incremental solver

Columpio
authored and
misonijnik
committed

Commits on Sep 19, 2023

Created shadow copy of errno in 32bit space to work with 32bit programs.

S1eGa
authored and
misonijnik
committed
Added building of uClibc for 32 and 64-bit archs.

S1eGa
authored and
misonijnik
committed

Commits on Sep 23, 2023

Commits on Sep 26, 2023

[fix] Incremental DT with no frames

Columpio
authored and
misonijnik
committed

Commits on Oct 3, 2023

[fix] Tests for states with mocks

Columpio
authored and
misonijnik
committed

Commits on Oct 4, 2023

Memory optimize, remove InstructionInfoTable, add immutable list for symbolics

ladisgin
authored and
misonijnik
committed

Commits on Oct 5, 2023

[feat] uint128

Columpio
authored and
misonijnik
committed
[chore] Optimized KBlock mem

Columpio
authored and
misonijnik
committed

Commits on Oct 7, 2023

Commits on Oct 12, 2023

[feat] Improved Iterative Deepening Searcher

Columpio
authored and
misonijnik
committed

Commits on Oct 15, 2023

[fix] Fixed inner types for unnamed structs.

S1eGa
authored and
misonijnik
committed

Commits on Oct 17, 2023

Commits on Oct 21, 2023

[chore] Optimized IterativeDeepeningSearcher

Columpio
authored and
misonijnik
committed
[chore] Optimized getDistance

Columpio
authored and
misonijnik
committed
[chore] Strip llvm.dbg.declare

Columpio
authored and
misonijnik
committed
[fix] Compare exprs by height in simplifier

ocelaiwo
authored and
misonijnik
committed
[feat] Uninitialized Memory [feat] Sizeless ObjectState

ocelaiwo
authored and
misonijnik
committed
[chore] Disable test
misonijnik
committed

Commits on Oct 22, 2023

[fix] Fix performance bugs
misonijnik
committed

Commits on Oct 23, 2023

[fix] Change satisfies function in InvalidReponse

dim8art
authored and
misonijnik
committed
Change CacheEntry to store constraints_ty

dim8art
authored and
misonijnik
committed
Create AlphaEquvalenceSolver

dim8art
authored and
misonijnik
committed

Commits on Oct 24, 2023

[fix] Propagation of without filter

Columpio
authored and
misonijnik
committed
[fix] Small fixes

Columpio
authored and
misonijnik
committed
[fix] Generate test only for successful solution found
misonijnik
committed

Commits on Oct 25, 2023

Commits on Oct 27, 2023

Commits on Oct 30, 2023

[chore] Update version and `README.md`
misonijnik
committed

Commits on Nov 1, 2023

[fix] Improved call remover

Columpio
authored and
misonijnik
committed

Commits on Nov 7, 2023

[fix] klee-test-comp.c

Columpio
authored and
misonijnik
committed
[feat] Single-file run script

Columpio
authored and
misonijnik
committed
[chore] Updated README

Columpio
authored and
misonijnik
committed

Commits on Nov 10, 2023