the LBT parser should make sure guards are Boolean
Currently (hoaparse.yy) calls parse_lbt() (soon-to-be parse_prefix_ltl()) to read the LBTT guards, but it does not ensure those are Boolean expressions.
Coupure de service de gitlab le mercredi 29/10/2025 de 10h à 16h. Cause : migration vers le datacenter.
Currently (hoaparse.yy) calls parse_lbt() (soon-to-be parse_prefix_ltl()) to read the LBTT guards, but it does not ensure those are Boolean expressions.