Activity
From 12 Oct 2022 to 10 Nov 2022
04 Nov 2022
-
14:31 0.15 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Source with doc
-
13:45 0.75 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)
- Like CpuTimeLimit
24 Oct 2022
21 Oct 2022
-
22:39 0.25 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- SumBigInt, SumBigRat
-
15:05 0.40 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- Some notes
14 Oct 2022
-
12:32 1.00 hour (Support #1700 (Closed): boost_1_80_0)
-
11:45 0.20 hour (Support #1700 (Closed): boost_1_80_0)
- General soln?
-
10:18 1.00 hour (Support #1700 (Closed): boost_1_80_0)
-
11:53 0.20 hour (Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5)
- Agree to disagree?
-
11:37 0.20 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs)
- Reject?
12 Oct 2022
Also available in: Atom