Ocelaiwo/bidirectional klee#7

Draft

misonijnik wants to merge 45 commits intomisonijnik:mainfrom

UnitTestBot:ocelaiwo/bidirectional_klee

Commits on Jun 27, 2023

[fix] Evaluate only one branch corresponding to the evaluated condition
misonijnik
committed
[fix] Replace multiset with a set
misonijnik
committed
[fix] Fix tricky independence related bug: `ConcretizingSolver` should consider all the dependent symcretes and get the new concretization correctly
misonijnik
committed
[fix] Symbolic size needs to be evaluated
misonijnik
committed
[chore] A few minor fixes
misonijnik
committed
[fix] Separate code related to error guided mode
misonijnik
committed
[feat] Improve `SelectExpr` simplification [feat] Consider full symbolic equalities during simplification
misonijnik
committed
[fix] Rework resolution related functions
misonijnik
committed
[fix] Collect full assigment for logging `computeInitialValues`
misonijnik
committed
Factor out distance calculations for searchers in DistanceCalculator

Victor Samoilov
authored and
misonijnik
committed
[chore] Add an easy to use build script
misonijnik
committed
[chore] Add `options.json` file
misonijnik
committed

Commits on Jun 28, 2023

[feat] Add Cooddy report parser
misonijnik
committed

Commits on Jun 30, 2023

[feat] Target progress report

Columpio
authored and
misonijnik
committed
[fix] Fixed 0 weight for targets on the same frame

Columpio
authored and
misonijnik
committed
[test] Added report tests

Columpio
authored and
misonijnik
committed

Commits on Jul 3, 2023

[feat] Added targets to fork

Columpio
authored and
misonijnik
committed
[feat] Not calling solver if target is unreachable

Columpio
authored and
misonijnik
committed
[test] Added reach fork opt. test

Columpio
authored and
misonijnik
committed
[fix] Small fixes

Columpio
authored and
misonijnik
committed

Commits on Jul 5, 2023

Commits on Jul 16, 2023

Commits on Jul 17, 2023

Commits on Jul 21, 2023

save
ocelaiwo
committed