Merge branch 'feature/martin/kernel/use-result-when-parsing-floats' into 'master'
[kernel] Parsing float return a result type, new parse_exn function See merge request frama-c/frama-c!4935
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/libraries/floating_point/typed_float.ml 16 additions, 11 deletionssrc/libraries/floating_point/typed_float.ml
- src/libraries/floating_point/typed_float.mli 9 additions, 4 deletionssrc/libraries/floating_point/typed_float.mli
- src/plugins/aorai/aorai_utils.ml 1 addition, 1 deletionsrc/plugins/aorai/aorai_utils.ml
- src/plugins/eva/values/cvalue_forward.ml 1 addition, 1 deletionsrc/plugins/eva/values/cvalue_forward.ml
Loading
Please register or sign in to comment