[Eva] use the new Deps module (1dac43ff) · Commits · pub / frama-c · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

1dac43ff

Commit 1dac43ff authored 1 year ago by Valentin Perrelle Committed by David Bühler 11 months ago

Downloads
- Patches
- Plain Diff

[Eva] use the new Deps module

parent f0963261

No related branches found

No related tags found

Loading

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/eva/domains/cvalue/builtins_memory.ml 3 additions, 5 deletions

src/plugins/eva/domains/cvalue/builtins_memory.ml
src/plugins/eva/domains/octagons.ml 3 additions, 9 deletions

src/plugins/eva/domains/octagons.ml
src/plugins/eva/legacy/logic_inout.ml 2 additions, 2 deletions

src/plugins/eva/legacy/logic_inout.ml
src/plugins/eva/utils/eva_utils.ml 3 additions, 17 deletions

src/plugins/eva/utils/eva_utils.ml
src/plugins/eva/utils/eva_utils.mli 2 additions, 8 deletions

src/plugins/eva/utils/eva_utils.mli

with 13 additions and 41 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment