llvm/llvm-project
Auf GitHub ansehenImplement `insertVar` having `Identifier` parameter
Open
#76.839 geöffnet am 3. Jan. 2024
enhancementgood first issuemlir:presburger
Repository-Metriken
- Stars
- (26.378 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)
Beschreibung
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.