Code

Update Coq version support#54

Code

Merged

adrianleh merged 10 commits intomaininQWIRE/SQIR:mainfrom v8.17inQWIRE/SQIR:v8.17Copy head branch name to clipboardFeb 3, 2024

+173-77

Commits

Commits on Apr 14, 2023

• 8.17 compatibility for sqir

  bhaktishh

  committed
  a4963db

  Copy full SHA for a4963db

Commits on Apr 16, 2023

• voqc compiling on 8.17

  bhaktishh

  committed
  c620fa7

  Copy full SHA for c620fa7

• version bumps + dune changes

  bhaktishh

  committed
  b35c50a

  Copy full SHA for b35c50a

• version bump

  bhaktishh

  committed
  1f2db24

  Copy full SHA for 1f2db24

Commits on Jan 26, 2024

• Fix readme pin git url

  adrianleh

  committed
  d632f9e

  Copy full SHA for d632f9e

Commits on Jan 29, 2024

• Merge branch 'main' into v8.17

  adrianleh

  committed
  3e4b822

  Copy full SHA for 3e4b822

• Update build files to 1.3.0

  adrianleh

  committed
  aa72b66

  Copy full SHA for aa72b66

• Merge remote-tracking branch 'origin/main' into v8.17

  adrianleh

  committed
  2403893

  Copy full SHA for 2403893

Commits on Jan 30, 2024

• Update CI to 8.16-8.18

  adrianleh

  committed
  d7c4abd

  Copy full SHA for d7c4abd

• Upgrade VOQC to work with 8.18

  adrianleh

  committed
  2e0a612

  Copy full SHA for 2e0a612