[kernel] Move mach out of Cil_types
Showing
- src/kernel_internals/runtime/machdep.ml 253 additions, 3 deletionssrc/kernel_internals/runtime/machdep.ml
- src/kernel_internals/runtime/machdep.mli 99 additions, 7 deletionssrc/kernel_internals/runtime/machdep.mli
- src/kernel_services/ast_data/cil_types.ml 0 additions, 85 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_data/machine.ml 4 additions, 4 deletionssrc/kernel_services/ast_data/machine.ml
- src/kernel_services/ast_data/machine.mli 11 additions, 11 deletionssrc/kernel_services/ast_data/machine.mli
- src/kernel_services/ast_printing/cil_types_debug.ml 0 additions, 42 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/cil_types_debug.mli 0 additions, 1 deletionsrc/kernel_services/ast_printing/cil_types_debug.mli
- src/kernel_services/ast_queries/cil.ml 2 additions, 5 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_datatype.ml 0 additions, 82 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/cil_datatype.mli 0 additions, 7 deletionssrc/kernel_services/ast_queries/cil_datatype.mli
- src/kernel_services/ast_queries/file.ml 2 additions, 3 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/file.mli 1 addition, 1 deletionsrc/kernel_services/ast_queries/file.mli
- tests/syntax/machdep_char_unsigned.ml 0 additions, 73 deletionstests/syntax/machdep_char_unsigned.ml
Loading
Please register or sign in to comment