Home
last modified time | relevance | path

Searched refs:ex_name (Results 1 – 25 of 156) sorted by relevance

1234567

/dports/math/eprover/eprover-E-2.0/PROVER/
H A Dekb_insert.c91 char* ex_name = NULL; variable
171 ex_name = FileFindBaseName(state->argv[i]); in main()
174 if(!ex_name) in main()
178 ex_name = defaultname; in main()
181 if(ExampleSetFindName(proof_examples, ex_name)) in main()
186 DStrAppendStr(error, ex_name); in main()
193 VERBOUTARG("New example will use name ", ex_name); in main()
199 DStrAppendStr(store_file, ex_name); in main()
207 KBParseExampleFile(in, ex_name, proof_examples, clause_examples, in main()
211 ex_name = NULL; in main()
[all …]
H A Dekb_ginsert.c90 char* ex_name = NULL; variable
137 if(!ex_name && state->argv[0] && (strcmp(state->argv[0], "-")!= 0)) in main()
139 ex_name = FileFindBaseName(state->argv[0]); in main()
169 if(!ex_name) in main()
173 ex_name = defaultname; in main()
175 if(ExampleSetFindName(proof_examples, ex_name)) in main()
180 DStrAppendStr(error, ex_name); in main()
187 VERBOUTARG("New example will use name ", ex_name); in main()
196 DStrAppendStr(store_file, ex_name); in main()
263 KBParseExampleFile(in, ex_name, proof_examples, clause_examples, in main()
[all …]
H A Dekb_delete.c80 char* ex_name; variable
119 ex_name = state->argv[0]; in main()
145 to_delete = ExampleSetFindName(proof_examples, ex_name); in main()
151 DStrAppendStr(error, ex_name); in main()
164 DStrAppendStr(store_file, ex_name); in main()
238 ex_name = arg; in process_options()
/dports/devel/libsigc++20/libsigc++-2.10.4/tests/
H A Dmeson.build53 ex_name = (dir / ex[1]).underscorify() variable
59 exe_file = executable(ex_name, ex_sources,
65 test(ex_name, exe_file)
74 ex_name = (dir / ex[1]).underscorify() variable
80 exe_file = executable(ex_name, ex_sources,
87 test(ex_name, exe_file,
/dports/devel/libsigc++30/libsigc++-3.0.7/tests/
H A Dmeson.build60 ex_name = (dir / ex[1]).underscorify() variable
66 exe_file = executable(ex_name, ex_sources,
73 test(ex_name, exe_file)
82 ex_name = (dir / ex[1]).underscorify() variable
88 exe_file = executable(ex_name, ex_sources,
96 test(ex_name, exe_file,
/dports/devel/monotone/monotone-1.1/test/unit/
H A Dunit_tester.cc97 char const * ex_name = typeid(ex).name(); in log_exception() local
98 char const * ex_dem = demangle_typename(ex_name); in log_exception()
102 ex_dem = ex_name; in log_exception()
112 || !strcmp(ex_what, ex_name) in log_exception()
128 char const * ex_name = ex_type->name(); in log_exception() local
129 char const * ex_dem = demangle_typename(ex_name); in log_exception()
131 ex_dem = ex_name; in log_exception()
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/aom/
H A Ddocs.cmake177 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
178 get_name("${ex_name}" "ex_name")
182 if ("${ex_name}" MATCHES "aomdec\|aomenc")
187 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
193 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
194 get_name("${ex_name}" "ex_name")
196 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/misc/rump/buildrump.sh-b914579/src/sys/kern/
H A Dsubr_extent.c299 ex->ex_name = name; in extent_create()
467 ex->ex_name, size); in extent_alloc_region()
473 ex->ex_name, start, size); in extent_alloc_region()
494 ex->ex_name, ex->ex_start, ex->ex_end); in extent_alloc_region()
631 ex->ex_name, ex->ex_start, ex->ex_end); in extent_alloc_subregion1()
638 ex->ex_name, size); in extent_alloc_subregion1()
646 "boundary 0x%lx\n", ex->ex_name, size, boundary); in extent_alloc_subregion1()
714 ex->ex_name, ex->ex_start, ex->ex_end, alignment); in extent_alloc_subregion1()
1027 ex->ex_name, start, size); in extent_free()
1029 ex->ex_name); in extent_free()
[all …]
/dports/www/firefox-esr/firefox-91.8.0/third_party/aom/
H A Ddocs.cmake201 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
202 get_name("${ex_name}" "ex_name")
206 if("${ex_name}" MATCHES "aomdec\|aomenc")
211 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
217 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
218 get_name("${ex_name}" "ex_name")
220 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libaom/source/libaom/
H A Ddocs.cmake207 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
208 get_name("${ex_name}" "ex_name")
212 if("${ex_name}" MATCHES "aomdec\|aomenc")
217 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
223 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
224 get_name("${ex_name}" "ex_name")
226 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/www/firefox/firefox-99.0/third_party/aom/
H A Ddocs.cmake201 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
202 get_name("${ex_name}" "ex_name")
206 if("${ex_name}" MATCHES "aomdec\|aomenc")
211 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
217 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
218 get_name("${ex_name}" "ex_name")
220 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/aom/
H A Ddocs.cmake201 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
202 get_name("${ex_name}" "ex_name")
206 if("${ex_name}" MATCHES "aomdec\|aomenc")
211 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
217 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
218 get_name("${ex_name}" "ex_name")
220 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/aom/
H A Ddocs.cmake201 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
202 get_name("${ex_name}" "ex_name")
206 if("${ex_name}" MATCHES "aomdec\|aomenc")
211 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
217 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
218 get_name("${ex_name}" "ex_name")
220 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/math/minizinc-ide/MiniZincIDE-2.5.5/cp-profiler/src/cpprofiler/
H A Dconductor.hh33 std::string ex_name; member
46 void handleStart(ReceiverThread *receiver, const std::string &ex_name,
49 Execution *addNewExecution(const std::string &ex_name, int ex_id = 0,
/dports/devel/mimir/mimir-2.15/dcg/
H A Danalyze.c149 static void analyze_ex_name (def_list defs, string ex_name) in analyze_ex_name() argument
153 if (streq (ex_name, d -> lhs)) in analyze_ex_name()
155 panic ("%s is not a record type", ex_name); in analyze_ex_name()
159 panic ("type %s does not exist", ex_name); in analyze_ex_name()
/dports/math/timbl/timbl-6.6/src/
H A DTimblAPI.cxx49 TimblExperiment *Create_Pimpl( AlgorithmType algo, const string& ex_name, in Create_Pimpl() argument
54 result = new IB1_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
57 result = new IB2_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
60 result = new IG_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
63 result = new TRIBL_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
66 result = new TRIBL2_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
69 result = new LOO_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
72 result = new CV_Experiment( opt->MaxFeatures(), ex_name ); in Create_Pimpl()
/dports/devel/libsigc++20/libsigc++-2.10.4/examples/
H A Dmeson.build16 ex_name = (dir / ex[1]).underscorify() variable
22 exe_file = executable(ex_name, ex_sources,
/dports/devel/libsigc++30/libsigc++-3.0.7/examples/
H A Dmeson.build16 ex_name = (dir / ex[1]).underscorify() variable
22 exe_file = executable(ex_name, ex_sources,
/dports/devel/glibmm/glibmm-2.64.2/tests/
H A Dmeson.build48 ex_name = (dir / ex[1]).underscorify() variable
54 exe_file = executable(ex_name, ex_sources,
62 test(ex_name, exe_file)
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libaom/source/libaom/
H A Ddocs.cmake264 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
265 get_name("${ex_name}" "ex_name")
269 if("${ex_name}" MATCHES "aomdec\|aomenc")
274 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
280 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
281 get_name("${ex_name}" "ex_name")
283 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/graphics/dssim/dssim-3.1.2/cargo-crates/libaom-sys-0.9.1/vendor/
H A Ddocs.cmake265 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
266 get_name("${ex_name}" "ex_name")
270 if("${ex_name}" MATCHES "aomdec\|aomenc")
275 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
281 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
282 get_name("${ex_name}" "ex_name")
284 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/multimedia/aom/aom-3.2.0/
H A Ddocs.cmake266 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${NUM} ex_name)
267 get_name("${ex_name}" "ex_name")
271 if("${ex_name}" MATCHES "aomdec\|aomenc")
276 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
282 list(GET AOM_DOXYGEN_EXAMPLE_SOURCES ${util_index} ex_name)
283 get_name("${ex_name}" "ex_name")
285 file(APPEND "${samples_dox}" " - \\subpage example_${ex_name} ${ex_desc}\n")
/dports/devel/binutils/binutils-2.37/ld/
H A Ddeffilep.y598 cmp_export_elem (const def_file_export *e, const char *ex_name, in cmp_export_elem() argument
604 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_export_elem()
619 const char *ex_name, const char *in_name, in find_export_in_list() argument
627 if ((e = cmp_export_elem (b, ex_name, in_name, its_name, ord)) <= 0) in find_export_in_list()
647 e = cmp_export_elem (b + p, ex_name, in_name, its_name, ord); in find_export_in_list()
741 cmp_import_elem (const def_file_import *e, const char *ex_name, in cmp_import_elem() argument
749 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_import_elem()
764 const char *ex_name, const char *in_name, in find_import_in_list() argument
772 if ((e = cmp_import_elem (b, ex_name, in_name, module, ord)) <= 0) in find_import_in_list()
792 e = cmp_import_elem (b + p, ex_name, in_name, module, ord); in find_import_in_list()
[all …]
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/ld/
H A Ddeffilep.y607 cmp_export_elem (const def_file_export *e, const char *ex_name, in cmp_export_elem() argument
613 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_export_elem()
628 const char *ex_name, const char *in_name, in find_export_in_list() argument
636 if ((e = cmp_export_elem (b, ex_name, in_name, its_name, ord)) <= 0) in find_export_in_list()
656 e = cmp_export_elem (b + p, ex_name, in_name, its_name, ord); in find_export_in_list()
750 cmp_import_elem (const def_file_import *e, const char *ex_name, in cmp_import_elem() argument
758 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_import_elem()
773 const char *ex_name, const char *in_name, in find_import_in_list() argument
781 if ((e = cmp_import_elem (b, ex_name, in_name, module, ord)) <= 0) in find_import_in_list()
801 e = cmp_import_elem (b + p, ex_name, in_name, module, ord); in find_import_in_list()
[all …]
/dports/lang/gnatdroid-binutils/binutils-2.27/ld/
H A Ddeffilep.y607 cmp_export_elem (const def_file_export *e, const char *ex_name, in cmp_export_elem() argument
613 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_export_elem()
628 const char *ex_name, const char *in_name, in find_export_in_list() argument
636 if ((e = cmp_export_elem (b, ex_name, in_name, its_name, ord)) <= 0) in find_export_in_list()
656 e = cmp_export_elem (b + p, ex_name, in_name, its_name, ord); in find_export_in_list()
750 cmp_import_elem (const def_file_import *e, const char *ex_name, in cmp_import_elem() argument
758 if ((r = are_names_equal (ex_name, e->name)) != 0) in cmp_import_elem()
773 const char *ex_name, const char *in_name, in find_import_in_list() argument
781 if ((e = cmp_import_elem (b, ex_name, in_name, module, ord)) <= 0) in find_import_in_list()
801 e = cmp_import_elem (b + p, ex_name, in_name, module, ord); in find_import_in_list()
[all …]

1234567