# filelist

dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/parsers/util
filetypes: ffffffff
filenames:
  cost_parser.cpp/cost_parser.h/pattern_validation.cpp/pattern_validation.h/scanner.cpp/scanner.h/simple_parser.cpp/simple_parser.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/bv
filetypes: ffffffffffffffffffffff
filenames:
  bit_blaster_model_converter.cpp/bit_blaster_model_converter.h/bit_blaster_tactic.cpp/bit_blaster_tactic.h/bv1_blaster_tactic.cpp/bv1_blaster_tactic.h/bv_bound_chk_tactic.cpp/bv_bound_chk_tactic.h/bv_bounds_tactic.cpp/bv_bounds_tactic.h/bv_size_reduction_tactic.cpp/bv_size_reduction_tactic.h/bvarray2uf_rewriter.cpp/bvarray2uf_rewriter.h/bvarray2uf_tactic.cpp/bvarray2uf_tactic.h/dt2bv_tactic.cpp/dt2bv_tactic.h/elim_small_bv_tactic.cpp/elim_small_bv_tactic.h/max_bv_sharing_tactic.cpp/max_bv_sharing_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/math/subpaving
filetypes: fffffffffffffffd
filenames:
  subpaving.cpp/subpaving.h/subpaving_hwf.cpp/subpaving_hwf.h/subpaving_mpf.cpp/subpaving_mpf.h/subpaving_mpff.cpp/subpaving_mpff.h/subpaving_mpfx.cpp/subpaving_mpfx.h/subpaving_mpq.cpp/subpaving_mpq.h/subpaving_t.h/subpaving_t_def.h/subpaving_types.h/tactic


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/qe
filetypes: ddfffffffffffffffffffff
filenames:
  lite/mbp/nlarith_util.cpp/nlarith_util.h/nlqsat.cpp/nlqsat.h/qe.cpp/qe.h/qe_arith_plugin.cpp/qe_array_plugin.cpp/qe_bool_plugin.cpp/qe_bv_plugin.cpp/qe_cmd.cpp/qe_datatype_plugin.cpp/qe_dl_plugin.cpp/qe_mbi.cpp/qe_mbi.h/qe_mbp.cpp/qe_mbp.h/qe_tactic.cpp/qe_tactic.h/qsat.cpp/qsat.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/math/simplex
filetypes: ffffffffff
filenames:
  bit_matrix.cpp/bit_matrix.h/model_based_opt.cpp/model_based_opt.h/simplex.cpp/simplex.h/simplex_def.h/sparse_matrix.h/sparse_matrix_def.h/sparse_matrix_ops.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/ufbv
filetypes: ffffffffff
filenames:
  macro_finder_tactic.cpp/macro_finder_tactic.h/quasi_macros_tactic.cpp/quasi_macros_tactic.h/ufbv_rewriter.cpp/ufbv_rewriter.h/ufbv_rewriter_tactic.cpp/ufbv_rewriter_tactic.h/ufbv_tactic.cpp/ufbv_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/smt/params
filetypes: fffffffffffffffffffff
filenames:
  dyn_ack_params.cpp/dyn_ack_params.h/preprocessor_params.cpp/preprocessor_params.h/qi_params.cpp/qi_params.h/smt_params.cpp/smt_params.h/theory_arith_params.cpp/theory_arith_params.h/theory_array_params.cpp/theory_array_params.h/theory_bv_params.cpp/theory_bv_params.h/theory_datatype_params.h/theory_pb_params.cpp/theory_pb_params.h/theory_seq_params.cpp/theory_seq_params.h/theory_str_params.cpp/theory_str_params.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/qe/mbp
filetypes: ffffffffffff
filenames:
  mbp_arith.cpp/mbp_arith.h/mbp_arrays.cpp/mbp_arrays.h/mbp_datatypes.cpp/mbp_datatypes.h/mbp_plugin.cpp/mbp_plugin.h/mbp_solve_plugin.cpp/mbp_solve_plugin.h/mbp_term_graph.cpp/mbp_term_graph.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/solver
filetypes: dfffffffffffffffffffffff
filenames:
  assertions/check_logic.cpp/check_logic.h/check_sat_result.cpp/check_sat_result.h/combined_solver.cpp/combined_solver.h/mus.cpp/mus.h/parallel_tactic.cpp/parallel_tactic.h/progress_callback.h/smt_logics.cpp/smt_logics.h/solver.cpp/solver.h/solver2tactic.cpp/solver2tactic.h/solver_na2as.cpp/solver_na2as.h/solver_pool.cpp/solver_pool.h/tactic2solver.cpp/tactic2solver.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ackermannization
filetypes: ffffffffffffffff
filenames:
  ackermannize_bv_model_converter.cpp/ackermannize_bv_model_converter.h/ackermannize_bv_tactic.cpp/ackermannize_bv_tactic.h/ackr_bound_probe.cpp/ackr_bound_probe.h/ackr_helper.cpp/ackr_helper.h/ackr_info.h/ackr_model_converter.cpp/ackr_model_converter.h/lackr.cpp/lackr.h/lackr_model_constructor.cpp/lackr_model_constructor.h/lackr_model_converter_lazy.cpp


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/fd_solver
filetypes: ffffffffff
filenames:
  bounded_int2bv_solver.cpp/bounded_int2bv_solver.h/enum2bv_solver.cpp/enum2bv_solver.h/fd_solver.cpp/fd_solver.h/pb2bv_solver.cpp/pb2bv_solver.h/smtfd_solver.cpp/smtfd_solver.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/muz/base
filetypes: fffffffffffffffffffffff
filenames:
  bind_variables.cpp/bind_variables.h/dl_boogie_proof.cpp/dl_boogie_proof.h/dl_context.cpp/dl_context.h/dl_costs.cpp/dl_costs.h/dl_engine_base.h/dl_rule.cpp/dl_rule.h/dl_rule_set.cpp/dl_rule_set.h/dl_rule_subsumption_index.cpp/dl_rule_subsumption_index.h/dl_rule_transformer.cpp/dl_rule_transformer.h/dl_util.cpp/dl_util.h/hnf.cpp/hnf.h/rule_properties.cpp/rule_properties.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/muz/rel
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aig_exporter.cpp/aig_exporter.h/check_relation.cpp/check_relation.h/dl_base.cpp/dl_base.h/dl_bound_relation.cpp/dl_bound_relation.h/dl_check_table.cpp/dl_check_table.h/dl_compiler.cpp/dl_compiler.h/dl_external_relation.cpp/dl_external_relation.h/dl_finite_product_relation.cpp/dl_finite_product_relation.h/dl_instruction.cpp/dl_instruction.h/dl_interval_relation.cpp/dl_interval_relation.h/dl_lazy_table.cpp/dl_lazy_table.h/dl_mk_explanations.cpp/dl_mk_explanations.h/dl_mk_similarity_compressor.cpp/dl_mk_similarity_compressor.h/dl_mk_simple_joins.cpp/dl_mk_simple_joins.h/dl_product_relation.cpp/dl_product_relation.h/dl_relation_manager.cpp/dl_relation_manager.h/dl_sieve_relation.cpp/dl_sieve_relation.h/dl_sparse_table.cpp/dl_sparse_table.h/dl_table.cpp/dl_table.h/dl_table_relation.cpp/dl_table_relation.h/dl_vector_relation.h/doc.cpp/doc.h/karr_relation.cpp/karr_relation.h/rel_context.cpp/rel_context.h/udoc_relation.cpp/udoc_relation.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/nlsat/tactic
filetypes: ffffff
filenames:
  goal2nlsat.cpp/goal2nlsat.h/nlsat_tactic.cpp/nlsat_tactic.h/qfnra_nlsat_tactic.cpp/qfnra_nlsat_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/core
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  blast_term_ite_tactic.cpp/blast_term_ite_tactic.h/cofactor_elim_term_ite.cpp/cofactor_elim_term_ite.h/cofactor_term_ite_tactic.cpp/cofactor_term_ite_tactic.h/collect_occs.cpp/collect_occs.h/collect_statistics_tactic.cpp/collect_statistics_tactic.h/ctx_simplify_tactic.cpp/ctx_simplify_tactic.h/der_tactic.cpp/der_tactic.h/distribute_forall_tactic.cpp/distribute_forall_tactic.h/dom_simplify_tactic.cpp/dom_simplify_tactic.h/elim_term_ite_tactic.cpp/elim_term_ite_tactic.h/elim_uncnstr_tactic.cpp/elim_uncnstr_tactic.h/injectivity_tactic.cpp/injectivity_tactic.h/nnf_tactic.cpp/nnf_tactic.h/occf_tactic.cpp/occf_tactic.h/pb_preprocess_tactic.cpp/pb_preprocess_tactic.h/propagate_values_tactic.cpp/propagate_values_tactic.h/reduce_args_tactic.cpp/reduce_args_tactic.h/reduce_invertible_tactic.cpp/reduce_invertible_tactic.h/simplify_tactic.cpp/simplify_tactic.h/solve_eqs_tactic.cpp/solve_eqs_tactic.h/special_relations_tactic.cpp/special_relations_tactic.h/split_clause_tactic.cpp/split_clause_tactic.h/symmetry_reduce_tactic.cpp/symmetry_reduce_tactic.h/tseitin_cnf_tactic.cpp/tseitin_cnf_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/redhat-linux-build/src/params
filetypes: fffffffffff
filenames:
  arith_rewriter_params.hpp/array_rewriter_params.hpp/bool_rewriter_params.hpp/bv_rewriter_params.hpp/fpa2bv_rewriter_params.hpp/fpa_rewriter_params.hpp/pattern_inference_params_helper.hpp/poly_rewriter_params.hpp/rewriter_params.hpp/seq_rewriter_params.hpp/solver_params.hpp


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/api
filetypes: ffffffffffffffffffffffffffffffffffffffffddffffffffffff
filenames:
  api_algebraic.cpp/api_arith.cpp/api_array.cpp/api_ast.cpp/api_ast_map.cpp/api_ast_map.h/api_ast_vector.cpp/api_ast_vector.h/api_bv.cpp/api_config_params.cpp/api_context.cpp/api_context.h/api_datalog.cpp/api_datalog.h/api_datatype.cpp/api_fpa.cpp/api_goal.cpp/api_goal.h/api_log.cpp/api_model.cpp/api_model.h/api_numeral.cpp/api_opt.cpp/api_params.cpp/api_parsers.cpp/api_pb.cpp/api_polynomial.cpp/api_polynomial.h/api_qe.cpp/api_quant.cpp/api_rcf.cpp/api_seq.cpp/api_solver.cpp/api_solver.h/api_special_relations.cpp/api_stats.cpp/api_stats.h/api_tactic.cpp/api_tactic.h/api_util.h/dll/ml/z3_algebraic.h/z3_api.h/z3_ast_containers.h/z3_fixedpoint.h/z3_fpa.h/z3_logger.h/z3_optimization.h/z3_polynomial.h/z3_rcf.h/z3_replayer.cpp/z3_replayer.h/z3_spacer.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ast/rewriter/bit_blaster
filetypes: ffffff
filenames:
  bit_blaster.cpp/bit_blaster.h/bit_blaster_rewriter.cpp/bit_blaster_rewriter.h/bit_blaster_tpl.h/bit_blaster_tpl_def.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src
filetypes: dddddddddddddddddd
filenames:
  ackermannization/api/ast/cmd_context/math/model/muz/nlsat/opt/params/parsers/qe/sat/shell/smt/solver/tactic/util


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ast/macros
filetypes: fffffffffff
filenames:
  cond_macro.h/macro_finder.cpp/macro_finder.h/macro_manager.cpp/macro_manager.h/macro_util.cpp/macro_util.h/quantifier_macro_info.cpp/quantifier_macro_info.h/quasi_macros.cpp/quasi_macros.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ast/normal_forms
filetypes: ffffffffff
filenames:
  defined_names.cpp/defined_names.h/elim_term_ite.cpp/elim_term_ite.h/name_exprs.cpp/name_exprs.h/nnf.cpp/nnf.h/pull_quant.cpp/pull_quant.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/model
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  array_factory.cpp/array_factory.h/char_factory.h/datatype_factory.cpp/datatype_factory.h/fpa_factory.h/func_interp.cpp/func_interp.h/model.cpp/model.h/model2expr.cpp/model2expr.h/model_core.cpp/model_core.h/model_evaluator.cpp/model_evaluator.h/model_implicant.cpp/model_implicant.h/model_macro_solver.cpp/model_macro_solver.h/model_pp.cpp/model_pp.h/model_smt2_pp.cpp/model_smt2_pp.h/model_v2_pp.cpp/model_v2_pp.h/numeral_factory.cpp/numeral_factory.h/seq_factory.h/struct_factory.cpp/struct_factory.h/value_factory.cpp/value_factory.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/math/polynomial
filetypes: fffffffffffffffff
filenames:
  algebraic_numbers.cpp/algebraic_numbers.h/linear_eq_solver.h/polynomial.cpp/polynomial.h/polynomial_cache.cpp/polynomial_cache.h/polynomial_primes.h/rpolynomial.cpp/rpolynomial.h/sexpr2upolynomial.cpp/sexpr2upolynomial.h/upolynomial.cpp/upolynomial.h/upolynomial_factorization.cpp/upolynomial_factorization.h/upolynomial_factorization_int.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic
filetypes: dddfdffffddffffffffffffffdffffffddfffffdf
filenames:
  aig/arith/bv/converter.h/core/dependency_converter.cpp/dependency_converter.h/equiv_proof_converter.cpp/equiv_proof_converter.h/fd_solver/fpa/generic_model_converter.cpp/generic_model_converter.h/goal.cpp/goal.h/goal_num_occurs.cpp/goal_num_occurs.h/goal_shared_occs.cpp/goal_shared_occs.h/goal_util.cpp/goal_util.h/horn_subsume_model_converter.cpp/horn_subsume_model_converter.h/model_converter.cpp/model_converter.h/portfolio/probe.cpp/probe.h/proof_converter.cpp/proof_converter.h/replace_proof_converter.cpp/replace_proof_converter.h/sls/smtlogics/tactic.cpp/tactic.h/tactic_exception.h/tactical.cpp/tactical.h/ufbv/user_propagator_base.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ast/rewriter
filetypes: ffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_rewriter.cpp/arith_rewriter.h/array_rewriter.cpp/array_rewriter.h/ast_counter.cpp/ast_counter.h/bit2int.cpp/bit2int.h/bit_blaster/bool_rewriter.cpp/bool_rewriter.h/bv_bounds.cpp/bv_bounds.h/bv_elim.cpp/bv_elim.h/bv_rewriter.cpp/bv_rewriter.h/cached_var_subst.cpp/cached_var_subst.h/char_rewriter.cpp/char_rewriter.h/datatype_rewriter.cpp/datatype_rewriter.h/der.cpp/der.h/distribute_forall.cpp/distribute_forall.h/dl_rewriter.cpp/dl_rewriter.h/elim_bounds.cpp/elim_bounds.h/enum2bv_rewriter.cpp/enum2bv_rewriter.h/expr_replacer.cpp/expr_replacer.h/expr_safe_replace.cpp/expr_safe_replace.h/factor_equivs.cpp/factor_equivs.h/factor_rewriter.cpp/factor_rewriter.h/fpa_rewriter.cpp/fpa_rewriter.h/func_decl_replace.cpp/func_decl_replace.h/hoist_rewriter.cpp/hoist_rewriter.h/inj_axiom.cpp/inj_axiom.h/label_rewriter.cpp/label_rewriter.h/maximize_ac_sharing.cpp/maximize_ac_sharing.h/mk_extract_proc.cpp/mk_extract_proc.h/mk_simplified_app.cpp/mk_simplified_app.h/pb2bv_rewriter.cpp/pb2bv_rewriter.h/pb_rewriter.cpp/pb_rewriter.h/pb_rewriter_def.h/poly_rewriter.h/poly_rewriter_def.h/push_app_ite.cpp/push_app_ite.h/quant_hoist.cpp/quant_hoist.h/recfun_replace.h/recfun_rewriter.cpp/recfun_rewriter.h/rewriter.cpp/rewriter.h/rewriter_def.h/rewriter_types.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_eq_solver.h/seq_rewriter.cpp/seq_rewriter.h/seq_skolem.cpp/seq_skolem.h/th_rewriter.cpp/th_rewriter.h/value_sweep.cpp/value_sweep.h/var_subst.cpp/var_subst.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/shell
filetypes: fffffffffffffff
filenames:
  datalog_frontend.cpp/datalog_frontend.h/dimacs_frontend.cpp/dimacs_frontend.h/drat_frontend.cpp/drat_frontend.h/lp_frontend.cpp/lp_frontend.h/main.cpp/opt_frontend.cpp/opt_frontend.h/smtlib_frontend.cpp/smtlib_frontend.h/z3_log_frontend.cpp/z3_log_frontend.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/arith
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  add_bounds_tactic.cpp/add_bounds_tactic.h/arith_bounds_tactic.cpp/arith_bounds_tactic.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bv2int_rewriter.cpp/bv2int_rewriter.h/bv2real_rewriter.cpp/bv2real_rewriter.h/card2bv_tactic.cpp/card2bv_tactic.h/degree_shift_tactic.cpp/degree_shift_tactic.h/diff_neq_tactic.cpp/diff_neq_tactic.h/eq2bv_tactic.cpp/eq2bv_tactic.h/factor_tactic.cpp/factor_tactic.h/fix_dl_var_tactic.cpp/fix_dl_var_tactic.h/fm_tactic.cpp/fm_tactic.h/lia2card_tactic.cpp/lia2card_tactic.h/lia2pb_tactic.cpp/lia2pb_tactic.h/linear_equation.cpp/linear_equation.h/nla2bv_tactic.cpp/nla2bv_tactic.h/normalize_bounds_tactic.cpp/normalize_bounds_tactic.h/pb2bv_model_converter.cpp/pb2bv_model_converter.h/pb2bv_tactic.cpp/pb2bv_tactic.h/probe_arith.cpp/probe_arith.h/propagate_ineqs_tactic.cpp/propagate_ineqs_tactic.h/purify_arith_tactic.cpp/purify_arith_tactic.h/recover_01_tactic.cpp/recover_01_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/portfolio
filetypes: ffffff
filenames:
  default_tactic.cpp/default_tactic.h/smt_strategic_solver.cpp/solver2lookahead.cpp/solver_subsumption_tactic.cpp/solver_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/smt
filenames:
  arith_eq_adapter.cpp/arith_eq_adapter.h/arith_eq_solver.cpp/arith_eq_solver.h/diff_logic.h/dyn_ack.cpp/dyn_ack.h/expr_context_simplifier.cpp/expr_context_simplifier.h/fingerprints.cpp/fingerprints.h/mam.cpp/mam.h/old_interval.cpp/old_interval.h/params/proto_model/qi_queue.cpp/qi_queue.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_ne_solver.cpp/seq_offset_eq.cpp/seq_offset_eq.h/seq_regex.cpp/seq_regex.h/smt2_extra_cmds.cpp/smt2_extra_cmds.h/smt_almost_cg_table.cpp/smt_almost_cg_table.h/smt_arith_value.cpp/smt_arith_value.h/smt_b_justification.h/smt_bool_var_data.h/smt_case_split_queue.cpp/smt_case_split_queue.h/smt_cg_table.cpp/smt_cg_table.h/smt_checker.cpp/smt_checker.h/smt_clause.cpp/smt_clause.h/smt_clause_proof.cpp/smt_clause_proof.h/smt_conflict_resolution.cpp/smt_conflict_resolution.h/smt_consequences.cpp/smt_context.cpp/smt_context.h/smt_context_inv.cpp/smt_context_pp.cpp/smt_context_stat.cpp/smt_enode.cpp/smt_enode.h/smt_eq_justification.h/smt_failure.h/smt_farkas_util.cpp/smt_farkas_util.h/smt_for_each_relevant_expr.cpp/smt_for_each_relevant_expr.h/smt_implied_equalities.cpp/smt_implied_equalities.h/smt_internalizer.cpp/smt_justification.cpp/smt_justification.h/smt_kernel.cpp/smt_kernel.h/smt_literal.cpp/smt_literal.h/smt_lookahead.cpp/smt_lookahead.h/smt_model_checker.cpp/smt_model_checker.h/smt_model_finder.cpp/smt_model_finder.h/smt_model_generator.cpp/smt_model_generator.h/smt_parallel.cpp/smt_parallel.h/smt_quantifier.cpp/smt_quantifier.h/smt_quick_checker.cpp/smt_quick_checker.h/smt_relevancy.cpp/smt_relevancy.h/smt_setup.cpp/smt_setup.h/smt_solver.cpp/smt_solver.h/smt_statistics.cpp/smt_statistics.h/smt_theory.cpp/smt_theory.h/smt_types.h/smt_value_sort.cpp/smt_value_sort.h/tactic/theory_arith.cpp/theory_arith.h/theory_arith_aux.h/theory_arith_core.h/theory_arith_eq.h/theory_arith_int.h/theory_arith_nl.h/theory_arith_pp.h/theory_array.cpp/theory_array.h/theory_array_bapa.cpp/theory_array_bapa.h/theory_array_base.cpp/theory_array_base.h/theory_array_full.cpp/theory_array_full.h/theory_bv.cpp/theory_bv.h/theory_char.cpp/theory_char.h/theory_datatype.cpp/theory_datatype.h/theory_dense_diff_logic.cpp/theory_dense_diff_logic.h/theory_dense_diff_logic_def.h/theory_diff_logic.cpp/theory_diff_logic.h/theory_diff_logic_def.h/theory_dl.cpp/theory_dl.h/theory_dummy.cpp/theory_dummy.h/theory_fpa.cpp/theory_fpa.h/theory_lra.cpp/theory_lra.h/theory_opt.cpp/theory_opt.h/theory_pb.cpp/theory_pb.h/theory_recfun.cpp/theory_recfun.h/theory_seq.cpp/theory_seq.h/theory_special_relations.cpp/theory_special_relations.h/theory_str.cpp/theory_str.h/theory_str_mc.cpp/theory_str_regex.cpp/theory_user_propagator.cpp/theory_user_propagator.h/theory_utvpi.cpp/theory_utvpi.h/theory_utvpi_def.h/theory_wmaxsat.cpp/theory_wmaxsat.h/uses_theory.cpp/watch_list.cpp/watch_list.h

filetypes:
  fffffffffffffffddffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/ast/fpa
filetypes: ffffff
filenames:
  bv2fpa_converter.cpp/bv2fpa_converter.h/fpa2bv_converter.cpp/fpa2bv_converter.h/fpa2bv_rewriter.cpp/fpa2bv_rewriter.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/params
filetypes: fffff
filenames:
  bit_blaster_params.h/context_params.cpp/context_params.h/pattern_inference_params.cpp/pattern_inference_params.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/cmd_context/extra_cmds
filetypes: ffffffff
filenames:
  dbg_cmds.cpp/dbg_cmds.h/polynomial_cmds.cpp/polynomial_cmds.h/proof_cmds.cpp/proof_cmds.h/subpaving_cmds.cpp/subpaving_cmds.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/tactic/sls
filetypes: fffffffff
filenames:
  bvsls_opt_engine.cpp/bvsls_opt_engine.h/sls_engine.cpp/sls_engine.h/sls_evaluator.h/sls_powers.h/sls_tactic.cpp/sls_tactic.h/sls_tracker.h


dirname: /usr/src/debug/z3-4.11.2-2.fc37.aarch64/src/muz/fp
filetypes: ffffffff
filenames:
  datalog_parser.cpp/datalog_parser.h/dl_cmds.cpp/dl_cmds.h/dl_register_engine.cpp/dl_register_engine.h/horn_tactic.cpp/horn_tactic.h


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  zabbix_get-6.0.20-1.fc37.aarch64.debug/zabbix_js-6.0.20-1.fc37.aarch64.debug/zabbix_sender-6.0.20-1.fc37.aarch64.debug


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/reporter
filetypes: ffffff
filenames:
  report_manager.c/report_manager.h/report_protocol.c/report_protocol.h/report_writer.c/report_writer.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxsysinfo/linux
filetypes: ffffffffffffffffffff
filenames:
  boottime.c/cpu.c/diskio.c/diskspace.c/hardware.c/hostname.c/inodes.c/inodes.h/kernel.c/linux.c/memory.c/net.c/proc.c/proc.h/sensors.c/software.c/software.h/swap.c/system.c/uptime.c


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxserver
filetypes: fffffffffffffffffff
filenames:
  anomalystl.c/anomalystl.h/evalfunc.c/evalfunc.h/evalfunc_common.c/evalfunc_common.h/expression.c/expression.h/expression_eval.c/get_host_from_event.c/get_host_from_event.h/macrofunc.c/macrofunc.h/zabbix_stats.c/zabbix_stats.h/zabbix_stats_proxy.c/zabbix_stats_server.c/zabbix_users.c/zabbix_users.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/alerter
filetypes: ffffffff
filenames:
  alert_manager.c/alert_manager.h/alert_syncer.c/alert_syncer.h/alerter.c/alerter.h/alerter_protocol.c/alerter_protocol.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/build-server-mysql/src/libs
filetypes: ddddddddddddddddddddddddddddddddddddddddd
filenames:
  zbxalgo/zbxaudit/zbxavailability/zbxcommon/zbxcomms/zbxcommshigh/zbxcompress/zbxconf/zbxcrypto/zbxdb/zbxdbcache/zbxdbhigh/zbxdbupgrade/zbxdiag/zbxembed/zbxeval/zbxexec/zbxha/zbxhistory/zbxhttp/zbxicmpping/zbxipcservice/zbxjson/zbxlog/zbxmedia/zbxmemory/zbxmodules/zbxnix/zbxprof/zbxprometheus/zbxregexp/zbxrtc/zbxself/zbxserver/zbxservice/zbxsys/zbxsysinfo/zbxtasks/zbxtrends/zbxvault/zbxxml


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxalgo
filetypes: fffffffffff
filenames:
  algodefs.c/binaryheap.c/evaluate.c/hashmap.c/hashset.c/int128.c/linked_list.c/prediction.c/queue.c/serialize.c/vector.c


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/lld
filetypes: fffffffffffff
filenames:
  lld.c/lld.h/lld_common.c/lld_graph.c/lld_host.c/lld_item.c/lld_manager.c/lld_manager.h/lld_protocol.c/lld_protocol.h/lld_trigger.c/lld_worker.c/lld_worker.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxdbupgrade
filetypes: ffffffffffffffffffffffffffff
filenames:
  dbupgrade.c/dbupgrade.h/dbupgrade_2010.c/dbupgrade_2020.c/dbupgrade_2030.c/dbupgrade_2040.c/dbupgrade_2050.c/dbupgrade_3000.c/dbupgrade_3010.c/dbupgrade_3020.c/dbupgrade_3030.c/dbupgrade_3040.c/dbupgrade_3050.c/dbupgrade_4000.c/dbupgrade_4010.c/dbupgrade_4020.c/dbupgrade_4030.c/dbupgrade_4040.c/dbupgrade_4050.c/dbupgrade_5000.c/dbupgrade_5010.c/dbupgrade_5020.c/dbupgrade_5030.c/dbupgrade_5040.c/dbupgrade_5050.c/dbupgrade_6000.c/dbupgrade_macros.c/dbupgrade_macros.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/housekeeper
filetypes: ffffff
filenames:
  history_compress.c/history_compress.h/housekeeper.c/housekeeper.h/trigger_housekeeper.c/trigger_housekeeper.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxembed
filetypes: fffffffffffffff
filenames:
  console.c/console.h/duk_config.h/duktape.c/duktape.h/embed.c/embed.h/global.c/global.h/httprequest.c/httprequest.h/xml.c/xml.h/zabbix.c/zabbix.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxdbhigh
filetypes: fffffffffffffffffffffff
filenames:
  db.c/dbschema.c/discovery.c/event.c/export.c/graph_linking.c/graph_linking.h/host.c/item.c/item_param.c/lld_macro.c/lld_override.c/maintenance.c/mediatype.c/proxy.c/tag.c/template.h/template_item.c/trigger.c/trigger_dep_linking.c/trigger_dep_linking.h/trigger_linking.c/trigger_linking.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxaudit
filetypes: ffffffffffffffff
filenames:
  audit.c/audit.h/audit_graph.c/audit_graph.h/audit_ha.c/audit_ha.h/audit_host.c/audit_host.h/audit_httptest.c/audit_httptest.h/audit_item.c/audit_item.h/audit_settings.c/audit_settings.h/audit_trigger.c/audit_trigger.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/build-frontend/src/zabbix_server
filetypes: dddddddddddddd
filenames:
  availability/dbsyncer/discoverer/httppoller/ipmi/odbc/pinger/poller/preprocessor/scripts/selfmon/snmptrapper/trapper/vmware


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/ipmi
filetypes: ffffffffff
filenames:
  checks_ipmi.c/checks_ipmi.h/ipmi.c/ipmi.h/ipmi_manager.c/ipmi_manager.h/ipmi_poller.c/ipmi_poller.h/ipmi_protocol.c/ipmi_protocol.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxsysinfo/common
filetypes: fffffffffffffffffff
filenames:
  cpu.c/dir.c/dir.h/dns.c/dns.h/file.c/file.h/http.c/http.h/http_metrics.c/http_metrics.h/net.c/net.h/system.c/system.h/zabbix_stats.c/zabbix_stats.h/zbxsysinfo_common.c/zbxsysinfo_common.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxcommon
filetypes: fffffffffffff
filenames:
  alias.c/comms.c/cuid.c/file.c/iprange.c/misc.c/setproctitle.c/str.c/time.c/variant.c/variant_misc.c/xml.c/zbxgetopt.c


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/include
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  alias.h/avail_protocol.h/base64.h/cfg.h/common.h/comms.h/daemon.h/db.h/dbcache.h/dbschema.h/discovery.h/export.h/ipc.h/log.h/md5.h/memalloc.h/modbtype.h/module.h/mutexs.h/pid.h/preproc.h/proxy.h/service_protocol.h/setproctitle.h/sha256crypt.h/sha512crypt.h/sighandler.h/sysinfo.h/telnet.h/threads.h/version.h/zbxalert.h/zbxalgo.h/zbxavailability.h/zbxcompress.h/zbxcrypto.h/zbxdb.h/zbxdbupgrade.h/zbxdiag.h/zbxembed.h/zbxeval.h/zbxexec.h/zbxgetopt.h/zbxha.h/zbxhistory.h/zbxhttp.h/zbxicmpping.h/zbxipcservice.h/zbxjson.h/zbxlld.h/zbxmedia.h/zbxmodules.h/zbxnix.h/zbxprof.h/zbxprometheus.h/zbxregexp.h/zbxreport.h/zbxrtc.h/zbxself.h/zbxserialize.h/zbxserver.h/zbxservice.h/zbxtasks.h/zbxtrends.h/zbxtypes.h/zbxvariant.h/zbxvault.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/preprocessor
filetypes: fffffffffff
filenames:
  item_preproc.c/item_preproc.h/preproc_cache.c/preproc_history.c/preproc_history.h/preproc_manager.c/preproc_manager.h/preproc_worker.c/preproc_worker.h/preprocessing.c/preprocessing.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/build-server-postgresql/src/zabbix_server
filetypes: ddddddddddddddddddddddddd
filenames:
  alerter/availability/dbconfig/dbsyncer/discoverer/escalator/ha/housekeeper/httppoller/ipmi/lld/odbc/pinger/poller/preprocessor/proxypoller/reporter/scripts/selfmon/service/snmptrapper/taskmanager/timer/trapper/vmware


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_agent
filetypes: ffffffffdffffffff
filenames:
  active.c/active.h/cpustat.c/cpustat.h/diskdevices.c/diskdevices.h/listener.c/listener.h/logfiles/metrics.h/procstat.c/procstat.h/stats.c/stats.h/zabbix_agentd.c/zbxconf.c/zbxconf.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/build-frontend/src/libs
filetypes: dddddddddddddddddddddddddddddddddddddd
filenames:
  zbxalgo/zbxaudit/zbxavailability/zbxcommon/zbxcomms/zbxcommshigh/zbxcompress/zbxconf/zbxcrypto/zbxdb/zbxdbcache/zbxdbhigh/zbxdbupgrade/zbxdiag/zbxembed/zbxeval/zbxexec/zbxhistory/zbxhttp/zbxicmpping/zbxipcservice/zbxjson/zbxlog/zbxmemory/zbxmodules/zbxnix/zbxprof/zbxprometheus/zbxregexp/zbxrtc/zbxself/zbxserver/zbxsys/zbxsysinfo/zbxtasks/zbxtrends/zbxvault/zbxxml


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/poller
filetypes: ffffffffffffffffffffffffffffff
filenames:
  checks_agent.c/checks_agent.h/checks_calculated.c/checks_calculated.h/checks_db.c/checks_db.h/checks_external.c/checks_external.h/checks_http.c/checks_http.h/checks_internal.c/checks_internal.h/checks_internal_proxy.c/checks_internal_server.c/checks_java.c/checks_java.h/checks_script.c/checks_script.h/checks_simple.c/checks_simple.h/checks_simple_vmware.c/checks_simple_vmware.h/checks_snmp.c/checks_snmp.h/checks_ssh.c/checks_ssh.h/checks_telnet.c/checks_telnet.h/poller.c/poller.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxdbcache
filetypes: ffffffffff
filenames:
  dbcache.c/dbconfig.c/dbconfig.h/dbconfig_dump.c/dbconfig_maintenance.c/dbhistoryconfig.c/dbsync.c/dbsync.h/valuecache.c/valuecache.h


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server
filetypes: ffddddddffddddddffddffdddddfdddddd
filenames:
  actions.c/actions.h/alerter/availability/dbconfig/dbsyncer/discoverer/escalator/events.c/events.h/ha/housekeeper/httppoller/ipmi/lld/odbc/operations.c/operations.h/pinger/poller/postinit.c/postinit.h/preprocessor/proxypoller/reporter/scripts/selfmon/server.c/service/snmptrapper/taskmanager/timer/trapper/vmware


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/libs/zbxcrypto
filetypes: fffffffffff
filenames:
  base64.c/crypto.c/hmac.c/md5.c/rsa.c/sha256crypt.c/sha512crypt.c/tls.c/tls_tcp.h/tls_tcp_active.h/tls_version.c


dirname: /usr/src/debug/zabbix-6.0.20-1.fc37.aarch64/src/zabbix_server/trapper
filetypes: fffffffffffffffffffff
filenames:
  active.c/active.h/nodecommand.c/nodecommand.h/proxyconfig.c/proxyconfig.h/proxydata.c/proxydata.h/trapper.c/trapper.h/trapper_auth.c/trapper_auth.h/trapper_expressions_evaluate.c/trapper_expressions_evaluate.h/trapper_item_test.c/trapper_item_test.h/trapper_preproc.c/trapper_preproc.h/trapper_proxy.c/trapper_request.h/trapper_server.c


filetypes: fffffffffffffff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/presentation/presentation_autogen/EWIEGA46WW

filenames:
  moc_alltaskspagemodel.cpp/moc_applicationmodel.cpp/moc_availablepagesmodel.cpp/moc_availablepagessortfilterproxymodel.cpp/moc_availablesourcesmodel.cpp/moc_contextpagemodel.cpp/moc_editormodel.cpp/moc_inboxpagemodel.cpp/moc_pagemodel.cpp/moc_projectpagemodel.cpp/moc_querytreemodelbase.cpp/moc_runningtaskmodel.cpp/moc_runningtaskmodelinterface.cpp/moc_taskfilterproxymodel.cpp/moc_workdaypagemodel.cpp


filenames: kontact_plugin.moc
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen/include


filenames: moc_zanshinrunner.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen/EWIEGA46WW


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/widgets
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  applicationcomponents.cpp/applicationcomponents.h/availablepagesview.cpp/availablepagesview.h/availablesourcesview.cpp/availablesourcesview.h/datasourcedelegate.cpp/datasourcedelegate.h/editorview.cpp/editorview.h/filterwidget.cpp/filterwidget.h/itemdelegate.cpp/itemdelegate.h/messagebox.cpp/messagebox.h/messageboxinterface.cpp/messageboxinterface.h/nameanddatasourcedialog.cpp/nameanddatasourcedialog.h/nameanddatasourcedialoginterface.cpp/nameanddatasourcedialoginterface.h/pageview.cpp/pageview.h/pageviewerrorhandler.cpp/pageviewerrorhandler.h/quickselectdialog.cpp/quickselectdialog.h/quickselectdialoginterface.cpp/quickselectdialoginterface.h/runningtaskwidget.cpp/runningtaskwidget.h


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen


filenames: moc_context.cpp/moc_datasource.cpp/moc_datasourcequeries.cpp/moc_project.cpp/moc_task.cpp
filetypes: fffff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/domain/domain_autogen/EWIEGA46WW


filenames: akonadicachingstorage.moc/akonadistorage.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/akonadi/akonadi_autogen/include


filetypes: ffffffffffffff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/akonadi/akonadi_autogen/EWIEGA46WW

filenames:
  moc_akonadicache.cpp/moc_akonadiconfigdialog.cpp/moc_akonadicontextqueries.cpp/moc_akonadicontextrepository.cpp/moc_akonadidatasourcequeries.cpp/moc_akonadidatasourcerepository.cpp/moc_akonadilivequeryintegrator.cpp/moc_akonadimonitorimpl.cpp/moc_akonadimonitorinterface.cpp/moc_akonadiprojectqueries.cpp/moc_akonadiprojectrepository.cpp/moc_akonadistoragesettings.cpp/moc_akonaditaskqueries.cpp/moc_akonaditaskrepository.cpp


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen


filenames: nameanddatasourcedialog.moc/pageview.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/widgets/widgets_autogen/include


filenames: part.moc
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/include


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen


filetypes: fffffffffff
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/widgets/widgets_autogen/EWIEGA46WW

filenames:
  moc_applicationcomponents.cpp/moc_availablepagesview.cpp/moc_availablesourcesview.cpp/moc_datasourcedelegate.cpp/moc_editorview.cpp/moc_filterwidget.cpp/moc_itemdelegate.cpp/moc_nameanddatasourcedialog.cpp/moc_pageview.cpp/moc_quickselectdialog.cpp/moc_runningtaskwidget.cpp


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/utils
filetypes: fffffffff
filenames:
  compositejob.cpp/compositejob.h/datetime.cpp/datetime.h/dependencymanager.cpp/dependencymanager.h/jobhandler.cpp/jobhandler.h/mem_fn.h


filenames: moc_part.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/EWIEGA46WW


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/presentation/presentation_autogen


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/akonadi
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  akonadiapplicationselectedattribute.cpp/akonadiapplicationselectedattribute.h/akonadicache.cpp/akonadicache.h/akonadicachingstorage.cpp/akonadicachingstorage.h/akonadicollectionfetchjobinterface.cpp/akonadicollectionfetchjobinterface.h/akonadiconfigdialog.cpp/akonadiconfigdialog.h/akonadicontextqueries.cpp/akonadicontextqueries.h/akonadicontextrepository.cpp/akonadicontextrepository.h/akonadidatasourcequeries.cpp/akonadidatasourcequeries.h/akonadidatasourcerepository.cpp/akonadidatasourcerepository.h/akonadiitemfetchjobinterface.cpp/akonadiitemfetchjobinterface.h/akonadilivequeryhelpers.cpp/akonadilivequeryhelpers.h/akonadilivequeryintegrator.cpp/akonadilivequeryintegrator.h/akonadimonitorimpl.cpp/akonadimonitorimpl.h/akonadimonitorinterface.cpp/akonadimonitorinterface.h/akonadiprojectqueries.cpp/akonadiprojectqueries.h/akonadiprojectrepository.cpp/akonadiprojectrepository.h/akonadiserializer.cpp/akonadiserializer.h/akonadiserializerinterface.cpp/akonadiserializerinterface.h/akonadistorage.cpp/akonadistorage.h/akonadistorageinterface.cpp/akonadistorageinterface.h/akonadistoragesettings.cpp/akonadistoragesettings.h/akonaditaskqueries.cpp/akonaditaskqueries.h/akonaditaskrepository.cpp/akonaditaskrepository.h/akonaditimestampattribute.cpp/akonaditimestampattribute.h


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/presentation
filetypes: ffffffffffffffffffffffffffffffffffffff
filenames:
  alltaskspagemodel.cpp/alltaskspagemodel.h/applicationmodel.cpp/applicationmodel.h/availablepagesmodel.cpp/availablepagesmodel.h/availablepagessortfilterproxymodel.cpp/availablepagessortfilterproxymodel.h/availablesourcesmodel.cpp/availablesourcesmodel.h/contextpagemodel.cpp/contextpagemodel.h/editormodel.cpp/editormodel.h/errorhandler.cpp/errorhandler.h/errorhandlingmodelbase.cpp/errorhandlingmodelbase.h/inboxpagemodel.cpp/inboxpagemodel.h/metatypes.cpp/metatypes.h/pagemodel.cpp/pagemodel.h/projectpagemodel.cpp/projectpagemodel.h/querytreemodel.h/querytreemodelbase.cpp/querytreemodelbase.h/querytreenode.h/runningtaskmodel.cpp/runningtaskmodel.h/runningtaskmodelinterface.cpp/runningtaskmodelinterface.h/taskfilterproxymodel.cpp/taskfilterproxymodel.h/workdaypagemodel.cpp/workdaypagemodel.h


filenames: mocs_compilation.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/migrator/zanshin-migrator_autogen


filenames: zanshinrunner.moc
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen/include


filenames: editormodel.moc
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/presentation/presentation_autogen/include


filenames: moc_kontact_plugin.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen/EWIEGA46WW


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/domain
filetypes: ffffffffffffffffffffffffffff
filenames:
  context.cpp/context.h/contextqueries.cpp/contextqueries.h/contextrepository.cpp/contextrepository.h/datasource.cpp/datasource.h/datasourcequeries.cpp/datasourcequeries.h/datasourcerepository.cpp/datasourcerepository.h/livequery.h/project.cpp/project.h/projectqueries.cpp/projectqueries.h/projectrepository.cpp/projectrepository.h/queryresult.h/queryresultinterface.h/queryresultprovider.h/task.cpp/task.h/taskqueries.cpp/taskqueries.h/taskrepository.cpp/taskrepository.h


dirname: /usr/src/debug/zanshin-23.04.3-2.fc37.aarch64/src/zanshin/migrator
filetypes: fffff
filenames:
  main.cpp/zanshin021migrator.cpp/zanshin021migrator.h/zanshincontextitemsmigrator.cpp/zanshincontextitemsmigrator.h


dirname: /usr/src/debug/zathura-0.5.2-4.fc37.aarch64/zathura
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  adjustment.c/adjustment.h/bookmarks.c/bookmarks.h/callbacks.c/callbacks.h/commands.c/commands.h/completion.c/completion.h/config.c/config.h/content-type.c/content-type.h/database-plain.c/database-plain.h/database-sqlite.c/database-sqlite.h/database.c/database.h/dbus-interface.c/dbus-interface.h/document.c/document.h/file-monitor-glib.c/file-monitor-glib.h/file-monitor-noop.c/file-monitor-noop.h/file-monitor-signal.c/file-monitor-signal.h/file-monitor.c/file-monitor.h/internal.h/jumplist.c/jumplist.h/links.c/links.h/main.c/marks.c/marks.h/page-widget.c/page-widget.h/page.c/page.h/plugin-api.h/plugin.c/plugin.h/print.c/print.h/render.c/render.h/seccomp-filters.c/seccomp-filters.h/shortcuts.c/shortcuts.h/synctex.c/synctex.h/types.c/types.h/utils.c/utils.h/zathura.c/zathura.h


dirname: /usr/src/debug/zathura-pdf-mupdf-0.4.0-8.fc37.aarch64/zathura-pdf-mupdf
filetypes: ffffffffffff
filenames:
  document.c/image.c/index.c/links.c/page.c/plugin.c/plugin.h/render.c/search.c/select.c/utils.c/utils.h


dirname: /usr/src/debug/zathura-pdf-poppler-0.3.1-1.fc37.aarch64/zathura-pdf-poppler
filetypes: fffffffffffffff
filenames:
  attachments.c/document.c/forms.c/image.c/index.c/links.c/meta.c/page.c/plugin.c/plugin.h/render.c/search.c/select.c/utils.c/utils.h


dirname: /usr/lib/debug/usr/bin
filetypes: ffffff
filenames:
  unzck-1.3.1-1.fc37.aarch64.debug/zck-1.3.1-1.fc37.aarch64.debug/zck_delta_size-1.3.1-1.fc37.aarch64.debug/zck_gen_zdict-1.3.1-1.fc37.aarch64.debug/zck_read_header-1.3.1-1.fc37.aarch64.debug/zckdl-1.3.1-1.fc37.aarch64.debug


dirname: /usr/src/debug/zchunk-1.3.1-1.fc37.aarch64/src
filetypes: dfffffffff
filenames:
  lib/memmem.c/unzck.c/util_common.c/util_common.h/zck.c/zck_delta_size.c/zck_dl.c/zck_gen_zdict.c/zck_read_header.c


dirname: /usr/src/debug/zeitgeist-1.0.4-7.fc37.aarch64/datahub
filetypes: ffffffff
filenames:
  data-provider.c/desktop-launch-listener.c/downloads-directory-provider.c/kde-recent-document-provider.c/recent-manager-provider.c/telepathy-observer.c/utils.c/zeitgeist-datahub.c


dirname: /usr/src/debug/zeitgeist-1.0.4-7.fc37.aarch64/extensions/fts++
filetypes: fffffffffff
filenames:
  controller.cpp/controller.h/fts.cpp/fts.h/indexer.cpp/indexer.h/stringutils.cpp/stringutils.h/task.cpp/task.h/zeitgeist-fts.c


dirname: /usr/src/debug/zeitgeist-1.0.4-7.fc37.aarch64/libzeitgeist
filetypes: fffffffffffffffffffffffffff
filenames:
  data-source-registry.c/data-source.c/db-reader.c/enumerations.c/errors.c/event.c/index.c/log.c/mimetype.c/monitor.c/ontology-uris.c/ontology.c/queued-proxy-wrapper.c/remote.c/result-set.c/simple-result-set.c/sql-schema.c/sql.c/subject.c/table-lookup.c/timerange.c/timestamp.c/utils.c/where-clause.c/zeitgeist-datamodel.h/zeitgeist-internal.h/zeitgeist.h


dirname: /usr/src/debug/zeitgeist-1.0.4-7.fc37.aarch64/src
filetypes: ffffffffffffff
filenames:
  engine.c/ext-benchmark.c/ext-blacklist.c/ext-data-source-registry.c/ext-fts.c/ext-histogram.c/ext-storage-monitor.c/extension-collection.c/extension-store.c/extension.c/logging.c/notify.c/zeitgeist-daemon.c/zeitgeist-engine.h


dirname: /usr/src/debug/zenity-3.44.1-1.fc37.aarch64/src
filetypes: fffffffffffffffffff
filenames:
  about.c/calendar.c/color.c/entry.c/fileselection.c/forms.c/main.c/msg.c/notification.c/option.c/option.h/password.c/progress.c/scale.c/text.c/tree.c/util.c/util.h/zenity.h


dirname: /usr/src/debug/zenon-0.8.5-11.fc37.aarch64
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  coqterm.ml/enum.ml/eqrel.ml/error.ml/expr.ml/ext_equiv.ml/ext_focal.ml/ext_induct.ml/ext_recfun.ml/ext_tla.ml/extension.ml/globals.ml/heap.ml/index.ml/isar_case.ml/lexcoq.ml/lexcoq.mll/lextptp.ml/lextptp.mll/lexzen.ml/lexzen.mll/llproof.ml/lltocoq.ml/lltoisar.ml/main.ml/misc.ml/mlproof.ml/mltoll.ml/namespace.ml/node.ml/parsecoq.ml/parsecoq.mly/parsetptp.ml/parsetptp.mly/parsezen.ml/parsezen.mly/phrase.ml/print.ml/progress.ml/prove.ml/step.ml/tptp.ml/version.ml/versionnum.ml/watch.ml/zenon.ml


dirname: /usr/src/debug/zlib-ng-2.0.7-1.fc37.aarch64
filetypes: ffdfffffffffffffffffffffffffffffffffdfffffffff
filenames:
  adler32.c/adler32_p.h/arch/chunkset.c/chunkset_tpl.h/compare258.c/compress.c/crc32.c/crc32_comb.c/crc32_comb_tbl.h/crc32_p.h/crc32_tbl.h/deflate.c/deflate.h/deflate_fast.c/deflate_medium.c/deflate_p.h/deflate_quick.c/deflate_slow.c/functable.c/functable.h/gzguts.h/gzlib.c/gzread.c/gzwrite.c/infback.c/inffast.c/inffast.h/inffixed_tbl.h/inflate.c/inflate.h/inftrees.c/inftrees.h/insert_string.c/insert_string_tpl.h/match_tpl.h/redhat-linux-build/trees.c/trees.h/trees_emit.h/trees_tbl.h/uncompr.c/zlib-ng.h/zutil.c/zutil.h/zutil_p.h


dirname: /usr/lib/debug/.build-id
filetypes: dddddddddddddddddddddddddddddddddd
filenames:
  00/02/0d/0f/23/2f/30/31/33/3e/40/46/50/57/62/63/72/83/87/91/a7/ae/b2/b7/b9/c1/c9/ce/d8/e2/e6/e8/e9/f0


dirname: /usr/lib/debug/.build-id/3e
filetypes: ffff
filenames:
  b31204115cbc051964f0027fb854dfcac161be/b31204115cbc051964f0027fb854dfcac161be.debug/ca4c03d60cb6798a09696e64a572769ad79148/ca4c03d60cb6798a09696e64a572769ad79148.debug


dirname: /usr/lib/debug/.build-id/ae
filetypes: ffff
filenames:
  90e48ef3fe99f091532d0d16e08397db15b1d1/90e48ef3fe99f091532d0d16e08397db15b1d1.debug/a9c063208e4775bfe27a9f384be03e096cc0f1/a9c063208e4775bfe27a9f384be03e096cc0f1.debug


dirname: /usr/lib/debug/usr/lib64/zsh/5.9/zsh
filetypes: ffffffffffffffffdfdfffffffffffffffff
filenames:
  attr.so-5.9-3.fc37.aarch64.debug/cap.so-5.9-3.fc37.aarch64.debug/clone.so-5.9-3.fc37.aarch64.debug/compctl.so-5.9-3.fc37.aarch64.debug/complete.so-5.9-3.fc37.aarch64.debug/complist.so-5.9-3.fc37.aarch64.debug/computil.so-5.9-3.fc37.aarch64.debug/curses.so-5.9-3.fc37.aarch64.debug/datetime.so-5.9-3.fc37.aarch64.debug/deltochar.so-5.9-3.fc37.aarch64.debug/example.so-5.9-3.fc37.aarch64.debug/files.so-5.9-3.fc37.aarch64.debug/langinfo.so-5.9-3.fc37.aarch64.debug/mapfile.so-5.9-3.fc37.aarch64.debug/mathfunc.so-5.9-3.fc37.aarch64.debug/nearcolor.so-5.9-3.fc37.aarch64.debug/net/newuser.so-5.9-3.fc37.aarch64.debug/param/parameter.so-5.9-3.fc37.aarch64.debug/pcre.so-5.9-3.fc37.aarch64.debug/regex.so-5.9-3.fc37.aarch64.debug/rlimits.so-5.9-3.fc37.aarch64.debug/sched.so-5.9-3.fc37.aarch64.debug/stat.so-5.9-3.fc37.aarch64.debug/system.so-5.9-3.fc37.aarch64.debug/termcap.so-5.9-3.fc37.aarch64.debug/terminfo.so-5.9-3.fc37.aarch64.debug/watch.so-5.9-3.fc37.aarch64.debug/zftp.so-5.9-3.fc37.aarch64.debug/zle.so-5.9-3.fc37.aarch64.debug/zleparameter.so-5.9-3.fc37.aarch64.debug/zprof.so-5.9-3.fc37.aarch64.debug/zpty.so-5.9-3.fc37.aarch64.debug/zselect.so-5.9-3.fc37.aarch64.debug/zutil.so-5.9-3.fc37.aarch64.debug


dirname: /usr/lib/debug/.build-id/00
filetypes: ffff
filenames:
  208ba00c17fe8fc1605a7e50686e4e2abd71a3/208ba00c17fe8fc1605a7e50686e4e2abd71a3.debug/b9df1961fcd3758b85447d24aed38a64c65836/b9df1961fcd3758b85447d24aed38a64c65836.debug


dirname: /usr/lib/debug/.build-id/91
filetypes: ffff
filenames:
  7743151b05413129e6cb303890b0529b2f4e16/7743151b05413129e6cb303890b0529b2f4e16.debug/7adfde50510c87d933fead0dffe3b17262eac8/7adfde50510c87d933fead0dffe3b17262eac8.debug


dirname: /usr/src/debug/zsh-5.9-3.fc37.aarch64/Src/Zle
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  comp.h/compcore.c/compcore.epro/compctl.c/compctl.epro/compctl.h/compctl.pro/complete.c/complete.epro/complist.c/compmatch.c/compmatch.epro/compresult.c/compresult.epro/computil.c/deltochar.c/textobjects.c/textobjects.epro/zle.h/zle_bindings.c/zle_bindings.epro/zle_hist.c/zle_hist.epro/zle_keymap.c/zle_keymap.epro/zle_main.c/zle_main.epro/zle_main.pro/zle_misc.c/zle_misc.epro/zle_misc.pro/zle_move.c/zle_move.epro/zle_params.c/zle_params.epro/zle_refresh.c/zle_refresh.epro/zle_things.h/zle_thingy.c/zle_thingy.epro/zle_tricky.c/zle_tricky.epro/zle_utils.c/zle_utils.epro/zle_vi.c/zle_vi.epro/zle_widget.h/zle_word.c/zle_word.epro/zleparameter.c


dirname: /usr/src/debug/zsh-5.9-3.fc37.aarch64/Src
filetypes: dddfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Builtins/Modules/Zle/bltinmods.list/builtin.c/builtin.epro/compat.c/compat.epro/cond.c/cond.epro/context.c/context.epro/exec.c/exec.epro/glob.c/glob.epro/hashnameddir.c/hashnameddir.epro/hashtable.c/hashtable.epro/hist.c/hist.epro/init.c/init.epro/input.c/input.epro/jobs.c/jobs.epro/jobs.pro/lex.c/lex.epro/linklist.c/linklist.epro/loop.c/loop.epro/main.c/math.c/math.epro/mem.c/mem.epro/module.c/module.epro/openssh_bsd_setres_id.c/options.c/options.epro/options.pro/params.c/params.epro/parse.c/parse.epro/pattern.c/pattern.epro/prompt.c/prompt.epro/signals.c/signals.epro/signals.pro/signames.c/signames.epro/sort.c/sort.epro/string.c/string.epro/subst.c/subst.epro/text.c/text.epro/utils.c/utils.epro/zsh.h


dirname: /usr/src/debug/zsh-5.9-3.fc37.aarch64/Src/Modules
filetypes: ffffffffffffffffffffffffffffffffff
filenames:
  attr.c/cap.c/clone.c/curses.c/curses_keys.h/datetime.c/errnames.c/errnames.epro/example.c/files.c/langinfo.c/mapfile.c/mathfunc.c/nearcolor.c/newuser.c/param_private.c/parameter.c/pcre.c/regex.c/socket.c/stat.c/system.c/tcp.c/tcp.epro/tcp.h/termcap.c/terminfo.c/watch.c/watch.pro/zftp.c/zprof.c/zpty.c/zselect.c/zutil.c


dirname: /usr/src/debug/zstd-1.5.5-1.fc37.aarch64/contrib/pzstd
filetypes: fffffffffd
filenames:
  ErrorHolder.h/Logging.h/Options.cpp/Options.h/Pzstd.cpp/Pzstd.h/SkippableFrame.cpp/SkippableFrame.h/main.cpp/utils


dirname: /usr/src/debug/zstd-1.5.5-1.fc37.aarch64/lib/common
filetypes: ffffffffffffffffffff
filenames:
  allocations.h/bits.h/bitstream.h/cpu.h/debug.c/entropy_common.c/error_private.c/error_private.h/fse.h/fse_decompress.c/huf.h/mem.h/pool.c/pool.h/threading.c/xxhash.c/xxhash.h/zstd_common.c/zstd_internal.h/zstd_trace.h


dirname: /usr/src/debug/zstd-1.5.5-1.fc37.aarch64/lib/compress
filetypes: fffffffffffffffffffffffffff
filenames:
  clevels.h/fse_compress.c/hist.c/hist.h/huf_compress.c/zstd_compress.c/zstd_compress_internal.h/zstd_compress_literals.c/zstd_compress_literals.h/zstd_compress_sequences.c/zstd_compress_sequences.h/zstd_compress_superblock.c/zstd_compress_superblock.h/zstd_cwksp.h/zstd_double_fast.c/zstd_double_fast.h/zstd_fast.c/zstd_fast.h/zstd_lazy.c/zstd_lazy.h/zstd_ldm.c/zstd_ldm.h/zstd_ldm_geartab.h/zstd_opt.c/zstd_opt.h/zstdmt_compress.c/zstdmt_compress.h


dirname: /usr/src/debug/zstd-1.5.5-1.fc37.aarch64/programs
filetypes: fffffffffffffffffffff
filenames:
  benchfn.c/benchfn.h/benchzstd.c/benchzstd.h/datagen.c/datagen.h/dibio.c/dibio.h/fileio.c/fileio.h/fileio_asyncio.c/fileio_asyncio.h/fileio_common.h/fileio_types.h/timefn.c/timefn.h/util.c/util.h/zstdcli.c/zstdcli_trace.c/zstdcli_trace.h


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  zvbi-atsc-cc-0.2.35-19.fc37.aarch64.debug/zvbi-chains-0.2.35-19.fc37.aarch64.debug/zvbi-ntsc-cc-0.2.35-19.fc37.aarch64.debug


dirname: /usr/src/debug/zvbi-0.2.35-19.fc37.aarch64/src
filenames:
  _videodev.h/_videodev2.h/_videodev2k.h/bcd.h/bit_slicer.c/bit_slicer.h/cache-priv.h/cache.c/cache.h/caption.c/cc.h/cc608_decoder.c/cc608_decoder.h/ccfont2.xbm/chains.c/conv.c/conv.h/decoder.c/decoder.h/dlist.h/dvb/dvb.h/dvb_demux.c/dvb_demux.h/dvb_mux.c/dvb_mux.h/event-priv.h/event.c/event.h/exp-gfx.c/exp-html.c/exp-templ.c/exp-txt.c/exp-vtx.c/export.c/export.h/format.h/hamm-tables.h/hamm.c/hamm.h/idl_demux.c/idl_demux.h/intl-priv.h/io-bktr.c/io-dvb.c/io-sim.c/io-v4l.c/io-v4l2.c/io-v4l2k.c/io.c/io.h/lang.c/lang.h/libzvbi.h/macros.h/misc.c/misc.h/network-table.h/network.h/packet-830.c/packet-830.h/packet.c/page_table.c/page_table.h/pdc.c/pdc.h/pfc_demux.c/pfc_demux.h/proxy-client.c/proxy-client.h/proxy-msg.c/proxy-msg.h/raw_decoder.c/raw_decoder.h/sampling_par.c/sampling_par.h/search.c/search.h/sliced.h/sliced_filter.c/sliced_filter.h/tables.c/tables.h/teletext.c/teletext_decoder.h/trigger.c/trigger.h/ure.c/ure.h/vbi.c/vbi.h/videodev.h/videodev2.h/videodev2k.h/vps.c/vps.h/vt.h/wss.c/wss.h/wstfont2.xbm/xds_demux.c/xds_demux.h

filetypes:
  ffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/zycore-c-1.4.1-1.fc37.aarch64/include/Zycore
filetypes: dffffffffffff
filenames:
  API/Allocator.h/ArgParse.h/Bitset.h/Comparison.h/Format.h/LibC.h/List.h/Object.h/Status.h/String.h/Types.h/Vector.h


