llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76.839 aberto em 3 de jan. de 2024

Ver no GitHub
 (6 comments) (0 reactions) (1 assignee)C++ (10.782 forks)batch import
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.

Guia do colaborador