Implement a more clever copy function preserving sharing. Add No_scan… · CertiCoq/certicoq@f52afa2

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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

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

Interpreting this declaration as if a global declaration prefixed by

Interpreting this declaration as if a global declaration prefixed by

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.

Use of “Require” inside a module is fragile. It is not recommended

Cannot define graph(s) for main

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

Provide feedback