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

5ea9d5a4

Commit 5ea9d5a4 authored 1 year ago by Robbert Krebbers

Downloads
- Plain Diff

Merge branch 'robbert/new_gmap' into 'master'

More canonical maps

See merge request !461

parents 385d29dd 9d444a80

No related branches found

No related tags found

1 merge request!461More canonical maps

Pipeline #81752 passed 1 year ago

Stage: build

Changes 13
Pipelines 1

Expand all Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 16 additions, 0 deletions

CHANGELOG.md
stdpp/coPset.v 62 additions, 37 deletions

stdpp/coPset.v
stdpp/fin_map_dom.v 8 additions, 6 deletions

stdpp/fin_map_dom.v
stdpp/fin_maps.v 139 additions, 82 deletions

stdpp/fin_maps.v
stdpp/gmap.v 533 additions, 112 deletions

stdpp/gmap.v
stdpp/natmap.v 58 additions, 60 deletions

stdpp/natmap.v
stdpp/nmap.v 25 additions, 38 deletions

stdpp/nmap.v
stdpp/pmap.v 334 additions, 260 deletions

stdpp/pmap.v
stdpp/zmap.v 25 additions, 43 deletions

stdpp/zmap.v
tests/fin_maps.ref 127 additions, 0 deletions

tests/fin_maps.ref
tests/fin_maps.v 370 additions, 1 deletion

tests/fin_maps.v
tests/gmap.ref 0 additions, 78 deletions

tests/gmap.ref
tests/gmap.v 0 additions, 91 deletions

tests/gmap.v

with 1697 additions and 808 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