Activity - CoCoA - CoCoA Project

Activity

From 20 Sep 2022 to 19 Oct 2022

19 Oct 2022

13:52 CoCoA-5 0.50 hour (Design #1698 (Closed): indent: return a string?): Anna Maria Bigatti

17 Oct 2022

14:38 CoCoA-5 0.40 hour (Feature #1701 (In Progress): Preliminary packages): Some notes John Abbott
14:04 CoCoA-5 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?): Progress? John Abbott
14:02 CoCoA-5 0.20 hour (Feature #912 (In Progress): Add TUTORIALs to online manual): New students John Abbott
13:59 CoCoA-5 0.10 hour (Feature #1373 (In Progress): GFan also for Microsoft?): Nico Mexis John Abbott

14 Oct 2022

12:32 CoCoALib 1.00 hour (Support #1700 (Closed): boost_1_80_0): Anna Maria Bigatti
11:45 CoCoALib 0.20 hour (Support #1700 (Closed): boost_1_80_0): General soln? John Abbott
10:18 CoCoALib 1.00 hour (Support #1700 (Closed): boost_1_80_0): Anna Maria Bigatti
11:53 CoCoALib 0.20 hour (Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5): Agree to disagree? John Abbott
11:37 CoCoALib 0.20 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs): Reject? John Abbott
10:26 CoCoA-5 2.00 hours (Design #1697 (Closed): Specifying BOOST in configure): Anna Maria Bigatti

12 Oct 2022

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

11 Oct 2022

22:00 CoCoALib 1.00 hour (Design #1699 (In Progress): Shell scripts: Shebang line, etc): Some notes John Abbott
21:38 CoCoALib 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?): Globbing John Abbott
20:19 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5): Must wait John Abbott

10 Oct 2022

12:01 CoCoA-5 0.30 hour (Design #1698 (Closed): indent: return a string?): John Abbott

07 Oct 2022

15:28 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5): Quick! John Abbott
15:25 CoCoALib 0.15 hour (Design #1693 (Closed): SizeInBase: obsolete): John Abbott
15:20 CoCoALib 0.10 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?): Close? John Abbott
15:18 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"): Status? John Abbott
14:40 CoCoA-5 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg"): Update John Abbott
14:38 CoCoA-5 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg"): Close? John Abbott
14:35 CoCoA-5 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+): Status report John Abbott
11:06 CoCoA-5 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines): Closing John Abbott
10:56 CoCoA-5 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity): Rejecting John Abbott

06 Oct 2022

20:51 CoCoA-5 0.20 hour (Design #1698 (Closed): indent: return a string?): Tests John Abbott
20:48 CoCoALib 0.25 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA): Current state John Abbott
20:38 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5): Test script John Abbott
20:15 CoCoA-5 0.50 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line): Some test cases John Abbott
20:00 CoCoA-5 0.20 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE): Free module names John Abbott

05 Oct 2022

11:35 CoCoA-5 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE): Anna Maria Bigatti
11:30 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?): Anna Maria Bigatti
11:22 CoCoA-5 1.00 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line): Anna Maria Bigatti

30 Sep 2022

19:12 CoCoA-5 0.10 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line): Anna? John Abbott
19:05 CoCoA-5 0.20 hour (Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI): Rivalutare John Abbott
18:59 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?): Undecided John Abbott

28 Sep 2022

15:16 CoCoA-5 0.40 hour (Design #1698 (Closed): indent: return a string?): Prototype John Abbott
15:04 CoCoALib 0.20 hour (Feature #127 (In Progress): Convert DUPFF code to C++): More notes John Abbott
15:00 CoCoA-5 0.25 hour (Bug #1604 (In Progress): SqFreeFactor crashes over non-perfect field): Status report John Abbott

27 Sep 2022

22:36 CoCoA-5 0.30 hour (Design #1698 (Closed): indent: return a string?): Some notes John Abbott
22:30 CoCoA-5 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE): Document? John Abbott
22:27 CoCoA-5 0.50 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines): Update John Abbott
22:20 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5): Release John Abbott

26 Sep 2022

20:39 CoCoALib 0.20 hour (Design #710 (In Progress): Update normaliz interface?): Close? John Abbott
20:34 CoCoALib 0.20 hour (Feature #82 (Closed): C++11 compatibility questions): Superseded John Abbott
20:30 CoCoA-5 0.25 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity): Too tricky? John Abbott
20:25 CoCoA-5 0.25 hour (Bug #100 (New): BringIn should map only the indets in its arg): Status 2022-09-26 John Abbott
16:31 CoCoA-5 1.00 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return")): discussion Anna Maria Bigatti
12:01 CoCoA-5 0.10 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return")): Reject? John Abbott
12:05 CoCoALib 4.00 hours (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib): Student project John Abbott
11:42 CoCoALib 0.20 hour (Support #59 (New): List of all functions in CoCoALib): Progress? John Abbott

Also available in: Atom