2024-02-28 | Cesar Strauss | Updated tasks for 2024-02-27 meeting |
commit | commitdiff | tree |
2024-02-13 | Cesar Strauss | Remove old news, add FOSDEM related activities. |
commit | commitdiff | tree |
2024-02-13 | Cesar Strauss | bug 1220: add a few more slides with examples |
commit | commitdiff | tree |
2024-01-31 | Cesar Strauss | fosdem2024_formal: add slides and diagrams |
commit | commitdiff | tree |
2023-12-09 | Cesar Strauss | Fix typo |
commit | commitdiff | tree |
2021-02-20 | Cesar Strauss | Fix MSB0 issues in the pseudo-code for augmented register... |
commit | commitdiff | tree |