Refined dependency version

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

Closed ric-almeida closed 8 months ago