Allow configuring whether Caesium checks for alignment
Showing
- Makefile 10 additions, 0 deletionsMakefile
- theories/caesium/base.v 1 addition, 0 deletionstheories/caesium/base.v
- theories/caesium/config/config.v 26 additions, 0 deletionstheories/caesium/config/config.v
- theories/caesium/config/default_config.v 9 additions, 0 deletionstheories/caesium/config/default_config.v
- theories/caesium/config/dune 8 additions, 0 deletionstheories/caesium/config/dune
- theories/caesium/config/no_align_config.v 9 additions, 0 deletionstheories/caesium/config/no_align_config.v
- theories/caesium/config/selected_config.v 8 additions, 0 deletionstheories/caesium/config/selected_config.v
- theories/caesium/loc.v 13 additions, 12 deletionstheories/caesium/loc.v
- theories/rust_typing/automation.v 1 addition, 1 deletiontheories/rust_typing/automation.v
- theories/rust_typing/shims.v 9 additions, 5 deletionstheories/rust_typing/shims.v
- theories/rust_typing/util.v 1 addition, 0 deletionstheories/rust_typing/util.v
Loading
Please register or sign in to comment