Project

General

Profile

« Previous | Next » 

Revision 4240dfcb

Added by LĂ©lio Brun 10 months ago

add basic support to protect against some ACSL keywords

View differences:

src/backends/C/c_backend_spec.mli
5 5
module MakefileMod : C_backend_makefile.MODIFIERS_MKF
6 6

  
7 7
module MainMod : C_backend_main.MODIFIERS_MAINSRC
8

  
9
val sanitize_machines: Machine_code_types.machine_t list -> Machine_code_types.machine_t list

Also available in: Unified diff