Skip to content

Check uniqueness by performing analysis with Kotlin's built-in fixpoint analysis #67

@paganma

Description

@paganma
  • Create ConeType attribute for specifying locality.
  • Create ConeType attribute for specifying uniqueness.
  • Create checker for locality.
  • Create flow object for uniqueness tracking based on UniquenessTrie.
  • Create analyzer for uniqueness tracking moved values.
  • Create checker for uniqueness.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions