Commit Graph

8997 Commits (e32f6ca360c3ba3a9d238b28f4ab9178b8d91735)
 

Author SHA1 Message Date
Josh Berdine e8b94baae2 [sledge] Normalize And and Or formulas wrt ACUZ 4 years ago
Josh Berdine 6ddb9fe1b8 [sledge] Avoid use of polymorphic compare default arguments in nonstdlib 4 years ago
Josh Berdine 5574c5e078 [sledge] Replace uses of Base.With_return with Iterators 4 years ago
Josh Berdine 1697382344 [sledge] Switch IArray from Core_kernel.Array to NS.Array 4 years ago
Josh Berdine 9959fbb478 [sledge] Switch from Base.Array to Containers.Array 4 years ago
Jules Villard b2109fa0b9 [debug] add proc names of each spec to the dumped json 4 years ago
Jules Villard 8f94d39ce1 [debug/explore] add possibility to select "all" 4 years ago
Jules Villard 46838a45a4 [pulse] define PulseSummary.yojson_of_t 4 years ago
Daiva Naudziuniene 57114e95e9 [pulse] Enable NULLPTR_DEREFERENCE by default 4 years ago
Jules Villard 3b77523d7f [debug] new option --procedures-summary-json 4 years ago
Jules Villard bfc370f600 [debug,explore] make interactive mode pipe-able 4 years ago
Jules Villard 4442c52f7f [pulse][minor] inline a module definition 4 years ago
Nikos Gorogiannis b19b8a8d8c [buck-java][test] remove dead variables 4 years ago
Sungkeun Cho 67d74c7c3d [cost] Revise nextObject model to handle multiple enumerators 4 years ago
Sungkeun Cho a3fd1cad56 [cost] Fix function name in model `arrayWithObjects:` 4 years ago
Sungkeun Cho 95efb32fb4 [cost] Enable passing enumerator as paramter in ObjC 4 years ago
Sungkeun Cho 198c700e87 [cost] Add an option printing/suppressing function pointers in cost 4 years ago
Nikos Gorogiannis adcad19ee1 [comp-db] simple refactor 4 years ago
Jules Villard 2bdc6b892b [pulse] apply Abort specs too 4 years ago
Mitya Lyubarskiy e3de7ce5dc [nullsafe] Unsoundly consider Pair<> elements non-nullable 4 years ago
Mitya Lyubarskiy fd91678b1c [nullsafe] Populate the list of popular third-party fields 4 years ago
Jules Villard 25cb478dc8 work harder at matching changed files when a workspace is involved 4 years ago
Jules Villard f3d58e7e09 [buck] add --workspace to resolve different project roots 4 years ago
Josh Berdine e5bcaa34cb [sledge] Add Term.split_const and use instead of const_of 4 years ago
Josh Berdine 429ddee9f5 [sledge] Add test for chunking segments when printing Sh 4 years ago
Josh Berdine c35c4e2789 [sledge] Switch from Base.List to Containers.List 4 years ago
Josh Berdine 409b21ec64 [sledge] Switch from Base.Option to Containers.Option 4 years ago
Josh Berdine 3f4f0cc4ac [sledge] Switch from Base.String to Containers.String 4 years ago
Josh Berdine 99791f55f7 [sledge] Switch from Base.Int to Stdlib and Containers 4 years ago
Josh Berdine 94bf571950 [sledge] Rename Fheap to FHeap for consistency 4 years ago
Josh Berdine ad25b2be4e [sledge] Rename Hash_queue to HashQueue for consistency 4 years ago
Josh Berdine 9a238a76da [sledge] Switch from Base.Hashtbl to Containers.Hashtbl 4 years ago
Josh Berdine 08da86ae62 [sledge] Switch from Base.Hash_set to CCHashSet 4 years ago
Josh Berdine b6a77f6567 [sledge] Refactor nonstdlib to avoid opening Core 4 years ago
Josh Berdine ce9a5cfa30 [sledge] Add containers-data dependency 4 years ago
Josh Berdine 73be4779ab [sledge] Minor simplification of outputting Report 4 years ago
Josh Berdine e2f0aab454 [sledge] Do not expose Report dependency on Unix.process_times 4 years ago
Josh Berdine a204c7f7be [sledge] Remove unused filter_map_endo functions 4 years ago
Josh Berdine 78a3dee2d9 [sledge] Rename gt0 to pos and remove le0, ge0, lt0 4 years ago
Josh Berdine 5fac93bd44 [sledge] Simplify is_negative based on NNF, add positive condition invariant 4 years ago
Josh Berdine 93ed599153 [sledge] Add formula invariant to check NNF 4 years ago
Josh Berdine 6427b99a16 [sledge] Remove exclusive-or formula 4 years ago
Josh Berdine d22d1ebd62 [sledge] Remove negative uninterpreted literal formula 4 years ago
Josh Berdine 2ac6b7be75 [sledge] Remove non-positive formula 4 years ago
Josh Berdine 5ea779671a [sledge] Remove non-zero formula 4 years ago
Josh Berdine 5acd64c22e [sledge] Remove disequality formula 4 years ago
Josh Berdine 157e990d36 [sledge] Remove false formula 4 years ago
Josh Berdine 474bd68fca [sledge] Add negation formula 4 years ago
Josh Berdine 7b82ab17bf [sledge] Remove redundant Ge0 and Lt0 predicates 4 years ago
Josh Berdine 5b4be9cab8 [sledge] Add Term.invariant and justified minor code simplifications 4 years ago