Code

[RFC] Introduce PresburgerSet#99

Code

Merged

Hzfengsy merged 4 commits intoapache:mainapache/tvm-rfcs:mainfrom multiverstack-intellif:improve_intsetmultiverstack-intellif/tvm-rfcs:improve_intsetCopy head branch name to clipboardFeb 28, 2023

+67

Commits

Commits on Feb 13, 2023

• Improve representation of IntSet.

  

  Min Chen

  committed
  ef07206

  Copy full SHA for ef07206

Commits on Feb 14, 2023

• Implement another class PresburgerSet.

  

  Min Chen

  committed
  a0c86f4

  Copy full SHA for a0c86f4

• Change RFC title as Introduce PresburgerSet

  

  Min Chen

  committed
  682d4aa

  Copy full SHA for 682d4aa

Commits on Feb 16, 2023

• Update tracking issue number.

  

  Min Chen

  committed
  a41660a

  Copy full SHA for a41660a