src/kernel_services/abstract_interp/int_set.ml · 43e1bd742740a24343acfa2a98a457e11e1edd3f · pub / frama-c · GitLab

Snippets Groups Projects

4 years ago
ff0b8e6d
[Ival] Improves the precision of bitwise operators on small sets. · ff0b8e6d
David Bühler authored 4 years ago
```
Applies the concrete operator on all possible pairs of integers.
This is maximally precise.
```
ff0b8e6d

History
[Ival] Improves the precision of bitwise operators on small sets.
David Bühler authored 4 years ago
```
Applies the concrete operator on all possible pairs of integers.
This is maximally precise.
```

int_set.ml 17.58 KiB