Skip to content

No labels!

There aren’t any labels for this repository quite yet.

boxes
boxes
Boxes domain
CrabIR
CrabIR
Related to CrabIR
domains
domains
Related to abstract domains
duplicate
duplicate
enhancement
enhancement
fixed
fixed
fixpoint
fixpoint
Related to fixpoint algorithms
help wanted
help wanted
inter
inter
Related to interprocedural analysis
invalid
invalid
new feature
new feature
question
question
refactoring
refactoring
Some code refactoring is needed
tests
tests
Related to tests