Build system tweaks + repo cleanup (c68cd647) · 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

c68cd647

Commit c68cd647 authored 11 months ago by Lennard Gäher

Downloads
- Patches
- Plain Diff

Build system tweaks + repo cleanup


Co-authored-by: Vincent Lafeychine <vincent.lafeychine@proton.me>

parent f3f5f670

No related branches found

No related tags found

Loading

Changes 16

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