Cleanup bitblast_mod after dropping support for Coq 8.13 (!543) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge msammler/cleanup_bitblast_mod into master 1 year ago

Activity

Ralf Jung enabled an automatic merge when the pipeline for 294b7b57 succeeds 1 year ago

enabled an automatic merge when the pipeline for 294b7b57 succeeds
Ralf Jung merged 1 year ago

merged
Ralf Jung mentioned in commit a186464f 1 year ago

mentioned in commit a186464f

Please register or sign in to reply