search

vellvm / ctrees

An itree-like data-structure to additionally support internal non-determinism
MIT License
13 stars 2 forks source link

CI #13

Closed elefthei closed 2 years ago

elefthei commented 2 years ago

Pinned to Coq 8.15.1.

YaZko commented 2 years ago

Thanks @elefthei !