Issues

• Vardom projection instead of interval projection

  abstract-domainlibrary-design
  ptal/AbSolute#12 · Filter by author ptal opened on Feb 25, 2020

• Logic completion: rewrite the ask constraint (in entailment)

  abstract-domain
  ptal/AbSolute#11 · Filter by author ptal opened on Feb 25, 2020

• Logic completion: special case for exact approximation

  abstract-domain
  ptal/AbSolute#10 · Filter by author ptal opened on Feb 25, 2020

• Logic completion: more efficient interpretation

  abstract-domain
  ptal/AbSolute#9 · Filter by author ptal opened on Feb 25, 2020

• Avoid re-inferring known types

  type-inference
  ptal/AbSolute#8 · Filter by author ptal opened on Feb 25, 2020

• Abstract domain concepts

  library-design
  ptal/AbSolute#7 · Filter by author ptal opened on Feb 25, 2020

• More efficient projection operation in Cartesian product

  library-design
  ptal/AbSolute#6 · Filter by author ptal opened on Feb 25, 2020

• Formalize the duality between expressiveness and efficiency

  researchtype-inference
  ptal/AbSolute#5 · Filter by author ptal opened on Feb 25, 2020

• Do not parametrize abstract domain by the search strategy

  library-design
  ptal/AbSolute#4 · Filter by author ptal opened on Feb 25, 2020