bug 1220: add a few more slides with examples

[libreriscv.git] / conferences / fosdem2024 / fosdem2024_formal / states_input.dia

diff --git a/conferences/fosdem2024/fosdem2024_formal/states_input.dia b/conferences/fosdem2024/fosdem2024_formal/states_input.dia
index dab3127fafb7528e06ee5e95a36bf42abb8a2c78..43dfac0ee9f33f221f08867cdf78048d0a8f07e5 100644 (file)
Binary files a/conferences/fosdem2024/fosdem2024_formal/states_input.dia and b/conferences/fosdem2024/fosdem2024_formal/states_input.dia differ