9703 Commits (6a0f16b4633772c1ea48905468639e612ffa93e3)
 

Author SHA1 Message Date
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
Josh Berdine 3258761ac3 [sledge] Represent arithmetic terms using polynomials
4 years ago
Jules Villard 2a191060b2 [taskbar] print proc name earlier
4 years ago
Jules Villard c47911359a [preanalysis] more conservative and efficient devirtualizers
4 years ago
Sungkeun Cho cd27695524 [cost] Add model: NSFileManager.contentsOfDirectoryAtURL
4 years ago
Sungkeun Cho dbc33aa427 [cost] Add model: NSKeyedUnarchiver.decodeObjectForKey:
4 years ago
Sungkeun Cho b3c74c4152 [cost] Add models: NSURL.getResourceValue, path
4 years ago
Sungkeun Cho 0f22f1bd95 [cost] Add models: NSOrderedSet.orderedSet, orderedSetWithArray
4 years ago
Ezgi Çiçek 2679bb0b61 [inferbo] Add model for `String.valueOf(char[])`
4 years ago
Ezgi Çiçek 2a28ebfeb4 [inferbo] Remove unused model
4 years ago
ubaierbhat 8b5592272a Update INSTALL.md (#1329)
4 years ago
Josh Berdine 1dca0cb375 [sledge] Evaluate function symbols applied to constants
4 years ago
Josh Berdine df35f9702a [sledge] Generalize Multiset over type of multiplicities
4 years ago
Josh Berdine bd49ad84a8 [sledge] Rename Qset to Multiset
4 years ago
Josh Berdine 682fb9158c [sledge] Switch from Base.Map to Containers.Map
4 years ago
Josh Berdine 779e9405c8 [sledge] Switch from Base.Set to Containers.Set
4 years ago
Josh Berdine 577ef67a68 [sledge] Fix doc in Ses.Term
4 years ago
Josh Berdine dca725b33d [sledge] Parameterize Var.strength over type of variables
4 years ago
Josh Berdine febe384a0b [sledge] Minor clean test Makefile
4 years ago
Josh Berdine 8a7962c784 [sledge] Improve doc in Fol
4 years ago
Josh Berdine 48d96c13ba [sledge] Improve Llair_to_Fol translation of formulas
4 years ago
Josh Berdine 914ec65844 [sledge] Move Llair to Fol translation to separate module
4 years ago
Josh Berdine df4d350d48 [sledge] Remove Tuple and Project terms
4 years ago
Josh Berdine 83e9eb464a [sledge] Change applications and literals to nary
4 years ago
Josh Berdine 09c9a0a1ff [sledge] Simplify Fol normalizing constructor code
4 years ago
Josh Berdine 615f245027 [sledge] Replace RecRecord uninterpreted function symbol with Ancestor term
4 years ago
Josh Berdine 598cb0a449 [sledge] Replace empty record term with flat record terms
4 years ago
Josh Berdine c31a6e600a [sledge] Simplify record term indices from terms to ints
4 years ago
Josh Berdine 9e826c3454 [sledge] Remove Funsym.Convert
4 years ago
Josh Berdine fc841bcf0c [sledge] Remove Funsym.Label
4 years ago
Josh Berdine 2f4e3e17b6 [sledge] Remove Funsym.Float
4 years ago
Josh Berdine 70a7224543 [sledge] Remove Term.of_exp
4 years ago
Josh Berdine fecc6caf6b [sledge] Implement Domain_itv over Llair.Exp instead of Term
4 years ago
Josh Berdine 3f2de05920 [sledge] Add general uninterpreted predicates and use for "ord" and "uno"
4 years ago
Josh Berdine a2332808d7 [sledge] Document function symbols
4 years ago
Josh Berdine a0a5cf159a [sledge] Separate Funsym module
4 years ago
Josh Berdine 6b5fc4be3e [sledge] Add general uninterpreted functions and applications
4 years ago
Josh Berdine ec83068651 [sledge] Minor cleanup in Fol
4 years ago
Josh Berdine 51c7e23d26 [sledge] Remove unneeded use of Formula.inject
4 years ago
Josh Berdine 0c93599cc2 [sledge] Improve printing of Fol.Context
4 years ago
Josh Berdine cc835c6e64 [sledge] Improve printing of conditional terms
4 years ago
Sungkeun Cho 0f44f39b41 [cost] Support closure symbols in operation/allocation cost kinds
4 years ago
Sungkeun Cho 075581ec8d [cost] Extend the polynomial domain for closure field
4 years ago
Josh Berdine bf1f4c393a [sledge] Move renaming substitutions to Var0
4 years ago
Josh Berdine d09121d089 [sledge] Implement Fol.Var using generic implementation
4 years ago