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

2d14f1e7

Commit 2d14f1e7 authored 6 years ago by Virgile Prevosto

Downloads
- Plain Diff

Merge branch 'feature/kernel/logic-inlining' into 'master'

[Kernel] Inlining of predicates and logic functions

Closes #438

See merge request frama-c/frama-c!1901

parents 09c9764a 16cd30f2

No related branches found

No related tags found

Loading

Changes 4

Hide whitespace changes

Inline Side-by-side

Showing

.Makefile.lint 0 additions, 1 deletion

.Makefile.lint
src/kernel_services/ast_transformations/inline.ml 198 additions, 5 deletions

src/kernel_services/ast_transformations/inline.ml
src/kernel_services/ast_transformations/inline.mli 17 additions, 1 deletion

src/kernel_services/ast_transformations/inline.mli
src/plugins/value/legacy/eval_terms.ml 7 additions, 186 deletions

src/plugins/value/legacy/eval_terms.ml

with 222 additions and 193 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