Extract the iSL decision procedure to OCaml #47

Sign in to view logs

Re-run triggered September 12, 2024 20:07

hferee

dec

Status Success

Total duration 13m 51s

Artifacts 2

build_docs.yml

on: push

Annotations

2 warnings

Build docs: theories/iSL/Order.v#L12

Notation "_ • _" was already used.

Build docs: theories/iSL/PropQuantifiers.v#L33

Notation "_ • _" was already used.

Artifacts

Produced during runtime

Name	Size
benchmark	843 Bytes
docs-artifact	2.19 MB