CoCoA » CoCoALib

24 Oct 2022

15:18 0.50 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)

Some notes John Abbott

21 Oct 2022

22:39 0.25 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))

SumBigInt, SumBigRat John Abbott

15:05 0.40 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))

Some notes John Abbott

14 Oct 2022

12:32 1.00 hour (Support #1700 (Closed): boost_1_80_0)

Anna Maria Bigatti

11:45 0.20 hour (Support #1700 (Closed): boost_1_80_0)

General soln? John Abbott

10:18 1.00 hour (Support #1700 (Closed): boost_1_80_0)

Anna Maria Bigatti

11:53 0.20 hour (Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5)

Agree to disagree? John Abbott

11:37 0.20 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs)

Reject? John Abbott

12 Oct 2022

09:22 0.25 hour (Design #1677 (In Progress): release-source script: use shell globbing?)

Anna Maria Bigatti

11 Oct 2022

22:00 1.00 hour (Design #1699 (In Progress): Shell scripts: Shebang line, etc)

Some notes John Abbott

21:38 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?)

Globbing John Abbott

07 Oct 2022

15:25 0.15 hour (Design #1693 (Closed): SizeInBase: obsolete)

John Abbott

15:20 0.10 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)

Close? John Abbott

15:18 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")

Status? John Abbott

06 Oct 2022

20:48 0.25 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)

Current state John Abbott

28 Sep 2022

15:04 0.20 hour (Feature #127 (In Progress): Convert DUPFF code to C++)

More notes John Abbott