"assets/git@git.frama-c.com:pub/pub.frama-c.com.git" did not exist on "9c7e0fbfb9a8269c427a68615ab82138422dde52"
[machdep] most macros from __fc_machdep covered by new machdep
some POSIX macros will get standard values by default and can be customized at runtime by user, though
Showing
- share/libc/limits.h 81 additions, 23 deletionsshare/libc/limits.h
- share/machdeps/Makefile 1 addition, 1 deletionshare/machdeps/Makefile
- share/machdeps/machdep-schema.yaml 48 additions, 0 deletionsshare/machdeps/machdep-schema.yaml
- share/machdeps/machdep_avr_16.yaml 8 additions, 0 deletionsshare/machdeps/machdep_avr_16.yaml
- share/machdeps/machdep_gcc_x86_16.yaml 8 additions, 0 deletionsshare/machdeps/machdep_gcc_x86_16.yaml
- share/machdeps/machdep_gcc_x86_32.yaml 8 additions, 0 deletionsshare/machdeps/machdep_gcc_x86_32.yaml
- share/machdeps/machdep_gcc_x86_64.yaml 8 additions, 0 deletionsshare/machdeps/machdep_gcc_x86_64.yaml
- share/machdeps/machdep_msvc_x86_64.yaml 11 additions, 0 deletionsshare/machdeps/machdep_msvc_x86_64.yaml
- share/machdeps/machdep_ppc_32.yaml 8 additions, 0 deletionsshare/machdeps/machdep_ppc_32.yaml
- share/machdeps/machdep_x86_16.yaml 8 additions, 0 deletionsshare/machdeps/machdep_x86_16.yaml
- share/machdeps/machdep_x86_32.yaml 8 additions, 0 deletionsshare/machdeps/machdep_x86_32.yaml
- share/machdeps/machdep_x86_64.yaml 8 additions, 0 deletionsshare/machdeps/machdep_x86_64.yaml
- share/machdeps/make_machdep/make_machdep.py 11 additions, 13 deletionsshare/machdeps/make_machdep/make_machdep.py
- share/machdeps/make_machdep/stdio_macros.c 8 additions, 0 deletionsshare/machdeps/make_machdep/stdio_macros.c
- share/machdeps/make_machdep/stdlib_macros.c 9 additions, 0 deletionsshare/machdeps/make_machdep/stdlib_macros.c
- src/kernel_internals/runtime/machdep.ml 8 additions, 10 deletionssrc/kernel_internals/runtime/machdep.ml
- src/kernel_services/ast_data/cil_types.ml 9 additions, 0 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_queries/cil_datatype.ml 8 additions, 0 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- tests/misc/custom_machdep.ml 8 additions, 0 deletionstests/misc/custom_machdep.ml
- tests/misc/custom_machdep.yaml 8 additions, 0 deletionstests/misc/custom_machdep.yaml
Loading
Please register or sign in to comment