Commits on Mar 10, 2024

1. Add metadata to targets …

   This adds four pieces of metadata to every target:
   - description
   - tier
   - host tools
   - std
   
   This information is currently scattered across target docs and both
   - not machine readable, making validation harder
   - sometimes subtly encoding by the table it's in, causing mistakes and
     making it harder to review changes to the properties
   
   By putting it in the compiler, we improve this. Later, we will use this
   canonical information to generate target documentation from it.

   

   Noratrieb committed Mar 10, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 5bcb66c
   • Browse repository at this point

   Copy the full SHA

   5bcb66c View commit details

   Browse the repository at this point in the history