Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ functions
Functions
1,932 in github.com/AliveToolkit/alive2
⨍
Functions
1,932
◇
Types & classes
351
↓ 2 callers
Function
mk_liveness_array
ir/memory.cpp:1425
↓ 2 callers
Function
mul_saturate
util/compiler.cpp:57
↓ 2 callers
Method
notImplies
smt/expr.cpp:1716
↓ 2 callers
Function
now
util/stopwatch.cpp:11
↓ 2 callers
Method
numElementsExcludingPadding
ir/type.cpp:804
↓ 2 callers
Function
num_ptrs
tools/transform.cpp:784
↓ 2 callers
Function
optimize_ptrcmp
tools/transform.cpp:1669
↓ 2 callers
Method
parseAND
(self)
tests/lit/lit/BooleanExpression.py:130
↓ 2 callers
Method
parseNOT
(self)
tests/lit/lit/BooleanExpression.py:115
↓ 2 callers
Method
parseOR
(self)
tests/lit/lit/BooleanExpression.py:140
↓ 2 callers
Method
parse_command
(self)
tests/lit/lit/ShUtil.py:215
↓ 2 callers
Function
parse_fcmp_cond
llvm_util/llvm2alive.cpp:65
↓ 2 callers
Function
parse_fn
tools/alive_parser.cpp:1364
↓ 2 callers
Method
parse_pipeline
(self)
tests/lit/lit/ShUtil.py:250
↓ 2 callers
Method
preprocess
tools/transform.cpp:1729
↓ 2 callers
Method
print
ir/memory.cpp:857
↓ 2 callers
Method
print
ir/function.cpp:862
↓ 2 callers
Method
print
ir/attrs.cpp:86
↓ 2 callers
Function
printDot
tv/tv.cpp:93
↓ 2 callers
Function
print_table
($table)
scripts/table.php:75
↓ 2 callers
Function
processLine
(ln)
tests/lit/lit/TestRunner.py:1737
↓ 2 callers
Function
processRedirects
Return the standard fds for cmd after applying redirects Returns the three standard file descriptors for the new child process. Each fd may
tests/lit/lit/TestRunner.py:573
↓ 2 callers
Method
propagatesPoison
ir/instr.cpp:139
↓ 2 callers
Function
read_test_times
(suite)
tests/lit/lit/TestTimes.py:4
↓ 2 callers
Function
redis_reply_string
cache/cache.cpp:14
↓ 2 callers
Function
remote_get
cache/cache.cpp:33
↓ 2 callers
Function
remote_set
cache/cache.cpp:56
↓ 2 callers
Method
removeBB
ir/function.cpp:234
↓ 2 callers
Function
removeUnused
ir/function.cpp:399
↓ 2 callers
Function
remove_fifo
tools/alive-jobserver.cpp:23
↓ 2 callers
Function
remove_unreachable_bbs
tools/transform.cpp:1627
↓ 2 callers
Method
render
Replace each $-substitutions in the given template string with the corresponding terminal control string (if it's defined) or
tests/lit/lit/ProgressBar.py:163
↓ 2 callers
Method
replace
ir/state.cpp:1028
↓ 2 callers
Method
reset
smt/solver.cpp:452
↓ 2 callers
Method
reset_solver
smt/solver.cpp:279
↓ 2 callers
Function
reset_state
llvm_util/utils.cpp:517
↓ 2 callers
Function
returns_nonlocal
tools/transform.cpp:901
↓ 2 callers
Method
rewriteUndef
ir/state.cpp:1371
↓ 2 callers
Method
root
ir/fast_math.cpp:105
↓ 2 callers
Method
round_up
smt/expr.cpp:1145
↓ 2 callers
Function
round_value
ir/instr.cpp:711
↓ 2 callers
Method
run
tv/tv.cpp:570
↓ 2 callers
Method
run
llvm_util/llvm2alive.cpp:1887
↓ 2 callers
Method
runOn
tv/tv.cpp:171
↓ 2 callers
Function
safe_write
* wrapper for write() that correctly handles short writes */
util/parallel.cpp:162
↓ 2 callers
Function
saveBitcode
tv/tv.cpp:133
↓ 2 callers
Method
sdiv
smt/expr.cpp:747
↓ 2 callers
Function
search1
(path)
tests/lit/lit/discovery.py:38
↓ 2 callers
Method
setAlign
ir/instr.h:943
↓ 2 callers
Method
setApproximated
ir/instr.h:1186
↓ 2 callers
Method
setCanOnlyWrite
ir/attrs.cpp:235
↓ 2 callers
Method
setFPDenormal
ir/attrs.cpp:498
↓ 2 callers
Method
setNoAccess
ir/attrs.h:40
↓ 2 callers
Method
setNoAlias
ir/memory.cpp:780
↓ 2 callers
Method
setPtrCmpMode
ir/instr.h:473
↓ 2 callers
Method
setState
ir/memory.cpp:1968
↓ 2 callers
Method
setType
ir/function.h:126
↓ 2 callers
Function
set_memory_limit
smt/smt.cpp:65
↓ 2 callers
Function
set_query_timeout
smt/smt.cpp:46
↓ 2 callers
Function
set_random_seed
smt/smt.cpp:50
↓ 2 callers
Method
shl_no_soverflow
smt/expr.cpp:1027
↓ 2 callers
Method
shl_no_uoverflow
smt/expr.cpp:1031
↓ 2 callers
Function
showStats
tv/tv.cpp:106
↓ 2 callers
Method
sint2fp
smt/expr.cpp:2043
↓ 2 callers
Method
size
ir/function.h:40
↓ 2 callers
Method
smax
smt/expr.cpp:1135
↓ 2 callers
Method
smin
smt/expr.cpp:1131
↓ 2 callers
Function
solver_print_queries
smt/solver.cpp:399
↓ 2 callers
Function
solver_tactic_verbose
smt/solver.cpp:403
↓ 2 callers
Method
sources
ir/instr.cpp:3093
↓ 2 callers
Method
ssub_sat
smt/expr.cpp:823
↓ 2 callers
Method
subst_var
smt/expr.cpp:2283
↓ 2 callers
Function
sym_exec
util/symexec.cpp:63
↓ 2 callers
Function
sym_exec_init
util/symexec.cpp:29
↓ 2 callers
Function
sym_exec_instr
util/symexec.cpp:13
↓ 2 callers
Method
toBV
ir/type.cpp:227
↓ 2 callers
Method
toGoal
smt/solver.cpp:107
↓ 2 callers
Method
toLogicalLocal
ir/pointer.cpp:966
↓ 2 callers
Function
to_hex
ir/constant.cpp:57
↓ 2 callers
Method
todata
todata() -> json-serializable data Convert this metric to content suitable for serializing in the JSON test output.
tests/lit/lit/Test.py:71
↓ 2 callers
Method
tokenize
(string)
tests/lit/lit/BooleanExpression.py:54
↓ 2 callers
Function
top_sort
ir/function.cpp:430
↓ 2 callers
Method
umax
smt/expr.cpp:1127
↓ 2 callers
Function
umul_fix_helper
smt/expr.cpp:1002
↓ 2 callers
Method
unroll
ir/function.cpp:578
↓ 2 callers
Function
updateEnv
(env, args)
tests/lit/lit/TestRunner.py:300
↓ 2 callers
Function
usage
tools/alive-jobserver.cpp:117
↓ 2 callers
Function
valueToBytes
ir/memory.cpp:591
↓ 2 callers
Method
verify
tools/transform.cpp:1398
↓ 2 callers
Method
writes
ir/memory.cpp:1851
↓ 2 callers
Method
~expr
smt/expr.cpp:118
↓ 1 callers
Method
ASVar
ir/type.cpp:666
↓ 1 callers
Method
DL
llvm_util/llvm2alive.cpp:137
↓ 1 callers
Function
NopSemaphore
()
tests/lit/lit/worker.py:53
↓ 1 callers
Function
_adapt_result
(result)
tests/lit/lit/worker.py:89
↓ 1 callers
Function
_execute
(test, lit_config)
tests/lit/lit/worker.py:65
↓ 1 callers
Function
_executeShCmd
(cmd, shenv, results, timeoutHelper)
tests/lit/lit/TestRunner.py:671
↓ 1 callers
Function
_execute_test_handle_errors
(test, lit_config)
tests/lit/lit/worker.py:74
↓ 1 callers
Function
_get_parallelism_semaphore
(test)
tests/lit/lit/worker.py:57
↓ 1 callers
Method
_get_skip_reason
(self, test)
tests/lit/lit/reports.py:151
← previous
next →
601–700 of 1,932, ranked by callers