Skip to content

Add heap_lang library for resolve on CAS.

Rodolphe Lepigre requested to merge lepigre/iris:cas_resolve into master

This MR provides a convenient interface for working with prophecies that are resolve on a (successful) CAS.

Merge request reports