8000 Commits · LinerSu/crab · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Sep 21, 2023

fix(ci): run ci on dev branch
caballa
committed

Commits on Sep 16, 2023

Commits on Sep 15, 2023

fix(bool-domain): propagation in assume(not b)
caballa
committed

Commits on Jul 23, 2023

feat(cfg): return mutable reference to statement
caballa
committed

Commits on Jul 14, 2023

ci: run in Release mode avoiding run out of disk
caballa
committed

Commits on Jul 9, 2023

reverted commit
caballa
committed

Commits on Jun 28, 2023

Commits on Jun 24, 2023

fix(fixpo): init tables before run fixpoint
caballa
committed

Commits on Jun 23, 2023

fix(apron): remove --no-cxx flag when building apron
caballa
committed

Commits on Jun 2, 2023

Commits on May 12, 2023

fix: linear_constraint is always signed
caballa
committed

Commits on Apr 24, 2023

fix(checker): propagate invariant if contradiction
caballa
committed

Commits on Apr 2, 2023

fix(domains): bail out if bottom
caballa
committed

Commits on Mar 11, 2023

chore(elina): remove compiler warnings
caballa
committed

Commits on Feb 9, 2023

refactor(apron/elina): allow mix of types in intervals
caballa
committed

Commits on Jan 21, 2023

Commits on Dec 31, 2022

Commits on Dec 28, 2022

refactor(region-domain): removed unused option
caballa
committed

0