Add additional rewrite for automatic lifting simplification · takanuva/cps@eaca65d

Triggered via push December 25, 2023 03:15

takanuva

master

Status Success

Total duration 1m 49s

Artifacts –

coq-8.16.yml

on: push

5 warnings

build: theories/Lambda/ANF.v#L139

Argument a was previously inferred to be in the empty scope stack

build: theories/Lambda/ANF.v#L139

Argument b was previously inferred to be in the empty scope stack

build: theories/Lambda/Control.v#L51

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

build: theories/Lambda/Control.v#L111

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

build: theories/Lambda/Control.v#L373

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