Index of /conferences/fosdem2024/fosdem2024_formal/

../
formal/                                            01-Jun-2026 22:51                   -
Makefile                                           01-Jun-2026 22:51                 341
enable.dia                                         01-Jun-2026 22:51                2837
memory.dia                                         01-Jun-2026 22:51                1850
states_complete.dia                                01-Jun-2026 22:51                3692
states_enable.dia                                  01-Jun-2026 22:51                3361
states_input.dia                                   01-Jun-2026 22:51                2210
states_one.dia                                     01-Jun-2026 22:51                1613
states_output.dia                                  01-Jun-2026 22:51                2120
states_verification.dia                            01-Jun-2026 22:51                3220
stream.dia                                         01-Jun-2026 22:51                1701
sum.dia                                            01-Jun-2026 22:51                1232
test_enable.png                                    01-Jun-2026 22:51                4776