Code

Nix support#12

Code

Closed

4ever2 wants to merge 13 commits intomaster4ever2/ConCert:masterfrom nix4ever2/ConCert:nixCopy head branch name to clipboard

+1,369-77

Commits

Commits on Jun 26, 2024

• Disable broken dearg_transform flags

  4ever2

  committed
  ae84d51

  Copy full SHA for ae84d51

• Temporarily disable universe checking in some files to work around universe inconsistency between MetaCoq and stdpp

  4ever2

  committed
  bf5f26e

  Copy full SHA for bf5f26e

• Port ConCert core to MetaCoq 1.3.1

  4ever2

  committed
  1502ca4

  Copy full SHA for 1502ca4

• Port ConCert examples to MetaCoq 1.3.1

  4ever2

  committed
  a28b265

  Copy full SHA for a28b265

• Update opam lock file

  4ever2

  committed
  abe478b

  Copy full SHA for abe478b

• Update stdpp to 1.10.0

  4ever2

  committed
  4e5ed5d

  Copy full SHA for 4e5ed5d

• Support Coq 8.19

  4ever2

  committed
  234be25

  Copy full SHA for 234be25

Commits on Jul 10, 2024

• Nix setup

  4ever2

  committed
  1ec7267

  Copy full SHA for 1ec7267

• Include examples in all make target

  4ever2

  committed
  934ac67

  Copy full SHA for 934ac67

• Update Nix CI

  4ever2

  committed
  572d299

  Copy full SHA for 572d299

• Update gitignore

  4ever2

  committed
  6362790

  Copy full SHA for 6362790

• Clean up nix files

  4ever2

  committed
  054bcf3

  Copy full SHA for 054bcf3

• Add cachix token

  4ever2

  committed
  cc18947

  Copy full SHA for cc18947