Commit Graph

8825 Commits (f3d58e7e09968553d34036c06bb17c5addc51180)
 

Author SHA1 Message Date
Jules Villard f3d58e7e09 [buck] add --workspace to resolve different project roots 5 years ago
Josh Berdine e5bcaa34cb [sledge] Add Term.split_const and use instead of const_of 5 years ago
Josh Berdine 429ddee9f5 [sledge] Add test for chunking segments when printing Sh 5 years ago
Josh Berdine c35c4e2789 [sledge] Switch from Base.List to Containers.List 5 years ago
Josh Berdine 409b21ec64 [sledge] Switch from Base.Option to Containers.Option 5 years ago
Josh Berdine 3f4f0cc4ac [sledge] Switch from Base.String to Containers.String 5 years ago
Josh Berdine 99791f55f7 [sledge] Switch from Base.Int to Stdlib and Containers 5 years ago
Josh Berdine 94bf571950 [sledge] Rename Fheap to FHeap for consistency 5 years ago
Josh Berdine ad25b2be4e [sledge] Rename Hash_queue to HashQueue for consistency 5 years ago
Josh Berdine 9a238a76da [sledge] Switch from Base.Hashtbl to Containers.Hashtbl 5 years ago
Josh Berdine 08da86ae62 [sledge] Switch from Base.Hash_set to CCHashSet 5 years ago
Josh Berdine b6a77f6567 [sledge] Refactor nonstdlib to avoid opening Core 5 years ago
Josh Berdine ce9a5cfa30 [sledge] Add containers-data dependency 5 years ago
Josh Berdine 73be4779ab [sledge] Minor simplification of outputting Report 5 years ago
Josh Berdine e2f0aab454 [sledge] Do not expose Report dependency on Unix.process_times 5 years ago
Josh Berdine a204c7f7be [sledge] Remove unused filter_map_endo functions 5 years ago
Josh Berdine 78a3dee2d9 [sledge] Rename gt0 to pos and remove le0, ge0, lt0 5 years ago
Josh Berdine 5fac93bd44 [sledge] Simplify is_negative based on NNF, add positive condition invariant 5 years ago
Josh Berdine 93ed599153 [sledge] Add formula invariant to check NNF 5 years ago
Josh Berdine 6427b99a16 [sledge] Remove exclusive-or formula 5 years ago
Josh Berdine d22d1ebd62 [sledge] Remove negative uninterpreted literal formula 5 years ago
Josh Berdine 2ac6b7be75 [sledge] Remove non-positive formula 5 years ago
Josh Berdine 5ea779671a [sledge] Remove non-zero formula 5 years ago
Josh Berdine 5acd64c22e [sledge] Remove disequality formula 5 years ago
Josh Berdine 157e990d36 [sledge] Remove false formula 5 years ago
Josh Berdine 474bd68fca [sledge] Add negation formula 5 years ago
Josh Berdine 7b82ab17bf [sledge] Remove redundant Ge0 and Lt0 predicates 5 years ago
Josh Berdine 5b4be9cab8 [sledge] Add Term.invariant and justified minor code simplifications 5 years ago
Josh Berdine 3258761ac3 [sledge] Represent arithmetic terms using polynomials 5 years ago
Jules Villard 2a191060b2 [taskbar] print proc name earlier 5 years ago
Jules Villard c47911359a [preanalysis] more conservative and efficient devirtualizers 5 years ago
Sungkeun Cho cd27695524 [cost] Add model: NSFileManager.contentsOfDirectoryAtURL 5 years ago
Sungkeun Cho dbc33aa427 [cost] Add model: NSKeyedUnarchiver.decodeObjectForKey: 5 years ago
Sungkeun Cho b3c74c4152 [cost] Add models: NSURL.getResourceValue, path 5 years ago
Sungkeun Cho 0f22f1bd95 [cost] Add models: NSOrderedSet.orderedSet, orderedSetWithArray 5 years ago
Ezgi Çiçek 2679bb0b61 [inferbo] Add model for `String.valueOf(char[])` 5 years ago
Ezgi Çiçek 2a28ebfeb4 [inferbo] Remove unused model 5 years ago
ubaierbhat 8b5592272a Update INSTALL.md () 5 years ago
Josh Berdine 1dca0cb375 [sledge] Evaluate function symbols applied to constants 5 years ago
Josh Berdine df35f9702a [sledge] Generalize Multiset over type of multiplicities 5 years ago
Josh Berdine bd49ad84a8 [sledge] Rename Qset to Multiset 5 years ago
Josh Berdine 682fb9158c [sledge] Switch from Base.Map to Containers.Map 5 years ago
Josh Berdine 779e9405c8 [sledge] Switch from Base.Set to Containers.Set 5 years ago
Josh Berdine 577ef67a68 [sledge] Fix doc in Ses.Term 5 years ago
Josh Berdine dca725b33d [sledge] Parameterize Var.strength over type of variables 5 years ago
Josh Berdine febe384a0b [sledge] Minor clean test Makefile 5 years ago
Josh Berdine 8a7962c784 [sledge] Improve doc in Fol 5 years ago
Josh Berdine 48d96c13ba [sledge] Improve Llair_to_Fol translation of formulas 5 years ago
Josh Berdine 914ec65844 [sledge] Move Llair to Fol translation to separate module 5 years ago
Josh Berdine df4d350d48 [sledge] Remove Tuple and Project terms 5 years ago