[Extlib] replace usage of obsolete functions opt_equal and opt_compare
Showing
- bin/migration_scripts/titanium2vanadium.sh 3 additions, 1 deletionbin/migration_scripts/titanium2vanadium.sh
- src/kernel_services/abstract_interp/base.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/base.ml
- src/kernel_services/ast_data/alarms.ml 4 additions, 4 deletionssrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_data/property.ml 2 additions, 2 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_queries/cil_datatype.ml 3 additions, 3 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/plugin_entry_points/db.ml 2 additions, 2 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/plugins/qed/term.ml 2 additions, 2 deletionssrc/plugins/qed/term.ml
- src/plugins/value/domains/gauges/gauges_domain.ml 3 additions, 3 deletionssrc/plugins/value/domains/gauges/gauges_domain.ml
- src/plugins/value/domains/traces_domain.ml 1 addition, 1 deletionsrc/plugins/value/domains/traces_domain.ml
- src/plugins/value/gui_files/gui_callstacks_manager.ml 1 addition, 1 deletionsrc/plugins/value/gui_files/gui_callstacks_manager.ml
- src/plugins/value/gui_files/gui_types.ml 2 additions, 2 deletionssrc/plugins/value/gui_files/gui_types.ml
- src/plugins/value/partitioning/partition.ml 1 addition, 1 deletionsrc/plugins/value/partitioning/partition.ml
- src/plugins/wp/CfgCompiler.ml 1 addition, 1 deletionsrc/plugins/wp/CfgCompiler.ml
Loading
Please register or sign in to comment