llvm/llvm-project
Ver no GitHubImplement `insertVar` having `Identifier` parameter
Open
#76.839 aberto em 3 de jan. de 2024
enhancementgood first issuemlir:presburger
Métricas do repositório
- Stars
- (26.378 stars)
- Métricas de merge de PR
- (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)
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.