# filelist

dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/muz/transforms
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  dl_mk_array_blast.cpp/dl_mk_array_blast.h/dl_mk_array_eq_rewrite.cpp/dl_mk_array_eq_rewrite.h/dl_mk_array_instantiation.cpp/dl_mk_array_instantiation.h/dl_mk_backwards.cpp/dl_mk_backwards.h/dl_mk_bit_blast.cpp/dl_mk_bit_blast.h/dl_mk_coalesce.cpp/dl_mk_coalesce.h/dl_mk_coi_filter.cpp/dl_mk_coi_filter.h/dl_mk_elim_term_ite.cpp/dl_mk_elim_term_ite.h/dl_mk_filter_rules.cpp/dl_mk_filter_rules.h/dl_mk_interp_tail_simplifier.cpp/dl_mk_interp_tail_simplifier.h/dl_mk_karr_invariants.cpp/dl_mk_karr_invariants.h/dl_mk_loop_counter.cpp/dl_mk_loop_counter.h/dl_mk_magic_sets.cpp/dl_mk_magic_sets.h/dl_mk_magic_symbolic.cpp/dl_mk_magic_symbolic.h/dl_mk_quantifier_abstraction.cpp/dl_mk_quantifier_abstraction.h/dl_mk_quantifier_instantiation.cpp/dl_mk_quantifier_instantiation.h/dl_mk_rule_inliner.cpp/dl_mk_rule_inliner.h/dl_mk_scale.cpp/dl_mk_scale.h/dl_mk_separate_negated_tails.cpp/dl_mk_separate_negated_tails.h/dl_mk_slice.cpp/dl_mk_slice.h/dl_mk_subsumption_checker.cpp/dl_mk_subsumption_checker.h/dl_mk_synchronize.cpp/dl_mk_synchronize.h/dl_mk_unbound_compressor.cpp/dl_mk_unbound_compressor.h/dl_mk_unfold.cpp/dl_mk_unfold.h/dl_transforms.cpp/dl_transforms.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/solver
filetypes: dfffffffffffffffffffffffffff
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_tactical.cpp/parallel_tactical.h/progress_callback.h/simplifier_solver.cpp/simplifier_solver.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/solver_preprocess.cpp/solver_preprocess.h/tactic2solver.cpp/tactic2solver.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.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.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/ast/rewriter
filetypes: ffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
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_bounds_base.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/dom_simplifier.cpp/dom_simplifier.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/inj_axiom.cpp/inj_axiom.h/label_rewriter.cpp/label_rewriter.h/macro_replacer.cpp/macro_replacer.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.13.0-1.fc40.aarch64/src/tactic/arith
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  add_bounds_tactic.cpp/add_bounds_tactic.h/arith_bounds_tactic.cpp/arith_bounds_tactic.h/bv2int_rewriter.cpp/bv2int_rewriter.h/bv2real_rewriter.cpp/bv2real_rewriter.h/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/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.h/purify_arith_tactic.cpp/purify_arith_tactic.h/recover_01_tactic.cpp/recover_01_tactic.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/ast/sls
filetypes: ffffffffffffffffff
filenames:
  bv_sls.cpp/bv_sls.h/bv_sls_eval.cpp/bv_sls_eval.h/bv_sls_fixed.cpp/bv_sls_fixed.h/bv_sls_terms.cpp/bv_sls_terms.h/bvsls_opt_engine.cpp/bvsls_opt_engine.h/sls_engine.cpp/sls_engine.h/sls_evaluator.h/sls_powers.h/sls_stats.h/sls_tracker.h/sls_valuation.cpp/sls_valuation.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/util
filenames:
  approx_nat.cpp/approx_nat.h/approx_set.cpp/approx_set.h/array.h/array_map.h/backtrackable_set.h/basic_interval.h/bit_util.cpp/bit_util.h/bit_vector.cpp/bit_vector.h/buffer.h/cancel_eh.h/chashtable.h/checked_int64.h/cmd_context_types.cpp/cmd_context_types.h/common_msgs.cpp/common_msgs.h/container_util.h/debug.cpp/debug.h/dec_ref_util.h/dependency.h/dictionary.h/dlist.h/double_manager.h/ema.h/env_params.cpp/env_params.h/event_handler.h/ext_numeral.h/f2n.h/file_path.h/fixed_bit_vector.cpp/fixed_bit_vector.h/gparams.cpp/gparams.h/hash.cpp/hash.h/hashtable.h/heap.h/hwf.cpp/hwf.h/id_gen.h/id_var_list.h/inf_eps_rational.h/inf_int_rational.cpp/inf_int_rational.h/inf_rational.cpp/inf_rational.h/inf_s_integer.cpp/inf_s_integer.h/lbool.cpp/lbool.h/lim_vector.h/list.h/luby.cpp/luby.h/map.h/max_cliques.h/memory_manager.cpp/memory_manager.h/min_cut.cpp/min_cut.h/mpbq.cpp/mpbq.h/mpbqi.h/mpf.cpp/mpf.h/mpff.cpp/mpff.h/mpfx.cpp/mpfx.h/mpn.cpp/mpn.h/mpq.cpp/mpq.h/mpq_inf.cpp/mpq_inf.h/mpz.cpp/mpz.h/mpzzp.h/mutex.h/nat_set.h/numeral_buffer.h/obj_hashtable.h/obj_mark.h/obj_pair_hashtable.h/obj_pair_set.h/obj_ref.h/obj_ref_hashtable.h/obj_triple_hashtable.h/optional.h/page.cpp/page.h/params.cpp/params.h/parray.h/permutation.cpp/permutation.h/plugin_manager.h/pool.h/prime_generator.cpp/prime_generator.h/rational.cpp/rational.h/ref.h/ref_buffer.h/ref_pair_vector.h/ref_util.h/ref_vector.h/region.cpp/region.h/rlimit.cpp/rlimit.h/s_integer.cpp/s_integer.h/sat_literal.h/scoped_ctrl_c.cpp/scoped_ctrl_c.h/scoped_limit_trail.h/scoped_numeral.h/scoped_numeral_buffer.h/scoped_numeral_vector.h/scoped_ptr_vector.h/scoped_timer.cpp/scoped_timer.h/scoped_vector.h/sexpr.cpp/sexpr.h/sign.h/small_object_allocator.cpp/small_object_allocator.h/smt2_util.cpp/smt2_util.h/sorting_network.h/stack.cpp/stack.h/stacked_value.h/state_graph.cpp/state_graph.h/statistics.cpp/statistics.h/stopwatch.h/str_hashtable.h/string_buffer.h/symbol.cpp/symbol.h/symbol_table.h/tbv.cpp/tbv.h/timeit.cpp/timeit.h/timeout.cpp/timeout.h/timer.h/top_sort.h/trace.cpp/trace.h/trail.h/uint_set.h/union_find.h/util.cpp/util.h/var_queue.h/vector.h/visit_helper.h/warning.cpp/warning.h/z3_exception.cpp/z3_exception.h/zstring.cpp/zstring.h

filetypes:
[cell repeats an earlier one in this file: 175 characters]


dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/tactic/ufbv
filetypes: ffffffff
filenames:
  macro_finder_tactic.cpp/macro_finder_tactic.h/quasi_macros_tactic.cpp/quasi_macros_tactic.h/ufbv_rewriter_tactic.cpp/ufbv_rewriter_tactic.h/ufbv_tactic.cpp/ufbv_tactic.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/smt/tactic
filetypes: ffffff
filenames:
  ctx_solver_simplify_tactic.cpp/ctx_solver_simplify_tactic.h/smt_tactic_core.cpp/smt_tactic_core.h/unit_subsumption_tactic.cpp/unit_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/tactic/core
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
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/demodulator_tactic.h/der_tactic.cpp/der_tactic.h/distribute_forall_tactic.h/dom_simplify_tactic.h/elim_term_ite_tactic.cpp/elim_term_ite_tactic.h/elim_uncnstr2_tactic.h/elim_uncnstr_tactic.cpp/elim_uncnstr_tactic.h/eliminate_predicates_tactic.h/euf_completion_tactic.cpp/euf_completion_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_values2_tactic.h/propagate_values_tactic.cpp/propagate_values_tactic.h/reduce_args_tactic.cpp/reduce_args_tactic.h/simplify_tactic.cpp/simplify_tactic.h/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.13.0-1.fc40.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.13.0-1.fc40.aarch64/redhat-linux-build/src/params
filetypes: fffffffffffff
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/sls_params.hpp/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/shell
filetypes: fffffffffffff
filenames:
  datalog_frontend.cpp/datalog_frontend.h/dimacs_frontend.cpp/dimacs_frontend.h/drat_frontend.cpp/drat_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.13.0-1.fc40.aarch64/src/tactic
filetypes: ddddfffddfffffffffdffddfffffdf
filenames:
  aig/arith/bv/core/dependency_converter.cpp/dependency_converter.h/dependent_expr_state_tactic.h/fd_solver/fpa/goal.cpp/goal.h/goal_num_occurs.cpp/goal_num_occurs.h/goal_proof_converter.h/goal_shared_occs.cpp/goal_shared_occs.h/goal_util.cpp/goal_util.h/portfolio/probe.cpp/probe.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.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/tactic/fpa
filetypes: ffffffff
filenames:
  fpa2bv_model_converter.cpp/fpa2bv_model_converter.h/fpa2bv_tactic.cpp/fpa2bv_tactic.h/qffp_tactic.cpp/qffp_tactic.h/qffplra_tactic.cpp/qffplra_tactic.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.aarch64/src/ast/simplifiers
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bit2int.h/bit_blaster.cpp/bit_blaster.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bound_simplifier.cpp/bound_simplifier.h/bv_bounds_simplifier.cpp/bv_bounds_simplifier.h/bv_elim.h/bv_slice.cpp/bv_slice.h/card2bv.cpp/card2bv.h/cnf_nnf.h/demodulator_simplifier.cpp/demodulator_simplifier.h/dependent_expr.h/dependent_expr_state.cpp/dependent_expr_state.h/distribute_forall.cpp/distribute_forall.h/dominator_simplifier.cpp/dominator_simplifier.h/elim_bounds.h/elim_term_ite.h/elim_unconstrained.cpp/elim_unconstrained.h/eliminate_predicates.cpp/eliminate_predicates.h/euf_completion.cpp/euf_completion.h/extract_eqs.cpp/extract_eqs.h/flatten_clauses.h/linear_equation.cpp/linear_equation.h/max_bv_sharing.cpp/max_bv_sharing.h/model_reconstruction_trail.cpp/model_reconstruction_trail.h/propagate_values.cpp/propagate_values.h/pull_nested_quantifiers.h/push_ite.h/reduce_args_simplifier.cpp/reduce_args_simplifier.h/refine_inj_axiom.h/rewriter_simplifier.h/solve_context_eqs.cpp/solve_context_eqs.h/solve_eqs.cpp/solve_eqs.h/then_simplifier.h


dirname: /usr/src/debug/z3-4.13.0-1.fc40.aarch64/src/nlsat
filetypes: fffffffffffffffd
filenames:
  nlsat_assignment.h/nlsat_clause.cpp/nlsat_clause.h/nlsat_evaluator.cpp/nlsat_evaluator.h/nlsat_explain.cpp/nlsat_explain.h/nlsat_interval_set.cpp/nlsat_interval_set.h/nlsat_justification.h/nlsat_scoped_literal_vector.h/nlsat_solver.cpp/nlsat_solver.h/nlsat_types.cpp/nlsat_types.h/tactic


dirname: /usr/src/debug/z3-4.13.0-1.fc40.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.13.0-1.fc40.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.13.0-1.fc40.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


filenames: kontact_plugin.moc/moc_kontact_plugin.cpp
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen/include


filenames: moc_part.cpp/part.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/include


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.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


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.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


filenames: moc_zanshinrunner.cpp/zanshinrunner.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen/include


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.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


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/src/zanshin/migrator
filetypes: fffff
filenames:
  main.cpp/zanshin021migrator.cpp/zanshin021migrator.h/zanshincontextitemsmigrator.cpp/zanshincontextitemsmigrator.h


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen


filenames: mocs_compilation.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/migrator/zanshin-migrator_autogen


filenames: include
filetypes: d
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/presentation/presentation_autogen


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/akonadi/akonadi_autogen/include

filenames:
  akonadicachingstorage.moc/akonadistorage.moc/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


filetypes: fffffffffffff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/widgets/widgets_autogen/include

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/nameanddatasourcedialog.moc/pageview.moc


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/presentation/presentation_autogen/include

filenames:
  editormodel.moc/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: qrc_kontact_plugins.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/EWIEGA46WW


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.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


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.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: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/compiler_rt
filenames:
  aarch64_outline_atomics.zig/absv.zig/absvdi2.zig/absvsi2.zig/absvti2.zig/adddf3.zig/addf3.zig/addhf3.zig/addo.zig/addsf3.zig/addtf3.zig/addxf3.zig/arm.zig/atomics.zig/aulldiv.zig/aullrem.zig/bcmp.zig/bswap.zig/ceil.zig/clear_cache.zig/cmp.zig/cmpdf2.zig/cmphf2.zig/cmpsf2.zig/cmptf2.zig/cmpxf2.zig/common.zig/comparef.zig/cos.zig/count0bits.zig/divc3.zig/divdc3.zig/divdf3.zig/divhc3.zig/divhf3.zig/divsc3.zig/divsf3.zig/divtc3.zig/divtf3.zig/divti3.zig/divxc3.zig/divxf3.zig/exp.zig/exp2.zig/extenddftf2.zig/extenddfxf2.zig/extendf.zig/extendhfdf2.zig/extendhfsf2.zig/extendhftf2.zig/extendhfxf2.zig/extendsfdf2.zig/extendsftf2.zig/extendsfxf2.zig/extendxftf2.zig/fabs.zig/fixdfdi.zig/fixdfsi.zig/fixdfti.zig/fixhfdi.zig/fixhfsi.zig/fixhfti.zig/fixsfdi.zig/fixsfsi.zig/fixsfti.zig/fixtfdi.zig/fixtfsi.zig/fixtfti.zig/fixunsdfdi.zig/fixunsdfsi.zig/fixunsdfti.zig/fixunshfdi.zig/fixunshfsi.zig/fixunshfti.zig/fixunssfdi.zig/fixunssfsi.zig/fixunssfti.zig/fixunstfdi.zig/fixunstfsi.zig/fixunstfti.zig/fixunsxfdi.zig/fixunsxfsi.zig/fixunsxfti.zig/fixxfdi.zig/fixxfsi.zig/fixxfti.zig/float_from_int.zig/floatdidf.zig/floatdihf.zig/floatdisf.zig/floatditf.zig/floatdixf.zig/floatsidf.zig/floatsihf.zig/floatsisf.zig/floatsitf.zig/floatsixf.zig/floattidf.zig/floattihf.zig/floattisf.zig/floattitf.zig/floattixf.zig/floatundidf.zig/floatundihf.zig/floatundisf.zig/floatunditf.zig/floatundixf.zig/floatunsidf.zig/floatunsihf.zig/floatunsisf.zig/floatunsitf.zig/floatunsixf.zig/floatuntidf.zig/floatuntihf.zig/floatuntisf.zig/floatuntitf.zig/floatuntixf.zig/floor.zig/fma.zig/fmax.zig/fmin.zig/fmod.zig/gedf2.zig/gehf2.zig/gesf2.zig/getf2.zig/gexf2.zig/int.zig/int_from_float.zig/log.zig/log10.zig/log2.zig/memcmp.zig/memcpy.zig/memmove.zig/memset.zig/modti3.zig/mulXi3.zig/mulc3.zig/muldc3.zig/muldf3.zig/mulf3.zig/mulhc3.zig/mulhf3.zig/mulo.zig/mulsc3.zig/mulsf3.zig/multc3.zig/multf3.zig/mulxc3.zig/mulxf3.zig/negXi2.zig/negdf2.zig/neghf2.zig/negsf2.zig/negtf2.zig/negv.zig/negxf2.zig/os_version_check.zig/parity.zig/popcount.zig/powiXf2.zig/rem_pio2.zig/rem_pio2_large.zig/rem_pio2f.zig/round.zig/shift.zig/sin.zig/sincos.zig/sqrt.zig/ssp.zig/stack_probe.zig/subdf3.zig/subhf3.zig/subo.zig/subsf3.zig/subtf3.zig/subxf3.zig/tan.zig/trig.zig/trunc.zig/truncdfhf2.zig/truncdfsf2.zig/truncf.zig/truncsfhf2.zig/trunctfdf2.zig/trunctfhf2.zig/trunctfsf2.zig/trunctfxf2.zig/truncxfdf2.zig/truncxfhf2.zig/truncxfsf2.zig/udivmod.zig/udivmodei4.zig/udivmodti4.zig/udivti3.zig/umodti3.zig/unorddf2.zig/unordhf2.zig/unordsf2.zig/unordtf2.zig/unordxf2.zig

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/src/link
filetypes: fdffdfdffdfdffdffffdf
filenames:
  C.zig/Coff/Coff.zig/Dwarf.zig/Elf/Elf.zig/MachO/MachO.zig/NvPtx.zig/Plan9/Plan9.zig/SpirV/SpirV.zig/StringTable.zig/Wasm/Wasm.zig/aarch64.zig/riscv.zig/table_section.zig/tapi/tapi.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/compress/flate
filetypes: fffffff
filenames:
  CircularBuffer.zig/Token.zig/bit_reader.zig/consts.zig/container.zig/huffman_decoder.zig/inflate.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/src/arch/x86_64
filetypes: ffffffffff
filenames:
  CodeGen.zig/Disassembler.zig/Emit.zig/Encoding.zig/Lower.zig/Mir.zig/abi.zig/bits.zig/encoder.zig/encodings.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/crypto
filetypes: ddffdfffffffffffffdffffffdff
filenames:
  25519/Certificate/Certificate.zig/aegis.zig/aes/aes.zig/aes_gcm.zig/blake3.zig/chacha20.zig/ecdsa.zig/ff.zig/ghash_polyval.zig/hkdf.zig/hmac.zig/keccak_p.zig/md5.zig/ml_kem.zig/modes.zig/pcurves/poly1305.zig/sha1.zig/sha2.zig/sha3.zig/siphash.zig/tlcsprng.zig/tls/tls.zig/utils.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/io
filetypes: ffffffffffff
filenames:
  Reader.zig/Writer.zig/bit_reader.zig/buffered_reader.zig/buffered_writer.zig/counting_reader.zig/counting_writer.zig/fixed_buffer_stream.zig/limited_reader.zig/multi_writer.zig/seekable_stream.zig/tty.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/src/link/Elf
filetypes: ffffffffffffffff
filenames:
  Archive.zig/Atom.zig/LdScript.zig/LinkerDefined.zig/Object.zig/SharedObject.zig/Symbol.zig/ZigObject.zig/eh_frame.zig/file.zig/gc.zig/merge_section.zig/relocatable.zig/relocation.zig/synthetic_sections.zig/thunks.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/src
filetypes: ffdffffdffdffdfffdffffffdffffffffffffffffffffff
filenames:
  Air.zig/Builtin.zig/Compilation/Compilation.zig/InternPool.zig/Liveness.zig/Module.zig/Package/Package.zig/RangeSet.zig/Sema/Sema.zig/Value.zig/arch/clang.zig/clang_options.zig/clang_options_data.zig/codegen/codegen.zig/glibc.zig/introspect.zig/libcxx.zig/libtsan.zig/libunwind.zig/link/link.zig/main.zig/mingw.zig/musl.zig/mutable_value.zig/print_env.zig/print_targets.zig/print_value.zig/register_manager.zig/target.zig/tracy.zig/translate_c.zig/type.zig/wasi_libc.zig/zig_clang.cpp/zig_clang.h/zig_clang_cc1_main.cpp/zig_clang_cc1as_main.cpp/zig_clang_driver.cpp/zig_llvm-ar.cpp/zig_llvm.cpp/zig_llvm.h


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/compiler/aro/aro
filetypes: dfdffdfffffffffffdfffdfffff
filenames:
  Attribute/Attribute.zig/Builtins/Builtins.zig/Compilation.zig/Diagnostics/Diagnostics.zig/Hideset.zig/InitList.zig/LangOpts.zig/Parser.zig/Pragma.zig/Preprocessor.zig/Source.zig/StringInterner.zig/SymbolStack.zig/Tokenizer.zig/Tree/Tree.zig/Type.zig/Value.zig/char_info/char_info.zig/features.zig/record_layout.zig/target.zig/text_literal.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/Target
filetypes: fffffffffffffffffffffff
filenames:
  Query.zig/aarch64.zig/amdgpu.zig/arc.zig/arm.zig/avr.zig/bpf.zig/csky.zig/hexagon.zig/loongarch.zig/m68k.zig/mips.zig/msp430.zig/nvptx.zig/powerpc.zig/riscv.zig/s390x.zig/sparc.zig/spirv.zig/ve.zig/wasm.zig/x86.zig/xtensa.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std
filetypes: fdfdfffdfdfffffffffdffdfdffdffffdfdfdffdfdfdfdffffdfdfffffdfffdfffdffffdfdfffdff
filenames:
  BitStack.zig/Build/Progress.zig/Random/Random.zig/RingBuffer.zig/SemanticVersion.zig/Target/Target.zig/Thread/Thread.zig/Uri.zig/array_hash_map.zig/array_list.zig/ascii.zig/atomic.zig/base64.zig/bit_set.zig/builtin.zig/c/c.zig/coff.zig/compress/compress.zig/crypto/crypto.zig/debug.zig/dwarf/dwarf.zig/elf.zig/enums.zig/fifo.zig/fmt/fmt.zig/fs/fs.zig/hash/hash.zig/hash_map.zig/heap/heap.zig/http/http.zig/io/io.zig/json/leb128.zig/linked_list.zig/log.zig/macho.zig/math/math.zig/mem/mem.zig/meta.zig/multi_array_list.zig/net.zig/once.zig/os/os.zig/packed_int_array.zig/posix.zig/process/process.zig/segmented_list.zig/simd.zig/sort/sort.zig/start.zig/static_string_map.zig/std.zig/tar/tar.zig/time/time.zig/unicode.zig/wasm.zig/zig/zig.zig/zip.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/zig
filetypes: fffffffffffffffdfff
filenames:
  Ast.zig/AstGen.zig/AstRlAnnotate.zig/BuiltinFn.zig/Client.zig/ErrorBundle.zig/LibCDirs.zig/LibCInstallation.zig/Parse.zig/Server.zig/Zir.zig/number_literal.zig/primitives.zig/render.zig/string_literal.zig/system/system.zig/target.zig/tokenizer.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/fmt/parse_float
filetypes: ffffffff
filenames:
  FloatStream.zig/common.zig/convert_eisel_lemire.zig/convert_fast.zig/convert_hex.zig/convert_slow.zig/decimal.zig/parse.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/lib/std/math
filetypes: dffffffffffffffff
filenames:
  big/big.zig/copysign.zig/frexp.zig/ilogb.zig/isfinite.zig/isinf.zig/isnan.zig/iszero.zig/ldexp.zig/log.zig/log2.zig/log_int.zig/pow.zig/powi.zig/signbit.zig/sqrt.zig


dirname: /usr/src/debug/zig-0.13.0-1.fc40.aarch64/src/link/MachO
filetypes: fffffffffffffdfffffffff
filenames:
  Archive.zig/Atom.zig/CodeSignature.zig/DebugSymbols.zig/Dylib.zig/InternalObject.zig/Object.zig/Relocation.zig/Symbol.zig/UnwindInfo.zig/ZigObject.zig/dead_strip.zig/dwarf.zig/dyld_info/eh_frame.zig/fat.zig/file.zig/hasher.zig/load_commands.zig/relocatable.zig/synthetic.zig/thunks.zig/uuid.zig


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/utils
filetypes: ffffffffdffffffffffff
filenames:
  Augeas.cc/Augeas.h/MultiParText.h/Offering.h/XmlFilter.h/ansi.h/colors.h/console.h/flags/getopt.cc/getopt.h/messages.cc/messages.h/misc.cc/misc.h/pager.cc/pager.h/prompt.cc/prompt.h/richtext.h/text.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/commands/query
filetypes: fffffffffff
filenames:
  info.cc/info.h/miscqueryinit.h/packages.cc/packages.h/patches.cc/patches.h/patterns.cc/patterns.h/products.cc/products.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/commands/services
filetypes: ffffffffffff
filenames:
  add.cc/add.h/common.cc/common.h/list.cc/list.h/modify.cc/modify.h/refresh.cc/refresh.h/remove.cc/remove.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/commands
filetypes: ffffffffffffffffffffddffffffffffffddffdffdffffffffffd
filenames:
  basecommand.cc/basecommand.h/commandhelpformatter.h/commonflags.h/conditions.cc/conditions.h/configtest.cc/configtest.h/distupgrade.cc/distupgrade.h/help.cc/help.h/inrverify.cc/inrverify.h/installremove.cc/installremove.h/listpatches.cc/listpatches.h/listupdates.cc/listupdates.h/locale/locks/needs-rebooting.cc/needs-rebooting.h/nullcommands.cc/nullcommands.h/optionsets.cc/optionsets.h/patch.cc/patch.h/patchcheck.cc/patchcheck.h/ps.cc/ps.h/query/repos/reposerviceoptionsets.cc/reposerviceoptionsets.h/search/selectpatchoptionset.cc/selectpatchoptionset.h/services/shell.cc/shell.h/solveroptionset.cc/solveroptionset.h/sourceinstall.cc/sourceinstall.h/subcommand.cc/subcommand.h/update.cc/update.h/utils


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/commands/repos
filetypes: ffffffffffffff
filenames:
  add.cc/add.h/clean.cc/clean.h/list.cc/list.h/modify.cc/modify.h/refresh.cc/refresh.h/remove.cc/remove.h/rename.cc/rename.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src/commands/utils
filetypes: ffffffffffff
filenames:
  download.cc/download.h/licenses.cc/licenses.h/purge-kernels.cc/purge-kernels.h/source-download.cc/source-download.h/targetos.cc/targetos.h/versioncmp.cc/versioncmp.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.aarch64/src
filetypes: fffffffffffffffffddfffffffffffdffffffffdf
filenames:
  Command.cc/Command.h/CommitSummary.cc/CommitSummary.h/Config.cc/Config.h/Guardians.h/PackageArgs.cc/PackageArgs.h/RequestFeedback.cc/SolverRequester.cc/SolverRequester.h/Summary.cc/Summary.h/Table.h/Zypper.cc/Zypper.h/callbacks/commands/global-settings.cc/global-settings.h/info.cc/info.h/issue.cc/issue.h/locales.cc/locales.h/main.cc/misc.cc/misc.h/output/repos.cc/repos.h/search.cc/search.h/solve-commit.cc/solve-commit.h/update.cc/update.h/utils/zypp-refresh.cc


