Provide a convenience hypothesis with eqv assumptions in rewrite rules side-conditions #568

Annotations

10 warnings

Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 53, characters 35-42: Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

all: src/Rewriter/Util/NatUtil.v#L53

Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.

all

Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

all: src/Rewriter/Util/NatUtil.v#L192

Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.

all

all: src/Rewriter/Util/NatUtil.v#L192

Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.

all

Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

all: src/Rewriter/Util/NatUtil.v#L221

Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.

all

all: src/Rewriter/Util/NatUtil.v#L221

Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Provide a convenience hypothesis with eqv assumptions in rewrite rules side-conditions #568

build-docker (dev)

Provide a convenience hypothesis with eqv assumptions in rewrite rules side-conditions #568

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...