pearlite-syn is used at run time in 2 crates (of which 2 optionally). It is a direct run-time dependency in 1 crate.

Depender (with downloads and own rev deps) pearlite-syn version
190 1 creusot-contracts-proc optional ^0.5.0