Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

stdpp
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Service Desk

Snippets Groups Projects

80267a5e

Commit 80267a5e authored 9 months ago by Robbert Krebbers

Downloads
- Plain Diff

Merge branch 'robbert/map_fold_ind' into 'master'

Stronger induction principle for `map_fold`.

See merge request !566

parents 6cb5c0f2 d17140b8

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 9
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 20 additions, 0 deletions

CHANGELOG.md
stdpp/fin_map_dom.v 10 additions, 0 deletions

stdpp/fin_map_dom.v
stdpp/fin_maps.v 190 additions, 90 deletions

stdpp/fin_maps.v
stdpp/gmap.v 76 additions, 46 deletions

stdpp/gmap.v
stdpp/natmap.v 64 additions, 37 deletions

stdpp/natmap.v
stdpp/nmap.v 7 additions, 4 deletions

stdpp/nmap.v
stdpp/pmap.v 39 additions, 18 deletions

stdpp/pmap.v
stdpp/zmap.v 10 additions, 6 deletions

stdpp/zmap.v
tests/fin_maps.v 11 additions, 12 deletions

tests/fin_maps.v

with 427 additions and 213 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment