Prepare porting from omega to lia

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Closed maximedenes closed 6 years ago

maximedenes commented 6 years ago

This patch makes bbv compatible with https://github.com/coq/coq/pull/7878, while staying compatible with Coq master.