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.

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

Requires OCaml 4.13 #106

Merged

yforster merged 1 commit into CertiCoq:master from liyishuai:patch-1

Jan 27, 2025

Merged

Requires OCaml 4.13

Annotations

12 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Notation "Field( _ , _ )" was already used.

The following logical axiom was

There is no flag or option with this name: "Arguments".

Interpreting this declaration as if a global declaration prefixed by

This command is just asserting the names of arguments of

This command is just asserting the names of arguments of prop_ext.

This command is just asserting the names of arguments of proof_irr.

Failed to remove 'http.https://github.com/.extraheader' from the git config