/dports/math/eprover/eprover-E-2.0/PROVER/ |
H A D | ekb_insert.c | 91 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 D | ekb_ginsert.c | 90 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 D | ekb_delete.c | 80 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 D | meson.build | 53 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 D | meson.build | 60 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 D | unit_tester.cc | 97 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 D | docs.cmake | 177 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 D | subr_extent.c | 299 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 D | docs.cmake | 201 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 D | docs.cmake | 207 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 D | docs.cmake | 201 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 D | docs.cmake | 201 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 D | docs.cmake | 201 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 D | conductor.hh | 33 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 D | analyze.c | 149 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 D | TimblAPI.cxx | 49 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 D | meson.build | 16 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 D | meson.build | 16 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 D | meson.build | 48 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 D | docs.cmake | 264 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 D | docs.cmake | 265 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 D | docs.cmake | 266 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 D | deffilep.y | 598 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 D | deffilep.y | 607 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 D | deffilep.y | 607 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 …]
|