Merge branch 'feature/michele/783' into 'master'
[Stdlib] Remove FCBuffer and FCSet Closes #793 See merge request frama-c/frama-c!2522
Showing
- .Makefile.lint 0 additions, 4 deletions.Makefile.lint
- Makefile 0 additions, 2 deletionsMakefile
- headers/header_spec.txt 0 additions, 6 deletionsheaders/header_spec.txt
- src/kernel_services/abstract_interp/abstract_interp.ml 2 additions, 2 deletionssrc/kernel_services/abstract_interp/abstract_interp.ml
- src/kernel_services/abstract_interp/abstract_interp.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/abstract_interp.mli
- src/kernel_services/abstract_interp/float_sig.mli 1 addition, 3 deletionssrc/kernel_services/abstract_interp/float_sig.mli
- src/kernel_services/abstract_interp/int_set.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/int_set.ml
- src/kernel_services/abstract_interp/lattice_type.mli 3 additions, 3 deletionssrc/kernel_services/abstract_interp/lattice_type.mli
- src/kernel_services/ast_queries/logic_typing.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_typing.ml
- src/libraries/datatype/datatype.ml 8 additions, 3 deletionssrc/libraries/datatype/datatype.ml
- src/libraries/datatype/datatype.mli 4 additions, 2 deletionssrc/libraries/datatype/datatype.mli
- src/libraries/stdlib/FCBuffer.ml 0 additions, 255 deletionssrc/libraries/stdlib/FCBuffer.ml
- src/libraries/stdlib/FCBuffer.mli 0 additions, 180 deletionssrc/libraries/stdlib/FCBuffer.mli
- src/libraries/stdlib/FCHashtbl.ml 1 addition, 1 deletionsrc/libraries/stdlib/FCHashtbl.ml
- src/libraries/stdlib/FCSet.ml 0 additions, 473 deletionssrc/libraries/stdlib/FCSet.ml
- src/libraries/stdlib/FCSet.mli 0 additions, 202 deletionssrc/libraries/stdlib/FCSet.mli
- src/libraries/stdlib/transitioning.ml.in 1 addition, 0 deletionssrc/libraries/stdlib/transitioning.ml.in
- src/libraries/stdlib/transitioning.mli 1 addition, 0 deletionssrc/libraries/stdlib/transitioning.mli
- src/libraries/utils/hptset.ml 35 additions, 1 deletionsrc/libraries/utils/hptset.ml
- src/libraries/utils/hptset.mli 32 additions, 4 deletionssrc/libraries/utils/hptset.mli
Loading
Please register or sign in to comment