Skip to content

Documentation improvements and cleanup

Lennard Gäher requested to merge ci/lennard/documentation into main

This MR contains a few changes:

  • move the vec case study to case_studies and integrate it into CI
  • add a small tutorial.md document giving a tutorial on how to use RefinedRust
  • add a small paper_mapping.md document describing how stuff from the RefinedRust paper maps to the code
  • fix some issues with ADT shims

Merge request reports