Merge branch 'robbert/sprop' into 'master' (8dbccce2) · Commits · Iris / stdpp · GitLab

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

8dbccce2

Commit 8dbccce2 authored 3 years ago by Ralf Jung

Downloads
- Plain Diff

Merge branch 'robbert/sprop' into 'master'

Use `SProp` to obtain better definitional equality for  `pmap`, `gmap`, `gset`, `Qp`, and `coPset`

Closes #85

See merge request !309

parents 64419715 242cef88

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 11
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 8 additions, 0 deletions

CHANGELOG.md
README.md 3 additions, 0 deletions

README.md
tests/gmap.ref 20 additions, 0 deletions

tests/gmap.ref
tests/gmap.v 88 additions, 1 deletion

tests/gmap.v
theories/base.v 20 additions, 0 deletions

theories/base.v
theories/coPset.v 88 additions, 48 deletions

theories/coPset.v
theories/countable.v 2 additions, 7 deletions

theories/countable.v
theories/gmap.v 20 additions, 16 deletions

theories/gmap.v
theories/namespaces.v 1 addition, 1 deletion

theories/namespaces.v
theories/numbers.v 227 additions, 94 deletions

theories/numbers.v
theories/pmap.v 41 additions, 25 deletions

theories/pmap.v

with 518 additions and 192 deletions

Loading

Ralf Jung @jung
mentioned in commit cd1d6048
· 3 years ago

mentioned in commit cd1d6048

mentioned in commit cd1d6048d6ed0b4b4994dfe6ebed2a92dd8cce92

Toggle commit list

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