Skip to content

[test] #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 120 commits into
base: main
Choose a base branch
from
Open

[test] #3

wants to merge 120 commits into from

Conversation

@S1eGa
Copy link
Owner

@S1eGa S1eGa commented Feb 27, 2024

No description provided.

Columpio and others added 30 commits February 27, 2024 13:27
@Columpio @S1eGa
[fix] Tests for states with mocks
457911c
@ladisgin @S1eGa
Memory optimize, remove InstructionInfoTable, add immutable list for …
743cfec 
…symbolics
@Columpio @S1eGa
[feat] uint128
35aad70
@Columpio @S1eGa
[chore] Optimized KBlock mem
23039dc
@misonijnik @S1eGa
[fix] Error testcase processing doesn't affect coveredNew
3c02329
@misonijnik @S1eGa
[fix] Fix computeValidity in partial response case
a7e217d
@misonijnik @S1eGa
[chore] Disable test
a967ee0
@misonijnik @S1eGa
[chore] Add a test
9502385
@misonijnik @S1eGa
[chore] Add an option to disable loop deletion pass
10d87a6
@misonijnik @S1eGa
[fix] Fix stats
9247847
@misonijnik @S1eGa
[feat] Differentiate isCoveredNew and isCoveredNewError
6871b04
@misonijnik @S1eGa
[chore] Z3 is not required in a lot of tests, so remove the requirements
8bad08f
@Columpio @S1eGa
[feat] Improved Iterative Deepening Searcher
bef97af
@S1eGa
[fix] Fixed inner types for unnamed structs.
87ff7c0
@misonijnik @S1eGa
[feat] Separate branch and block coverage
04fb6b5
@misonijnik @S1eGa
[chore] Update build.sh
e939f09
@misonijnik @S1eGa
[feat] Prefer a smaller integer vaule in a model
aede6e4
@Columpio @S1eGa
[chore] Optimized IterativeDeepeningSearcher
59fdf83
@Columpio @S1eGa
[chore] Optimized getDistance
a8d246a
@Columpio @S1eGa
[chore] Strip llvm.dbg.declare
5aa5eb8
@ocelaiwo @S1eGa
[fix] Compare exprs by height in simplifier
9e8bf64
@ocelaiwo @S1eGa
[feat] Uninitialized Memory [feat] Sizeless ObjectState
9706690 
[feat] STP and MetaSMT symsize array support
@misonijnik @S1eGa
[chore] Disable test
f635c8a
@misonijnik @S1eGa
[fix] Fix performance bugs
8cc4d4b
@dim8art @S1eGa
[fix] Change satisfies function in InvalidReponse
95c1595
@dim8art @S1eGa
Change CacheEntry to store constraints_ty
05ee674
@dim8art @S1eGa
Create AlphaEquvalenceSolver
4c09778
@Columpio @S1eGa
[fix] Propagation of without filter
aa108f2
@Columpio @S1eGa
[fix] Small fixes
4882bbf
@misonijnik @S1eGa
[fix] Generate test only for successful solution found
98df581
S1eGa and others added 20 commits February 27, 2024 13:27
@S1eGa
[refactor] Added ByteWidth type. Separated symbolicSizeConstantAddres…
f0fabeb 
…s factory method for instructions and global variables. Added consistency check in bitwuzla.
@misonijnik @S1eGa
[chore] Remove submodules
5724005
@misonijnik @S1eGa
[chore] Add json and optional into build.sh
d238275
@ocelaiwo @S1eGa
[chore] replace nonstd::optional with std::optional
4169629
@ocelaiwo @S1eGa
[fix] klee-test-comp.c: remove unused function that fails to compile
fd8a45b
@ocelaiwo @S1eGa
[feat] add entry point multiplex, remove interactive mode
23192d8
@misonijnik @S1eGa
[fix] Fix the template argument
36fb45c
@misonijnik @S1eGa
[fix] Add arm float constants
219233c
@misonijnik @S1eGa
[chore] Disable tests with uint128 type on not-x86_64 targets
8f9fb7e
@misonijnik @S1eGa
[fix] Disable test on darwin due to stack overflow
8451cc5
@misonijnik @S1eGa
[ci] Update .cirrus.yml
55f7438
@misonijnik @S1eGa
[fix] Use find -exec
cf5178a
@misonijnik @S1eGa
[fix] Initialize local variables
c6a4198
@misonijnik @S1eGa
[fix] Fix assertion fail
8d17abf
@ladisgin @S1eGa
Remove unnecessary field from the ImmutableList
cac9566
@ocelaiwo @S1eGa
[fix] fix bitwuzla build version fix
4fd12f0
@Lana243 @S1eGa
Add mocks:
79aedb6 
- Generation in two modes: naive and determinitic
- Mocks are reproducible
- Special mocks for allocators: malloc, calloc, realloc
@mamaria-k @S1eGa
Add annotations json parser
f6072e0
@ladisgin @S1eGa
Add annotations implementation:
a36439e 
 - Merge args for external calls
 - Add config example in config/annotations.json
@S1eGa
[chore] clang-format CI check replaced with pre-commit hook using cla…
edce929 
…ng-format.
@S1eGa S1eGa force-pushed the main branch 2 times, most recently from 62a5d5e to cace9fb Compare February 27, 2024 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

9 participants

@S1eGa @Columpio @ladisgin @misonijnik @ocelaiwo @dim8art @Lana243 @mamaria-k