Integrate build system for crab inferring sea.is_dereferenceable#102

Draft

LinerSu wants to merge 24 commits intoseahorn:masterfrom LinerSu:crab-exper

+954-170

Commits on Feb 16, 2024

feat(yaml): add yaml file for running seahorn with crab

LinerSu
authored and
Yusen Su
committed
feat(lib): add nd_xx function for clam

LinerSu
authored and
Yusen Su
committed
feat(cmake): modify cmake to allow crab infer sea.is_dereferenceable

LinerSu
authored and
Yusen Su
committed
feat(lib): add assumptions for string not empty and malloc cannot fail when uses crab

LinerSu
authored and
Yusen Su
committed
feat(jobs): adapt crab interpret predicate function

LinerSu
authored and
Yusen Su
committed
fix(py): update script to collect crab's results

LinerSu
authored and
Yusen Su
committed
fix(yaml): extend crab yaml by using sea_base.yaml

LinerSu
authored and
Yusen Su
committed
fix(py): update scripts to collect listing statistics

LinerSu
authored and
Yusen Su
committed
feat(py): introduce new statistic to collect crab running time

LinerSu
authored and
Yusen Su
committed
feat(crab): use macro to avoid crab infer 0 size allocation

LinerSu
authored and
Yusen Su
committed
feat(yaml): adapt yaml config with new sea-crab options

LinerSu
authored and
Yusen Su
committed
feat(crab): adpat malloc not fail for crab

LinerSu
authored and
Yusen Su
committed
feat(jobs): add hard work for crab

LinerSu
authored and
Yusen Su
committed
feat(crab): adpat assumption to no-disjunctive

LinerSu
authored and
Yusen Su
committed
feat(scripts): update scripts to collect statistics for seapp

LinerSu
authored and
Yusen Su
committed
test(clam): add configuration for clam

LinerSu
authored and
Yusen Su
committed
feat(jobs): add symbiotic to cover all workable unit proofs

LinerSu
authored and
Yusen Su
committed
feat(scripts): add symbiotic into experimental script

LinerSu
authored and
Yusen Su
committed
fix(py): update script to collect crab's results

LinerSu
authored and
Yusen Su
committed
test(clam): add configuration for clam

LinerSu
authored and
Yusen Su
committed

Commits on Feb 21, 2024

feat(jobs): add more crab settings
Yusen Su
committed

Commits on Mar 1, 2024

feat: config yamls and fix scripts
Yusen Su
committed
feat(stub): add missing stubs for new benchs
Yusen Su
committed

Commits on Sep 23, 2024

feat(submodule): add aws-c-libs into submodule
LinerSu
committed