Remove Show Proof in InfiniteToFinite.v · vellvm/vellvm@789ba6c

Triggered via push April 15, 2024 18:30

Chobbes

finite-memory

Status Success

Total duration 52m 57s

Artifacts –

vellvm.yml

on: push

Matrix: build

10 warnings

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

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

Interpreting this declaration as if a global declaration prefixed by

Interpreting this declaration as if a global declaration prefixed by

Notation "_ ~= _" was already used.