6 Commits (6251aad10178216e2aebeb80892c401be108bbf0)

Author SHA1 Message Date
Jeremy Dubreil 168c613ac9 [infer][java] Separate the builtins from the other models for a better modularity
9 years ago
Sam Blackshear df8a4f6481 [quandary] tests for divergence
9 years ago
Sam Blackshear 4b9899d6b2 [quandary] handling globals in function summaries
9 years ago
Sam Blackshear b1039f51f8 [quandary] add summaries for footprint traces associated with locals
9 years ago
Sam Blackshear 31e6849ec0 [quandary] using summaries part 2: the relational cases
9 years ago
Sam Blackshear e4beca3779 [quandary] using summaries part 1: return
9 years ago