[test]#3

Open

S1eGa wants to merge 120 commits intomainfrom

test-feature

Commits on Feb 27, 2024

[fix] Tests for states with mocks

Columpio
authored and
S1eGa
committed
Memory optimize, remove InstructionInfoTable, add immutable list for symbolics

ladisgin
authored and
S1eGa
committed
[feat] uint128

Columpio
authored and
S1eGa
committed
[chore] Optimized KBlock mem

Columpio
authored and
S1eGa
committed
[fix] Error testcase processing doesn't affect `coveredNew`

misonijnik
authored and
S1eGa
committed
[fix] Fix `computeValidity` in partial response case

misonijnik
authored and
S1eGa
committed
[chore] Disable test

misonijnik
authored and
S1eGa
committed
[chore] Add a test

misonijnik
authored and
S1eGa
committed
[chore] Add an option to disable loop deletion pass

misonijnik
authored and
S1eGa
committed
[fix] Fix stats

misonijnik
authored and
S1eGa
committed
[feat] Differentiate `isCoveredNew` and `isCoveredNewError`

misonijnik
authored and
S1eGa
committed
[chore] Z3 is not required in a lot of tests, so remove the requirements

misonijnik
authored and
S1eGa
committed
[feat] Improved Iterative Deepening Searcher

Columpio
authored and
S1eGa
committed
[fix] Fixed inner types for unnamed structs.
S1eGa
committed
[feat] Separate branch and block coverage

misonijnik
authored and
S1eGa
committed
[chore] Update build.sh

misonijnik
authored and
S1eGa
committed
[feat] Prefer a smaller integer vaule in a model

misonijnik
authored and
S1eGa
committed
[chore] Optimized IterativeDeepeningSearcher

Columpio
authored and
S1eGa
committed
[chore] Optimized getDistance

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

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

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

ocelaiwo
authored and
S1eGa
committed
[chore] Disable test

misonijnik
authored and
S1eGa
committed
[fix] Fix performance bugs

misonijnik
authored and
S1eGa
committed
[fix] Change satisfies function in InvalidReponse

dim8art
authored and
S1eGa
committed
Change CacheEntry to store constraints_ty

dim8art
authored and
S1eGa
committed
Create AlphaEquvalenceSolver

dim8art
authored and
S1eGa
committed
[fix] Propagation of without filter

Columpio
authored and
S1eGa
committed
[fix] Small fixes

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

misonijnik
authored and
S1eGa
committed
[chore] Deal with compiler warnings

Columpio
authored and
S1eGa
committed
[feat] Cover on the fly based on time

Columpio
authored and
S1eGa
committed
[fix] rewriting ordering for terms with equal height

Columpio
authored and
S1eGa
committed
[fix] Update test

misonijnik
authored and
S1eGa
committed
[feat] Removed unwanted calls pass

Columpio
authored and
S1eGa
committed
[fix] Filter objects and values in `changeVersion`

misonijnik
authored and
S1eGa
committed
[fix] Clean memory operations

misonijnik
authored and
S1eGa
committed
[fix] Fix `AlphaEquivalenceSolver`

misonijnik
authored and
S1eGa
committed
[fix] Halt when LLVM passes already proved unreachability

Columpio
authored and
S1eGa
committed
[chore] Update version and `README.md`

misonijnik
authored and
S1eGa
committed
[fix] Improved call remover

Columpio
authored and
S1eGa
committed
[feat] Add `OptimizeAggressive` option

misonijnik
authored and
S1eGa
committed
[feat] Getting the performance/memory consumption balance in `DisjointSetUnion`

misonijnik
authored and
S1eGa
committed
[fix] Fix performance for unbalanced expressions

misonijnik
authored and
S1eGa
committed
[refactor] Separate `isStuck` and `isCycled`, `isStuck` is smarter now

misonijnik
authored and
S1eGa
committed
[fix] Limit the cexPreferences size

misonijnik
authored and
S1eGa
committed
[fix] Remove unused field

misonijnik
authored and
S1eGa
committed
[fix] Fix memory consumption

misonijnik
authored and
S1eGa
committed
[feat] Enable `coverOnTheFly` after approaching memory cup

misonijnik
authored and
S1eGa
committed
[style]

misonijnik
authored and
S1eGa
committed
[fix] Consider all not empty and not fully covered functions

misonijnik
authored and
S1eGa
committed
[fix] Fix perfomance bug

misonijnik
authored and
S1eGa
committed
[fix] Fix `isStuck`

misonijnik
authored and
S1eGa
committed
[fix] klee-test-comp.c

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

Columpio
authored and
S1eGa
committed
[chore] Updated README

Columpio
authored and
S1eGa
committed
[feat] Improve coverage branches tests

misonijnik
authored and
S1eGa
committed
[fix] `CexCachingSolver`

misonijnik
authored and
S1eGa
committed
[fix] Slightly improve performance

misonijnik
authored and
S1eGa
committed
[fix] `AlphaEquivalenceSolver`

misonijnik
authored and
S1eGa
committed
[feat] Add `X86FPAsX87FP80`

misonijnik
authored and
S1eGa
committed
[chore] Update `scripts/kleef`

misonijnik
authored and
S1eGa
committed
[chore] Disable `libc++` tests on msan run because they time out on CI

misonijnik
authored and
S1eGa
committed
[fix] Must consider the whole concretization

misonijnik
authored and
S1eGa
committed
[chore] Update `kleef` script

misonijnik
authored and
S1eGa
committed
[chore] Update tests

misonijnik
authored and
S1eGa
committed
[fix] `MemoryTriggerCoverOnTheFly`

misonijnik
authored and
S1eGa
committed
[chore] Update `kleef`

misonijnik
authored and
S1eGa
committed
[fix] Optimized free-standing functions are broken

misonijnik
authored and
S1eGa
committed
[chore] Update `kleef` script

misonijnik
authored and
S1eGa
committed
[fix] Address may be symbolic but unique, try resolve firstly

misonijnik
authored and
S1eGa
committed
[fix] Put in order `fp-runtime` functions

misonijnik
authored and
S1eGa
committed
[fix] Bring calls to `SparseStorage` constructor up to date

misonijnik
authored and
S1eGa
committed
[feat] Added Bitwuzla solver in list of available solvers. Added scripts for building bitwuzla from scripts.
S1eGa
committed
typo

dim8art
authored and
S1eGa
committed
Add lazy calculation of constraint dsu

dim8art
authored and
S1eGa
committed
[chore] Update `GuidedSearcher::selectState`

misonijnik
authored and
S1eGa
committed
[fix] Convert all x86FP to x87FP80 in `FPToX87FP80Ext`

misonijnik
authored and
S1eGa
committed
[fix] Restore `newSize` in case `newSize > maxSize`

misonijnik
authored and
S1eGa
committed
[chore] `ExprEitherSymcrete` ->`ExprOrSymcrete`

misonijnik
authored and
S1eGa
committed
[fix] `AlphaBuilder`

misonijnik
authored and
S1eGa
committed
[fix] `CexCachingSolver`

misonijnik
authored and
S1eGa
committed
[fix] SparseStorage::print

ocelaiwo
authored and
S1eGa
committed
[fix] `sizeOfSetRange`

misonijnik
authored and
S1eGa
committed
[fix] Disable `AlignSymbolicPointers` by default

misonijnik
authored and
S1eGa
committed
[chore] Install meson locally

misonijnik
authored and
S1eGa
committed
[fix] Preserve `floatReplacements`

misonijnik
authored and
S1eGa
committed
[feat] Add new memory usage checks

ocelaiwo
authored and
S1eGa
committed
[chore] Update options default values

misonijnik
authored and
S1eGa
committed
[fix] Continue searching for the error if the state is not reproducible

misonijnik
authored and
S1eGa
committed
[feat] Added flag to dump all states if function specified in function-call-reproduce has not been reached.
S1eGa
committed
[chore] Update tests

misonijnik
authored and
S1eGa
committed
[chore] Update `build.sh`

misonijnik
authored and
S1eGa
committed
[chore] Update `kleef`

misonijnik
authored and
S1eGa
committed
[chore] Update `differential-shellcheck.yml`

misonijnik
authored and
S1eGa
committed
[feat] Introduces KValue --- base class for all KLEEs wrappers around llvm::* structures (KInstruction, KConstant, etc.)
S1eGa
committed
[refactor] The KValue was stripped of public constructor and made abstract.
S1eGa
committed
[refactor] KBlock made abstract, reduntant VALUE constant from KValueKind enum.
S1eGa
committed
[refactor] Added ByteWidth type. Separated symbolicSizeConstantAddress factory method for instructions and global variables. Added consistency check in bitwuzla.
S1eGa
committed
[chore] Remove submodules

misonijnik
authored and
S1eGa
committed
[chore] Add `json` and `optional` into `build.sh`

misonijnik
authored and
S1eGa
committed
[chore] replace nonstd::optional with std::optional

ocelaiwo
authored and
S1eGa
committed
[fix] klee-test-comp.c: remove unused function that fails to compile

ocelaiwo
authored and
S1eGa
committed
[feat] add entry point multiplex, remove interactive mode

ocelaiwo
authored and
S1eGa
committed
[fix] Fix the template argument

misonijnik
authored and
S1eGa
committed
[fix] Add arm float constants

misonijnik
authored and
S1eGa
committed
[chore] Disable tests with uint128 type on not-x86_64 targets

misonijnik
authored and
S1eGa
committed
[fix] Disable test on darwin due to stack overflow

misonijnik
authored and
S1eGa
committed
[ci] Update `.cirrus.yml`

misonijnik
authored and
S1eGa
committed
[fix] Use `find -exec`

misonijnik
authored and
S1eGa
committed
[fix] Initialize local variables

misonijnik
authored and
S1eGa
committed
[fix] Fix assertion fail

misonijnik
authored and
S1eGa
committed
Remove unnecessary field from the ImmutableList

ladisgin
authored and
S1eGa
committed
[fix] fix bitwuzla build version fix

ocelaiwo
authored and
S1eGa
committed
Add mocks:

Lana243
authored and
S1eGa
committed
Add annotations json parser

mamaria-k
authored and
S1eGa
committed
Add annotations implementation:

ladisgin
authored and
S1eGa
committed
[chore] clang-format CI check replaced with pre-commit hook using clang-format.
S1eGa
committed
[chore, git] make entire pipeline dependent on the result of the clang-format check.
S1eGa
committed
[test]
S1eGa
committed