Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Nix setup #250

Draft
wants to merge 14 commits into
base: master
Choose a base branch
from
Draft

Nix setup #250

wants to merge 14 commits into from

Commits on Oct 14, 2024

  1. Disable broken dearg_transform flags

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    c1943c2 View commit details
    Browse the repository at this point in the history

  2. Temporarily disable universe checking in some files to work around un… 

    …iverse inconsistency between MetaCoq and stdpp
    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    77aacd3 View commit details
    Browse the repository at this point in the history

  3. Port ConCert core to MetaCoq 1.3.1

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    967e59a View commit details
    Browse the repository at this point in the history

  4. Port ConCert examples to MetaCoq 1.3.1

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    f0380a1 View commit details
    Browse the repository at this point in the history

  5. Update opam lock file

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    386414f View commit details
    Browse the repository at this point in the history

  6. Update stdpp to 1.10.0

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    83d063e View commit details
    Browse the repository at this point in the history

  7. Support Coq 8.19

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    d36158d View commit details
    Browse the repository at this point in the history

  8. Use rust and elm extraction 0.1.0 releases

    @4ever2
    4ever2 committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    718c7c2 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Nix setup

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    e5365b3 View commit details
    Browse the repository at this point in the history

  2. Include examples in all make target

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    5ff6015 View commit details
    Browse the repository at this point in the history

  3. Update gitignore

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    9b5dcde View commit details
    Browse the repository at this point in the history

  4. Add cachix token

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    6c0b0ab View commit details
    Browse the repository at this point in the history

  5. Don't run build job on nix changes

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    2f758d4 View commit details
    Browse the repository at this point in the history

  6. Add concurrency groups

    @4ever2
    4ever2 committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    76cf9a2 View commit details
    Browse the repository at this point in the history