git://git.jankratochvil.net
/
lldb.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
[analyzer] SATest: Add a set of initial projects for testing
2020-06-25
Valeriy Savchenko
[analyzer] SATest: Add a set of initial projects for...
commit
|
commitdiff
|
tree
2020-06-25
Valeriy Savchenko
[analyzer] SATest: Add convenience 'docker' command
commit
|
commitdiff
|
tree
2020-06-25
Valeriy Savchenko
[analyzer] SATest: Add initial docker infrastructure
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] Fix StdLibraryFunctionsChecker crash on...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] SATest: Add option to specify projects to...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] ProjectMap: Do not serialize fields with...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] SATest: Introduce a single entrypoint for...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] CmpRuns.py: Decouple main functionality...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] SATestAdd.py: Parse arguments with argparse
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] SATest: Add posibility to download source...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] SATest: Move from csv to json project maps
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] CmpRuns.py: Fix error due to statistics...
commit
|
commitdiff
|
tree
2020-06-16
Valeriy Savchenko
[analyzer] CmpRuns.py: Refactor and add type annotations...
commit
|
commitdiff
|
tree
2020-06-09
Abbas Sabra
[analyzer] LoopWidening: fix crash by avoiding aliased...
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] SATestBuild.py: Make verbosity level a cmd...
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Remove unused function declaration. NFC.
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Remove unused function. NFC.
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Introduce reasoning about symbolic remainder...
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Generalize bitwise AND rules for ranges
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Generalize bitwise OR rules for ranges
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Refactor range inference for symbolic expressions
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Merge implementations of SymInt, IntSym...
commit
|
commitdiff
|
tree
2020-05-28
Valeriy Savchenko
[analyzer] Allow bindings of the CompoundLiteralRegion
commit
|
commitdiff
|
tree
2020-05-22
Valeriy Savchenko
[analyzer] SATestBuild.py: Fix hang when one of the...
commit
|
commitdiff
|
tree
2020-05-22
Valeriy Savchenko
[analyzer] SumTimerInfo.py: Partially modernize
commit
|
commitdiff
|
tree
2020-05-22
Valeriy Savchenko
[analyzer] SATestUpdateDiffs.py: Refactor and add type...
commit
|
commitdiff
|
tree
2020-05-22
Valeriy Savchenko
[analyzer] SATestUtils.py: Refactor and add type annotations
commit
|
commitdiff
|
tree
2020-05-22
Valeriy Savchenko
[analyzer] SATestBuild.py: Refactor and add type annotations
commit
|
commitdiff
|
tree
2020-05-19
Valeriy Savchenko
[analyzer] SATestBuild.py: Optionally override compiler
commit
|
commitdiff
|
tree
2020-05-14
Valeriy Savchenko
[analyzer] Modernize analyzer's Python scripts
commit
|
commitdiff
|
tree
2020-05-13
Valeriy Savchenko
[analyzer] Fix crash for non-pointers annotated as...
commit
|
commitdiff
|
tree
2020-04-29
Valeriy Savchenko
[analyzer] Fix build error. NFC.
commit
|
commitdiff
|
tree
2020-04-29
Valeriy Savchenko
[analyzer] Track runtime types represented by Obj-C...
commit
|
commitdiff
|
tree
git://git.jankratochvil.net / lldb.git / search