Merge branch 'build-system-tweaks' into 'main' (1be7b1d6) · Commits · Lennard Gäher / Refinedrust Dev · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

R

Refinedrust Dev
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

1be7b1d6

Commit 1be7b1d6 authored 11 months ago by Lennard Gäher

Downloads
- Plain Diff

Merge branch 'build-system-tweaks' into 'main'

Build system tweaks + repo cleanup

See merge request !28

parents f3f5f670 c68cd647

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 16
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

.gitlab-ci.yml 7 additions, 0 deletions

.gitlab-ci.yml
Makefile 61 additions, 58 deletions

Makefile
README.md 6 additions, 5 deletions

README.md
_CoqProject 4 additions, 8 deletions

_CoqProject
_vimrc_local.vim 0 additions, 13 deletions

_vimrc_local.vim
docs/DEVELOPERS.md 11 additions, 7 deletions

docs/DEVELOPERS.md
docs/SPEC_FORMAT.md 0 additions, 0 deletions

docs/SPEC_FORMAT.md
docs/paper_mapping.md 0 additions, 0 deletions

docs/paper_mapping.md
docs/tutorial.md 0 additions, 0 deletions

docs/tutorial.md
flake.nix 2 additions, 2 deletions

flake.nix
rr_frontend/refinedrust_frontend/src/bin/cargo-refinedrust.rs 0 additions, 2 deletions

...rontend/refinedrust_frontend/src/bin/cargo-refinedrust.rs
rr_frontend/rrconfig/src/launch.rs 0 additions, 49 deletions

rr_frontend/rrconfig/src/launch.rs
rust-toolchain.toml 0 additions, 0 deletions

rust-toolchain.toml
stdlib/Makefile 19 additions, 10 deletions

stdlib/Makefile
stdlib/refinedrust-stdlib.opam 2 additions, 2 deletions

stdlib/refinedrust-stdlib.opam
theories/refinedrust.opam 2 additions, 2 deletions

theories/refinedrust.opam

with 114 additions and 158 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