Code

[Verif] Add formal test intent ops#7145

Code

Merged

dobios merged 17 commits intomainllvm/circt:mainfrom dev/dobios/new-verif-opsllvm/circt:dev/dobios/new-verif-opsCopy head branch name to clipboardJul 17, 2024

+108-2

Commits

Commits on Jun 8, 2024

• added new formal verif ops

  dobios

  committed
  9062d03

Commits on Jul 8, 2024

• Merge branch 'main' into dev/dobios/new-verif-ops

  dobios

  committed
  2dcd14d

• comments

  dobios

  committed
  cbab9b9

• Merge branch 'main' into dev/dobios/new-verif-ops

  dobios

  committed
  ec618a9

• added hasparent attribute

  dobios

  committed
  e7a7dc2

Commits on Jul 9, 2024

• wip test

  dobios

  committed
  1f51aec

• added basic test

  dobios

  committed
  87a215f

Commits on Jul 15, 2024

• Merge with main

  dobios

  committed
  6e74914

• Merge branch 'dev/dobios/new-verif-ops' of github.com:llvm/circt into dev/dobios/new-verif-ops

  dobios

  committed
  e6742df

Commits on Jul 16, 2024

• tweaked op definitions

  dobios

  committed
  9fe565e

• fixed IR basic test

  dobios

  committed
  d22021f

• made op names more consistant

  dobios

  committed
  b4ba61d

• fine tuned the IR definition

  dobios

  committed
  b3ace97

Commits on Jul 17, 2024

• updated op descriptions

  dobios

  committed
  2bd70f1

• updated tests

  dobios

  committed
  597e5a2

• updated tests

  dobios

  committed
  e5a3931

• fixed test

  dobios

  committed
  c713164