change bor_kind_incl: Uniq <= Shared instead of Shared <= Uniq
Showing
- theories/rust_typing/arrays.v 1 addition, 9 deletionstheories/rust_typing/arrays.v
- theories/rust_typing/automation/solvers.v 4 additions, 4 deletionstheories/rust_typing/automation/solvers.v
- theories/rust_typing/box.v 1 addition, 4 deletionstheories/rust_typing/box.v
- theories/rust_typing/ltypes.v 3 additions, 3 deletionstheories/rust_typing/ltypes.v
- theories/rust_typing/products.v 1 addition, 14 deletionstheories/rust_typing/products.v
- theories/rust_typing/program_rules.v 15 additions, 5 deletionstheories/rust_typing/program_rules.v
- theories/rust_typing/programs.v 30 additions, 35 deletionstheories/rust_typing/programs.v
- theories/rust_typing/references.v 2 additions, 8 deletionstheories/rust_typing/references.v
- theories/rust_typing/tests.v 9 additions, 3 deletionstheories/rust_typing/tests.v
Loading
Please register or sign in to comment