[eacsl] Add a module to support libc specific code generation
Showing
- src/plugins/e-acsl/Makefile.in 1 addition, 0 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 2 additions, 0 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/src/code_generator/libc.ml 532 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/libc.ml
- src/plugins/e-acsl/src/code_generator/libc.mli 44 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/libc.mli
Loading
Please register or sign in to comment