MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

⨍ Functions 1,932◇ Types & classes 351
↓ 1 callersMethod_get_test_event
(self, test, first_start_time)
tests/lit/lit/reports.py:268
↓ 1 callersMethod_handleCommand
A helper for parsing COMMAND type keywords
tests/lit/lit/TestRunner.py:1942
↓ 1 callersMethod_increase_process_limit
(self)
tests/lit/lit/run.py:120
↓ 1 callersFunction_parseKeywords
_parseKeywords Scan an LLVM/Clang style integrated test script and extract all the lines pertaining to a special parser. This includes 'RUN',
tests/lit/lit/TestRunner.py:2019
↓ 1 callersFunction_runShTest
(test, litConfig, useExternalSh, script, tmpBase)
tests/lit/lit/TestRunner.py:2163
↓ 1 callersMethod_update_test
(self, local_test, remote_test)
tests/lit/lit/run.py:111
↓ 1 callersMethod_wait_for
(self, async_results, deadline)
tests/lit/lit/run.py:94
↓ 1 callersMethod_write_test
(self, file, test, suite_name)
tests/lit/lit/reports.py:119
↓ 1 callersMethod_write_testsuite
(self, file, suite, tests)
tests/lit/lit/reports.py:107
↓ 1 callersMethodaccess
ir/memory.cpp:1090
↓ 1 callersMethodadapt
tools/quick-fuzz.cpp:171
↓ 1 callersMethodaddArgTy
tools/quick-fuzz.cpp:163
↓ 1 callersMethodaddCondJump
ir/state.cpp:868
↓ 1 callersMethodaddExitBlock
ir/function.cpp:76
↓ 1 callersMethodaddFnCall
ir/state.cpp:1073
↓ 1 callersMethodaddGlobalVarBid
ir/state.cpp:1460
↓ 1 callersMethodaddNoUOverflow
ir/pointer.cpp:388
↓ 1 callersMethodaddNonDetVar
ir/state.cpp:1347
↓ 1 callersMethodaddProcess
(self, proc)
tests/lit/lit/TestRunner.py:128
↓ 1 callersMethodaddReturn
ir/state.cpp:875
↓ 1 callersMethodaddUnreachable
ir/state.cpp:937
↓ 1 callersMethodaddVal
tools/quick-fuzz.cpp:142
↓ 1 callersMethodaddWarning
util/errors.cpp:36
↓ 1 callersMethodadd_no_usoverflow
smt/expr.cpp:880
↓ 1 callersMethodadjust_substitutions
Modify the specified substitution list as specified by this directive.
tests/lit/lit/TestRunner.py:1583
↓ 1 callersFunctionalign_gt_size
ir/memory.cpp:181
↓ 1 callersMethodallowedKeywordSuffixes
(value)
tests/lit/lit/TestRunner.py:1820
↓ 1 callersFunctionalways_alive
bid: nonlocal block id
ir/memory.cpp:92
↓ 1 callersFunctionapplySubstitutions
Apply substitutions to the script. Allow full regular expression syntax. Replace each matching occurrence of regular expression pattern a wi
tests/lit/lit/TestRunner.py:1628
↓ 1 callersMethodashr_exact
smt/expr.cpp:1035
↓ 1 callersMethodast
smt/expr.cpp:97
↓ 1 callersMethodbinop_fold
smt/expr.cpp:704
↓ 1 callersMethodbitreverse
smt/expr.cpp:1075
↓ 1 callersMethodbitsPtrOffset
ir/function.h:185
↓ 1 callersMethodblock
smt/solver.cpp:430
↓ 1 callersMethodbswap
smt/expr.cpp:1061
↓ 1 callersFunctionbuild_icmp_chain
ir/instr.cpp:2831
↓ 1 callersFunctionbytesToValue
ir/memory.cpp:631
↓ 1 callersFunctioncalculateAndInitConstants
tools/transform.cpp:977
↓ 1 callersMethodcanRead
format ..rw..
ir/attrs.cpp:162
↓ 1 callersMethodcanWriteSomething
ir/attrs.cpp:214
↓ 1 callersFunctioncheckToolsPath
(dir, tools)
tests/lit/lit/util.py:260
↓ 1 callersFunctioncheck_ret_attributes
ir/instr.cpp:3377
↓ 1 callersMethodcleanupPredecessorData
ir/state.cpp:722
↓ 1 callersMethodclear_smt
ir/state.cpp:109
↓ 1 callersMethodcmp_eq
smt/expr.cpp:1490
↓ 1 callersFunctioncollect_gep_offsets
tools/transform.cpp:882
↓ 1 callersFunctioncolonNormalizePath
(path)
tests/lit/lit/TestRunner.py:1329
↓ 1 callersMethodcombine_poison
ir/type.cpp:265
↓ 1 callersFunctioncompareDirTrees
(flags, dir_trees, base_paths=["", ""])
tests/lit/lit/builtin_commands/diff.py:160
↓ 1 callersFunctioncompareTwoBinaryFiles
(flags, filepaths, filelines)
tests/lit/lit/builtin_commands/diff.py:60
↓ 1 callersMethodcomputeAccessStats
ir/memory.cpp:810
↓ 1 callersMethodcomputeAliasing
ir/memory.cpp:1013
↓ 1 callersFunctionconvertToCaretAndMNotation
(data)
tests/lit/lit/builtin_commands/cat.py:10
↓ 1 callersMethodcopy
ir/memory.cpp:2501
↓ 1 callersMethodcopySMTName
ir/value.cpp:199
↓ 1 callersFunctioncorrect_without_undef
($test, $func)
scripts/gen-dashboard.php:82
↓ 1 callersFunctioncount_runnable
tools/alive-jobserver.cpp:44
↓ 1 callersFunctioncount_tokens
tools/alive-jobserver.cpp:73
↓ 1 callersFunctioncrc_finalize
* Calculate the final crc value. * * \param[in] crc The current crc value. * \return The final crc value. */
util/crc.h:90
↓ 1 callersFunctioncrc_init
* Calculate the initial crc value. * * \return The initial crc value. */
util/crc.h:70
↓ 1 callersFunctioncrc_update
util/crc.cpp:111
↓ 1 callersFunctioncreate_params
(builtin_params, user_params)
tests/lit/lit/main.py:160
↓ 1 callersMethodctpop
smt/expr.cpp:1111
↓ 1 callersMethoddecl
smt/expr.cpp:166
↓ 1 callersMethoddel
smt/exprs.cpp:44
↓ 1 callersFunctiondetermine_order
(tests, order)
tests/lit/lit/main.py:193
↓ 1 callersFunctiondiff_runs
($hash1, $hash2)
web/index.php:172
↓ 1 callersFunctiondisjoint
Assumes that both begin + len don't overflow
ir/pointer.cpp:48
↓ 1 callersMethoddist
tools/quick-fuzz.cpp:113
↓ 1 callersFunctiondo_plot
($data)
web/index.php:216
↓ 1 callersMethoddup
ir/function.cpp:104
↓ 1 callersMethoddupNoRead
ir/memory.cpp:1560
↓ 1 callersFunctiondup_aggregate
ir/instr.cpp:1092
↓ 1 callersFunctionemitCommandLine
tv/tv.cpp:139
↓ 1 callersFunctionencode_undef_refinement_per_elem
tools/transform.cpp:447
↓ 1 callersMethodend
smt/exprs.h:148
↓ 1 callersMethodenforceIntOrPtrOrVectorType
ir/type.cpp:196
↓ 1 callersMethodenforceScalarType
ir/type.cpp:149
↓ 1 callersMethodenforceVectorTypeSameChildTy
ir/type.cpp:165
↓ 1 callersFunctionensure_non_fncallmem
ir/memory.cpp:83
↓ 1 callersMethodescapeLocalPtr
ir/memory.cpp:2869
↓ 1 callersFunctionexecuteScript
(test, litConfig, tmpBase, commands, cwd)
tests/lit/lit/TestRunner.py:1160
↓ 1 callersFunctionexecuteScriptInternal
( test, litConfig, tmpBase, commands, cwd, debug=True )
tests/lit/lit/TestRunner.py:1034
↓ 1 callersFunctionexecuteShCmd
Wrapper around _executeShCmd that handles timeout
tests/lit/lit/TestRunner.py:194
↓ 1 callersFunctionexecute_in_tmp_dir
(run, lit_config)
tests/lit/lit/main.py:273
↓ 1 callersFunctionextract_possible_local_bids
ir/memory.cpp:896
↓ 1 callersMethodfillPoison
ir/memory.cpp:2550
↓ 1 callersFunctionfilter_by_shard
(tests, run, shards, lit_config)
tests/lit/lit/main.py:210
↓ 1 callersMethodfinish
finish() - Finish this config object, after loading is complete.
tests/lit/lit/TestingConfig.py:217
↓ 1 callersMethodfinishInitializer
ir/state.cpp:1390
↓ 1 callersMethodfinishParent
util/parallel.cpp:200
↓ 1 callersMethodfixup
ir/type.cpp:308
↓ 1 callersMethodfixupTypes
tools/transform.cpp:1541
↓ 1 callersMethodfloat2Float
smt/expr.cpp:2027
↓ 1 callersMethodfloat2Real
smt/expr.cpp:2012
↓ 1 callersMethodfloor
smt/expr.cpp:1324
↓ 1 callersMethodfninputRefined
ir/pointer.cpp:833
↓ 1 callersMethodfogt
smt/expr.cpp:1338
↓ 1 callersMethodfoldTopLevel
smt/expr.cpp:2230
← previousnext →701–800 of 1,932, ranked by callers