Code

Coqupdates/8.19.1#3

Code

Merged

caldwellb merged 10 commits intomaininQWIRE/ViCAR:mainfrom coqupdates/8.19.1inQWIRE/ViCAR:coqupdates/8.19.1Copy head branch name to clipboardApr 17, 2024

+24-15

Commits

Commits on Apr 5, 2024

• Update README.md

  lczielinski

  authored
  9cd83c1

  Copy full SHA for 9cd83c1

• Update README.md

  lczielinski

  authored
  f2e9051

  Copy full SHA for f2e9051

Commits on Apr 17, 2024

• Small proof repair + coq-action update

  caldwellb

  committed
  8103026

  Copy full SHA for 8103026

• Undid change from %Cat to %_Cat, is a breaking change

  caldwellb

  committed
  3ef69c0

  Copy full SHA for 3ef69c0

• Updated README.md, coq-vicar.opam version, dune-project version, and coq-action version.

  caldwellb

  committed
  195647c

  Copy full SHA for 195647c

• Updated README with basic instructions for visualization.

  caldwellb

  committed
  bd6ae28

  Copy full SHA for bd6ae28

• Updated README visualization instructions

  caldwellb

  committed
  0bc61ab

  Copy full SHA for 0bc61ab

• Merge branch 'coqupdates/8.19.1' into updates/reshuffle

  caldwellb

  authored
  74943aa

  Copy full SHA for 74943aa

• Merge pull request #2 from inQWIRE/updates/reshuffle

  Show description for 6fbc58a
  caldwellb

  authored
  6fbc58a

  Copy full SHA for 6fbc58a

• Fixed compilation issues

  caldwellb

  committed
  46b12b3

  Copy full SHA for 46b12b3