3 Commits (74b8bed7e39c54ab0bb4682e256e7a5dfce0cf0f)

Author	SHA1	Message	Date
Stella Laurenzo	74b8bed7e3	Unique CPA type and constraints to enable comparison by pointer during propagation.	2020-07-02 17:07:02 -07:00
Stella Laurenzo	a257da46e2	Introduce a type interface for mapping to CPA types. ... * Currently just simplifies the logic for UnknownType -> TypeVar.	2020-07-02 13:56:27 -07:00
Stella Laurenzo	b0604684ba	NFC: Move CPA support down into it's own directory.	2020-07-02 11:31:23 -07:00