Activity
From 22 Jun 2024 to 21 Jul 2024
Today
02 Jul 2024
-
21:45 0.25 hour (Feature #92 (In Progress): Error Codes: BadIndex)
- Naming
-
17:10 3.00 hours (Design #427 (In Progress): Error names and error messages (current design))
-
11:33 1.00 hour (Design #308 (In Progress): Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero])
27 Jun 2024
-
21:28 0.40 hour (Feature #743 (In Progress): Better errors: give supplementary info about the error)
- Suggestion
-
21:10 0.50 hour (Feature #385 (In Progress): Design new errors using inheritance)
- Making progress
-
20:04 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance)
- How urgent?
-
20:09 0.25 hour (Design #1807 (In Progress): Error codes: "Not..." for "blah must be ..." -- change prefix)
- OK
Also available in: Atom