Merge branch 'cocospec-to-acsl' into merge-2022_04_11 (2fe896f9) · Commits · LustreC / Lustrec - public version · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Lustrec - public version
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

2fe896f9

Commit 2fe896f9 authored 2 years ago by

Pierre Loic Garoche

Downloads
- Plain Diff

Merge branch 'cocospec-to-acsl' into merge-2022_04_11

parents 4d4a4502 898c319e

No related branches found

No related tags found

No related merge requests found

Changes 1000

Hide whitespace changes

Inline Side-by-side

Showing

.gitignore 6 additions, 4 deletions

.gitignore
.gitlab-ci.yml 348 additions, 0 deletions

.gitlab-ci.yml
.gitmodules 3 additions, 0 deletions

.gitmodules
.mailmap 23 additions, 0 deletions

.mailmap
.merlin 0 additions, 43 deletions

.merlin
.ocaml-config.sh 0 additions, 10 deletions

.ocaml-config.sh
.ocamlformat 7 additions, 0 deletions

.ocamlformat
.travis.yml 0 additions, 60 deletions

.travis.yml
README.md 20 additions, 5 deletions

README.md
TODO.org 56 additions, 29 deletions

TODO.org
docker/Dockerfile 20 additions, 0 deletions

docker/Dockerfile
docker/init.sh 7 additions, 0 deletions

docker/init.sh
dune 64 additions, 0 deletions

dune
dune-project 43 additions, 0 deletions

dune-project
include/arrow.c 8 additions, 0 deletions

include/arrow.c
include/arrow.h 4 additions, 7 deletions

include/arrow.h
include/arrow_spec.c 25 additions, 0 deletions

include/arrow_spec.c
include/arrow_spec.h 71 additions, 0 deletions

include/arrow_spec.h
include/dune 27 additions, 0 deletions

include/dune
lustrec.opam 43 additions, 0 deletions

lustrec.opam

with 775 additions and 158 deletions

Some changes are not shown.

For a faster browsing experience, only 20 of 1000+ files are shown. Download one of the files below to see all changes.

Plain diff Email patch

0% 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