Version 1.0.4 is released. This removes the make of spgen when making spatch, removes the pre-generated menhir file when menhir is available, and adds the ability to reason about the lengths of statement lists.
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
