Back to bug 1220
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| cestrauss | 2023-11-28 17:16:52 GMT | Blocks | 1070 | |
| cestrauss | 2024-01-31 00:35:49 GMT | URL | https://pretalx.fosdem.org/fosdem-2024/talk/review/ERCK9HTW89NXBA7SFGF8BLMWCTFEZWBG | https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/ |
| lkcl | 2024-01-31 04:47:35 GMT | CC | lkcl | |
| cestrauss | 2024-02-24 19:42:48 GMT | Resolution | --- | FIXED |
| Status | CONFIRMED | RESOLVED |
Back to bug 1220