git.libre-soc.org Git - libreriscv.git/blob - conferences/fosdem2024/fosdem2024_formal/.gitignore

projects / libreriscv.git / blob

b43b63175d99b2c496133b46b280b82b440cb5f7

[libreriscv.git] / conferences / fosdem2024 / fosdem2024_formal / .gitignore

1 formal.pdf

2 states_*.png

http://libre-riscv.org ikiwiki