[Kernel] Totally removes functions related to Visitor_behavior from Cil and adds a migration script
Showing
- bin/migration_scripts/potassium2calcium.sh 20 additions, 0 deletionsbin/migration_scripts/potassium2calcium.sh
- src/kernel_services/ast_queries/cil.ml 5 additions, 163 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 0 additions, 457 deletionssrc/kernel_services/ast_queries/cil.mli
Loading
Please register or sign in to comment