Refactored list type to own file. Bumped mapper_list. Documentation. (36b0408d) · Commits · Iris / Actris · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

Actris
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

36b0408d

Commit 36b0408d authored 4 years ago by Jonas Kastberg

Downloads
- Patches
- Plain Diff

Refactored list type to own file. Bumped mapper_list. Documentation.

parent c71872d3

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 6
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

_CoqProject 1 addition, 0 deletions

_CoqProject
papers/CPP21.md 4 additions, 1 deletion

papers/CPP21.md
theories/logrel/examples/compute_client_list.v 22 additions, 67 deletions

theories/logrel/examples/compute_client_list.v
theories/logrel/examples/compute_service.v 7 additions, 0 deletions

theories/logrel/examples/compute_service.v
theories/logrel/examples/mapper_list.v 52 additions, 106 deletions

theories/logrel/examples/mapper_list.v
theories/logrel/lib/list.v 75 additions, 0 deletions

theories/logrel/lib/list.v

with 161 additions and 174 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