Skip to content
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

Object domain #60

Open
wants to merge 35 commits into
base: dev
Choose a base branch
from
Open

Object domain #60

Changes from 1 commit
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
4f956fd
feat: add new abstract operations for calls [ci skip]
caballa Jan 13, 2023
06ea736
feat(domains): added implementation of decoupled domains
gretadolcetti Feb 17, 2023
e5927e4
fix(test): enable inter operations for apron/elina
caballa Apr 4, 2023
a3a721f
perf(varname): avoid calls to + and copies with std::string
caballa Apr 6, 2023
82fb84b
chore: added comments
caballa Apr 6, 2023
b5f62da
perf(domains): use of stats
caballa Apr 14, 2023
ea29513
chore: remove use of std::strlen
caballa Apr 14, 2023
4f1d7ec
chore: rename domain name
caballa Apr 14, 2023
38348a5
perf: avoid unnecessary copies
caballa Apr 18, 2023
93f3356
feat(small-range): add missing api for kind ExactlyOne (#56)
LinerSu Apr 18, 2023
92dfc60
perf(fixpoint): more move magic to reduce copies
caballa Apr 20, 2023
c618526
fix(apron): silent warning in to_disjunctive_linear_system
caballa Jun 2, 2023
d871224
perf: use T&& instead of const T&&
caballa Jun 5, 2023
bf6d7b0
fix: missing header file
caballa Jun 6, 2023
2b4daf9
fix(domains): macro CRAB_DOMAIN_SCOPED_STATS
caballa Jun 8, 2023
7414f75
refactor(fixpo): minor design improvements
caballa Jun 19, 2023
b8be261
chore(analysis): split files
caballa Jun 19, 2023
8b96a3c
perf(domains): avoid useless reductions
caballa Jun 20, 2023
57826e1
refactor(cfg): switch cfg simplify to non-recursive version
caballa Jun 22, 2023
ff8d7cb
chore(domain): pretty printing
caballa Jun 23, 2023
5e36fed
chore(domains): remove compiler warnings
caballa Jun 26, 2023
6576b5b
chore(test): remove compiler warning
caballa Jun 28, 2023
053f789
chore: remove return move(...) to allow RVO
caballa Jun 28, 2023
6ca7e8a
fix(apron_domain): adapt to new pplite 0.11 api
caballa Jun 28, 2023
6ee2c37
chore: big cleanup in bottom_up_inter_analyzer
caballa Jul 14, 2023
355cc73
perf: return const& in get_pre/get_post/get_summary
caballa Jul 14, 2023
dac73f7
fix(wto): add const&
caballa Jul 14, 2023
f24db97
tests: adapt expected format
caballa Sep 16, 2023
0c2fb25
fix(test): instantiate only if APRON/PPLITE enabled
caballa Sep 19, 2023
40c5a28
feat(domain): a new abstract domain for inferring equalities
LinerSu Sep 21, 2023
1b3ea0f
feat(object-domain): add a new map like abstract domain to keep
LinerSu Sep 21, 2023
b52597f
feat(domain): add a new abstract domain to infer object's properties
LinerSu Sep 21, 2023
403ab26
test(object): add unit tests for object domain
LinerSu Sep 21, 2023
e6d21aa
test(symb-var-eq): add unit tests for symbolic variable equality domain
LinerSu Sep 21, 2023
9177d8f
feat(params): add object domain parameters
LinerSu Sep 21, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
chore(domain): pretty printing
  • Loading branch information
@caballa
caballa committed Sep 18, 2023
commit ff8d7cb610ab9e843eb7f9c4a275e3742b244107
6 changes: 4 additions & 2 deletions include/crab/domains/value_partitioning_domain.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -957,7 +957,8 @@ class value_partitioning_domain final
o << m_partitions[i].get_dom();
++i;
if (i < sz) {
o << ", ";
//o << ", ";
o << "\n";
}
}
o << "}";
Expand Down Expand Up @@ -2148,7 +2149,8 @@ class product_value_partitioning_domain final
o << m_product[i];
++i;
if (i < sz) {
o << ", ";
//o << ", ";
o << "\n";
}
}
o << ")";
Expand Down