pearlite-syn is used at run time in 2 crates. It is a direct run-time dependency in 1 crate.

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