This repository was archived by the owner on Nov 19, 2024. It is now read-only.

This repository was archived by the owner on Nov 19, 2024. It is now read-only.

Use the static annotator after finishing a reduction #8

Open

Labels

opened

on Feb 23, 2022

The reducer is annotating global variables with static when checking but at the end it stores an non-annotated version.

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests