CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Fix doc comment whitespace. #51

Closed rmn30 closed 7 months ago

rmn30 commented 7 months ago

Sail requires a trailing whitespace after the preceding * on blank comment lines otherwise it interprets it as markdown resulting in broken latex output.

Also pin sail to dev branch containing a latex fix.