Activity
From 21 Mar 2024 to 19 Apr 2024
19 Apr 2024
- 22:10 0.25 hour (Bug #1794 (Resolved): Do not use random inside tests!!)
- More tests to check
12 Apr 2024
- 19:08 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2)
- Checked in
07 Apr 2024
- 20:41 0.40 hour (Design #1709 (Closed): Test tut-CoCoLA2)
- Modified
28 Mar 2024
26 Mar 2024
- 17:12 0.10 hour (Feature #1072 (Rejected): syz: apply to ModuleElem?)
- Agreed
- 09:59 0.20 hour (Feature #1072 (Rejected): syz: apply to ModuleElem?)
22 Mar 2024
21 Mar 2024
Also available in: Atom