llvm/llvm-project
Voir sur GitHubImplement `insertVar` having `Identifier` parameter
Open
#76 839 ouverte le 3 janv. 2024
enhancementgood first issuemlir:presburger
Métriques du dépôt
- Stars
- (26 378 stars)
- Métriques de merge PR
- (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)
Description
Currently, the insertVars for PresburgerSpace, IntegerRelation, and PresburgerRelation insert a null identifier for the new var. It would be convenient to have an insertVar which also takes an Identifier parameter.