Code

ported to Coq 8.11#3

Code

Open

aa755 wants to merge 4 commits intorems-project:masterrems-project/sail-arm:masterfrom aa755:masteraa755/sail-arm:masterCopy head branch name to clipboard

+39-20

Commits

Commits on Dec 27, 2019

• bbv opam. _CoqProject and instructions for interactive checking

  Show description for 669ad8d
  aa755

  committed
  669ad8d

Commits on Jun 11, 2020

• Merge remote-tracking branch 'aa755/master'

  aa755

  committed
  4f8b6dd

• ported to Coq 8.11

  aa755

  committed
  d4e41dc

• bbv can be installed independently

  aa755

  committed
  7ae6339