Bump actions/checkout from 6 to 7 by dependabot[bot] · Pull Request #134 · mit-plv/fiat

all: src/Computation/Notations.v#L20

Declaring a scope implicitly is deprecated; use in advance an

all: src/Computation/Notations.v#L6

Closed notations (i.e. starting and ending with a terminal symbol)

all: src/Common/Coq__8_4__8_5__Compat.v#L610

Using Vector.t is known to be technically difficult, see

all: src/Common/Coq__8_4__8_5__Compat.v#L60

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

all: src/Common/Coq__8_4__8_5__Compat.v#L59

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

all: src/Common/Coq__8_4__8_5__Compat.v#L58

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

all: src/Common/Coq__8_4__8_5__Compat.v#L57

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

all: src/Common/Coq__8_4__8_5__Compat.v#L29

There is no flag or option with this name: "Apply With Renaming".

all: src/Common/Coq__8_4__8_5__Compat.v#L28

There is no flag or option with this name:

all: src/Common/Coq__8_4__8_5__Compat.v#L12

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

Navigation Menu