search

rems-project / coq-cheri-capabilities

This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
1 stars 0 forks source link

dune-3.8.1 support #2

Closed vzaliva closed 1 year ago

vzaliva commented 1 year ago

Support for dune-3.8.1 and coq-lang version 0.8.