Merge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coq
No related branches found
No related tags found
Checking pipeline status
Showing
- Makefile 3 additions, 11 deletionsMakefile
- _CoqProject 1 addition, 0 deletions_CoqProject
- build/opam-pins.sh 7 additions, 2 deletionsbuild/opam-pins.sh
- opam.pins 1 addition, 1 deletionopam.pins
- theories/lang/heap.v 1 addition, 1 deletiontheories/lang/heap.v
- theories/lang/lang.v 2 additions, 2 deletionstheories/lang/lang.v
- theories/lang/races.v 1 addition, 1 deletiontheories/lang/races.v
- theories/lang/tactics.v 1 addition, 1 deletiontheories/lang/tactics.v
- theories/lifetime/lifetime_sig.v 1 addition, 1 deletiontheories/lifetime/lifetime_sig.v
- theories/typing/unsafe/refcell/ref_code.v 2 additions, 2 deletionstheories/typing/unsafe/refcell/ref_code.v
- theories/typing/unsafe/refcell/refcell_code.v 1 addition, 1 deletiontheories/typing/unsafe/refcell/refcell_code.v
- theories/typing/unsafe/refcell/refmut_code.v 1 addition, 1 deletiontheories/typing/unsafe/refcell/refmut_code.v
Loading
Please register or sign in to comment