Avoid unary round-trip for binary literals

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Avoid unary round-trip for binary literals #37

Closed bacam closed 3 years ago

bacam commented 3 years ago

Avoids resource exhaustion due to exponential blowup when processing some literals. For example, in the new test it previously failed with a stack overflow at cbv.