Merge branch 'lennard/install-stdlib' into 'main'
Add opam package for stdlib + various fixes See merge request !27
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 5 additions, 14 deletions.gitlab-ci.yml
- Makefile 18 additions, 6 deletionsMakefile
- _CoqProject 1 addition, 0 deletions_CoqProject
- case_studies/dune-project 5 additions, 0 deletionscase_studies/dune-project
- case_studies/minivec/output/minivec/interface.rrlib 0 additions, 137 deletionscase_studies/minivec/output/minivec/interface.rrlib
- case_studies/tests/src/lib.rs 2 additions, 0 deletionscase_studies/tests/src/lib.rs
- case_studies/tests/src/option.rs 36 additions, 0 deletionscase_studies/tests/src/option.rs
- coq-caesium-config-no-align.opam 0 additions, 22 deletionscoq-caesium-config-no-align.opam
- dune 0 additions, 17 deletionsdune
- flake.nix 23 additions, 7 deletionsflake.nix
- rr_frontend/radium/src/code.rs 1 addition, 1 deletionrr_frontend/radium/src/code.rs
- rr_frontend/radium/src/coq.rs 50 additions, 2 deletionsrr_frontend/radium/src/coq.rs
- rr_frontend/radium/src/specs.rs 17 additions, 5 deletionsrr_frontend/radium/src/specs.rs
- rr_frontend/translation/src/lib.rs 54 additions, 19 deletionsrr_frontend/translation/src/lib.rs
- rr_frontend/translation/src/shim_registry.rs 22 additions, 0 deletionsrr_frontend/translation/src/shim_registry.rs
- rr_frontend/translation/src/spec_parsers/crate_attr_parser.rs 22 additions, 0 deletions...rontend/translation/src/spec_parsers/crate_attr_parser.rs
- rr_frontend/translation/src/spec_parsers/module_attr_parser.rs 16 additions, 1 deletion...ontend/translation/src/spec_parsers/module_attr_parser.rs
- rr_frontend/translation/src/spec_parsers/parse_utils.rs 13 additions, 0 deletionsrr_frontend/translation/src/spec_parsers/parse_utils.rs
- rr_frontend/translation/src/utils.rs 10 additions, 0 deletionsrr_frontend/translation/src/utils.rs
- scripts/install-stdlib.sh 9 additions, 0 deletionsscripts/install-stdlib.sh
Loading
Please register or sign in to comment