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

!97

LookupTotal

Review changes
Download
Patches
Plain diff

Merged LookupTotal

dfrumin/coq-stdpp:lookup_total into master

Overview 58
Commits 17
Pipelines 0
Changes 5

Merged Dan Frumin requested to merge dfrumin/coq-stdpp:lookup_total into master 5 years ago

Overview 58
Commits 17
Pipelines 0
Changes 5

This is aimed at addressing #43 (closed).

Some TODOs:

Update the notation in accordance with !93 (merged)
Direct definition of LookupTotal on vectors, so that its more friendlier towards simplification.

Edited 5 years ago by Dan Frumin

Merge request reports

0 Assignees

0 Reviewers

Request review from

Loading

Labels

0

None

0

None

Select labels

Manage project labels

Milestone

None

None

None

Time tracking

No estimate or time spent

0

0 Participants

Compare

master (base)

and

latest version

17 commits, 5 years ago

16 commits, 5 years ago

15 commits, 5 years ago

14 commits, 5 years ago

13 commits, 5 years ago

11 commits, 5 years ago

9 commits, 5 years ago

7 commits, 5 years ago

6 commits, 5 years ago

6 commits, 5 years ago

5 commits, 5 years ago

4 commits, 5 years ago

4 commits, 5 years ago

3 commits, 5 years ago

Compare changes

Side-by-side
Inline

Show whitespace changes

Show one file at a time

Files

5

Search (e.g. *.vue) (Ctrl+P)

Loading