Commit Graph

9214 Commits (7b8145b8bcb0da7f837aebeae53ac3459d774ab9)
 

Author SHA1 Message Date
Josh Berdine fe93dd754e [sledge] Improve the option and file naming of binary vs text llair output 4 years ago
Josh Berdine f02952c003 [sledge] Rename Sh.seg.seq to cnt 4 years ago
Mitya Lyubarskiy 79d65a83df [nullsafe] Record correct param index in json 4 years ago
Mitya Lyubarskiy cced510cb9 [nullsafe][annotation graph] Don't fail while dealing with synthetic fields 4 years ago
Jules Villard f2e3f67f40 [clang] change the way we wire up return statements 4 years ago
Daiva Naudziuniene 019adf7e78 [pulse] Model for folly::Optional::get_pointer 4 years ago
Jules Villard f411c7d131 [pulse] do not stop at the first error in function calls 4 years ago
Dominik Harmim 3df3ca9eac Fix of building Infer for Objective C () 4 years ago
Josh Berdine f284425cb7 [sledge] Rename some unary predicates with is_-prefixes 4 years ago
Josh Berdine 6970741f27 [sledge] Add arg labels on Trm constructors to avoid confusion 4 years ago
Josh Berdine 2118ebd923 [sledge] Use the size of a global's type instead of maintaining separately 4 years ago
Josh Berdine 4916aee050 [sledge] Revise Context.classify to detect more atomic terms 4 years ago
Josh Berdine c31e7f2ee7 [sledge] Treat Splat as interpreted 4 years ago
Pratik raj 9d49fd5c60 Use `--depth` flag to `git clone` in Dockerfiles, to save space () 4 years ago
Jules Villard 49dc61b9c5 [clang] refactor to expose when creating destructor call will succeed 4 years ago
Jules Villard 578583f2ab [pulse] check that new arithmetic facts are consistent with the heap 4 years ago
Jules Villard 47e9f8ffec [pulse][easy] code factorisation 4 years ago
Jules Villard e32f6ca360 [clang] fix bad interaction between ConditionalOperator and initializers 4 years ago
Josh Berdine 5138c0eb15 [sledge] Refactor the theory cases of the equality solver for clarity 4 years ago
Josh Berdine 23b5571029 [sledge] Normalize Splat 0 to 0 4 years ago
Josh Berdine d2b78bbd79 [sledge] Improve term printing, avoid misidentification of string constants 4 years ago
Josh Berdine a8feaa4262 [sledge] Add missing case to sequence theory solver 4 years ago
Josh Berdine 1d974c0587 [sledge] Use an actual uninterpreted function in Sh tests 4 years ago
Josh Berdine ee7b77cfb1 [sledge] Distinguish globals and functions from variables 4 years ago
Josh Berdine 8e09e86295 [sledge] Creating summaries does not require the globals 4 years ago
Josh Berdine 0aebb07757 [sledge] Identify intrinsics using strings instead of variables 4 years ago
Josh Berdine f821ca9634 [sledge] Base implementation of localization on atoms instead of vars 4 years ago
Josh Berdine d0ac9cb557 [sledge] Simplify term and formula iterators 4 years ago
Josh Berdine fac4bc9dfa [sledge] Remove redundant Frontend function 4 years ago
Josh Berdine fb094ab046 [sledge] Detect and fail invoke instrs that call inline asm 4 years ago
Josh Berdine 4326d56f24 [sledge] Only demangle names starting with _Z 4 years ago
Josh Berdine fc2695ce88 [sledge] Add LLAIR expression form for globals 4 years ago
Josh Berdine 6899cd1a60 [sledge] Rename Global to GlobalDefn 4 years ago
Josh Berdine 55dfce6f88 [sledge] Add LLAIR expression form for function names 4 years ago
Josh Berdine 60eed3fbad [sledge] Fix generation of sledge-help.txt 4 years ago
Josh Berdine aacdbc060a [sledge] Remove record theory from backend, encode using sequence theory 4 years ago
Josh Berdine aa307294a5 [sledge] Eliminate recursive records 4 years ago
Josh Berdine 0c17ac4281 [sledge] Add check that frontend preserves sizes of types 4 years ago
Josh Berdine e415b8f22e [sledge] Change Typ.is_sized to remove hack for opaque types 4 years ago
Josh Berdine 639bda69e7 [sledge] Add byte-offsets of struct fields to Llair.Typ.t 4 years ago
Josh Berdine 18c908423a [sledge] Remove 'packed' field from Llair types 4 years ago
Josh Berdine a40cd07c7d [sledge] Classify issues translating type sizes as `todo` instead of `fail` 4 years ago
Josh Berdine d768e74416 [sledge] Do not translate LLVM vector types 4 years ago
Josh Berdine d542c7b7b2 [sledge] Protect against nonexistent paths in debug info 4 years ago
Josh Berdine f00ee99c2c [sledge] Improve test Makefile 4 years ago
Josh Berdine 6da7dbbdd1 [sledge] Fix sledge llvm translate command 4 years ago
Josh Berdine 72ba7c4faa [sledge] Remove dead Arith representation fold operations 4 years ago
Josh Berdine 1a4363627c [sledge] Revise Arith.map to use maximal non-interpreted subterms 4 years ago
Josh Berdine 6f4dcfbdd9 [sledge] Add the embedding of arithmetic into terms to the arithmetic interface 4 years ago
Ezgi Çiçek 14b32f1727 [cost] Register forgotten expensive issue 4 years ago