Repository navigation

Add split licensing and SPARK non-claims - #13

Open

ProfRandom92 wants to merge 6 commits into

mainfrom

license-claim-hygiene

Commits on Jun 13, 2026
- Add EUPL-1.2 repository license
  ProfRandom92
  committed
  adbf6ea
- Add crate license pointer
  ProfRandom92
  committed
  04e53c6
- Document split licensing model
  ProfRandom92
  committed
  ee0379e
- Add project notice and non-claims
  ProfRandom92
  committed
  922c94b
- Document third-party dependency licenses
  ProfRandom92
  committed
  596908d
- Use full MIT license text for Rust crate
  ProfRandom92
  committed
  c608c3f