create new package for stdpp-bitvector library

This is a step towards #204 (closed).

I was not quite sure which Coq logical path to use for this. For now I used stdpp.bv since always typing stdpp.bitvector seems a bit annoying, but the inconsistency may also be confusing. Opinions?

Thanks @jung for creating this MR! I added my thoughts above.

added 1 commit

• e629b174 - pass over new stdpp-bitvector package

Compare with previous version

I made a pass over this MR and pushed the changes directly to this MR. All comments from my side should be resolved now.

resolved all threads

That all looks good to me. :)

I am not the biggest fan of bitvector.bitvector_tactics. I am not sure if we have prior examples from which we can take inspiration for better naming.

We do have proofmode.proofmode, but that will give the whole of the proofmode, so it's different than what we have here.

added 1 commit

• b60d511f - bitvector.bitvector_tactics -> bitvector.tactics

Compare with previous version

resolved all threads

LGTM -- @robbertkrebbers any final remarks?

@msammler can you add a changelog entry?

If this is supposed to be included in the upcoming release, it should land today. I hope to tag the release tomorrow.

added 1 commit

• 6a27d1a2 - add change log entry for bitvector package and remove stdpp_unstable/.keep

Compare with previous version

This needs a rebase to resolve the conflicts.

added 8 commits

• 6a27d1a2...a91260bd - 6 commits from branch master
• 1138384a - update file structure
• 258bb528 - Merge remote-tracking branch 'origin/master' into ralf/bitvector

Compare with previous version

added 1 commit

• 2db75e49 - update changelog

Compare with previous version

added 1 commit

• 8c3b1524 - apply suggestion

Compare with previous version

added 5 commits

• f200f93d - create new package for stdpp-bitvector library
• b815c10b - pass over new stdpp-bitvector package
• 6c1e9be8 - bitvector.bitvector_tactics -> bitvector.tactics
• 6da05b7a - add change log entry for bitvector package and remove stdpp_unstable/.keep
• ab90b0bc - update file structure

Compare with previous version

resolved all threads

added 1 commit

• 188c1b34 - add maintain comment

Compare with previous version

I am happy. Any last remarks @jung ?

LGTM. Thanks for finishing is before the release :)

mentioned in commit 614f8ccc

merged

mentioned in issue #204 (closed)