ch2o

ch2o copied to clipboard

Stdpp 1.7.0

1

The main thing with supporting std++ 1.7 and Coq 8.15.0 was another typeclass resolution problem. In the 4 refinement goals, it resolves to `(@ptr_type_check K (@rank_eq_dec K (@int_coding K (@env_type_env...

swils

Build failure under Ubuntu 18.04 with coqc 8.6

1

Thanks for a very interesting project! I had trouble building `ch2o` under Ubuntu 18.04 with `coqc` 8.6. What am I doing wrong? :-) ``` $ cat /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=18.04 DISTRIB_CODENAME=bionic...

practicalswift

C18 adds (almost) no features, and consists only of folding in Technical Corrigenda (and otherwise resolving defect reports against C11). As a result, it should hopefully not be too onerous...

eternaleye