Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 4963.12

Date User Activity Issue Comment Hours
14 Dec 2022 John Abbott Development Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Almost done 0.75
14 Dec 2022 John Abbott Testing Bug #1714: IsDivisible error (in QuotRing) Added test 0.25
14 Dec 2022 John Abbott Testing Bug #1717: CRASH: equality test to a FUNCTION Closing 0.25
01 Dec 2022 John Abbott Debugging Bug #1717: CRASH: equality test to a FUNCTION Found something dodgy 0.50
01 Dec 2022 John Abbott Debugging Bug #1717: CRASH: equality test to a FUNCTION More info 0.20
01 Dec 2022 John Abbott Debugging Bug #1717: CRASH: equality test to a FUNCTION Relevant source 0.20
30 Nov 2022 John Abbott Development Support #1393: GUI with Qt5 Revised release script 1.50
30 Nov 2022 John Abbott Documentation Support #613: Which ubuntu / debian packages are needed to compile CoCoA Done! 0.50
30 Nov 2022 John Abbott Discussion Support #1711: Development releases? Ideas 0.50
30 Nov 2022 John Abbott Documentation Support #613: Which ubuntu / debian packages are needed to compile CoCoA Check & close 0.20
30 Nov 2022 John Abbott Discussion Design #1716: Qn: factor for BigInt Time limit? 0.10
30 Nov 2022 John Abbott Discussion Design #1716: Qn: factor for BigInt Current state 0.50
30 Nov 2022 John Abbott Discussion Support #1393: GUI with Qt5 Proposal 0.20
30 Nov 2022 John Abbott Discussion Bug #1713: Windows: Qt-Gui does not link correctly Who can help? 0.20
29 Nov 2022 John Abbott Discussion Design #1716: Qn: factor for BigInt KISS? 0.50
28 Nov 2022 John Abbott Discussion Support #1711: Development releases? Comments 0.20
28 Nov 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? Oh joy! 0.50
26 Nov 2022 John Abbott Debugging Bug #1714: IsDivisible error (in QuotRing) Got it! 1.00
26 Nov 2022 John Abbott Testing Bug #1714: IsDivisible error (in QuotRing) Different error 0.25
24 Nov 2022 John Abbott Testing Bug #1714: IsDivisible error (in QuotRing) Also char 0 0.10
24 Nov 2022 John Abbott Testing Bug #1714: IsDivisible error (in QuotRing) Simpler 0.10
24 Nov 2022 John Abbott Testing Bug #1714: IsDivisible error (in QuotRing) Some notes 0.25
23 Nov 2022 John Abbott Discussion Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) KISS 0.10
23 Nov 2022 John Abbott Discussion Support #1711: Development releases? Burden 0.10
23 Nov 2022 John Abbott Discussion Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Anna 0.10
23 Nov 2022 John Abbott Discussion Support #1393: GUI with Qt5 Bounced 0.20
23 Nov 2022 John Abbott Documentation Support #1393: GUI with Qt5 paper-shuffling 0.25
23 Nov 2022 John Abbott Discussion Support #1711: Development releases? Questions 0.20
23 Nov 2022 John Abbott Discussion Bug #1600: Detect updated versions of external libs Suggestion 0.20
23 Nov 2022 John Abbott Development Support #1700: boost_1_80_0 Closing: near duplicate 0.25
23 Nov 2022 John Abbott Development Bug #1695: boost-find-lib.sh Resolved? 0.25
23 Nov 2022 John Abbott Testing Design #1697: Specifying BOOST in configure New configure system solves this? 0.25
23 Nov 2022 John Abbott Design Feature #1692: Suggestion: Add "JumpTo" function to prime iterators Fn name? 0.20
23 Nov 2022 John Abbott Documentation Bug #1713: Windows: Qt-Gui does not link correctly Notes about building Normaliz 0.25
21 Nov 2022 John Abbott Development Bug #1712: Windows: New configuration script Checked in 0.50
18 Nov 2022 John Abbott Discussion Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) More opinion 0.25
17 Nov 2022 John Abbott Design Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Question 0.20
16 Nov 2022 John Abbott Development Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) Ambiguity 2.00
16 Nov 2022 John Abbott Discussion Support #1711: Development releases? Some notes 0.25
16 Nov 2022 John Abbott Development Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Updated 0.50
16 Nov 2022 John Abbott Discussion Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Which is better? 0.25
16 Nov 2022 John Abbott Testing Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Some test cases 0.40
16 Nov 2022 John Abbott Discussion Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] Some thoughts 0.25
16 Nov 2022 John Abbott Testing Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x] 0.40
16 Nov 2022 John Abbott Testing Design #1709: Test tut-CoCoLA2 Some notes 0.20
12 Nov 2022 John Abbott Design Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) BOOST 0.10
12 Nov 2022 John Abbott Design Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) Some notes 0.25
12 Nov 2022 John Abbott Development Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost) Progress 10.00
12 Nov 2022 John Abbott Discussion Bug #1600: Detect updated versions of external libs Duplicate? 0.10
12 Nov 2022 John Abbott Debugging Support #1700: boost_1_80_0 Oh joy! 1.50
07 Nov 2022 John Abbott Discussion Support #1393: GUI with Qt5 Licence 0.20
04 Nov 2022 John Abbott Testing Feature #1676: txt2tags: include in source distribution? Source with doc 0.15
04 Nov 2022 John Abbott Design Bug #1705: ProgressReporter: prepare for new loop? Like CpuTimeLimit 0.75
04 Nov 2022 John Abbott Development Support #1393: GUI with Qt5 Simpler? 0.25
04 Nov 2022 John Abbott Testing Support #1393: GUI with Qt5 Ouch! 0.50
02 Nov 2022 John Abbott Discussion Bug #1708: Linux: just 1 executable, should be 2 (with & without readline) Some notes 0.25
01 Nov 2022 John Abbott Discussion Support #1707: User forum? Some notes 0.25
24 Oct 2022 John Abbott Design Bug #1705: ProgressReporter: prepare for new loop? Some notes 0.50
24 Oct 2022 John Abbott Development Support #1393: GUI with Qt5 Wow! 0.10
21 Oct 2022 John Abbott Development Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn) SumBigInt, SumBigRat 0.25
21 Oct 2022 John Abbott Development Feature #1701: Preliminary packages New dir 0.40
21 Oct 2022 John Abbott Discussion Feature #1701: Preliminary packages Some thoughts 0.25
21 Oct 2022 John Abbott Design Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn) Some notes 0.40
19 Oct 2022 Anna Maria Bigatti Design Design #1698: indent: return a string? 0.50
17 Oct 2022 John Abbott Discussion Feature #1701: Preliminary packages Some notes 0.40
17 Oct 2022 John Abbott Development Design #1568: RMap and image: obsolescent? Progress? 0.10
17 Oct 2022 John Abbott Documentation Feature #912: Add TUTORIALs to online manual New students 0.20
17 Oct 2022 John Abbott Discussion Feature #1373: GFan also for Microsoft? Nico Mexis 0.10
14 Oct 2022 Anna Maria Bigatti Development Support #1700: boost_1_80_0 1.00
14 Oct 2022 John Abbott Discussion Design #933: Separate configure scripts for CoCoALib and CoCoA-5 Agree to disagree? 0.20
14 Oct 2022 John Abbott Discussion Support #1700: boost_1_80_0 General soln? 0.20
14 Oct 2022 John Abbott Discussion Slug #701: Makefile; limit dependencies on external libs Reject? 0.20
14 Oct 2022 Anna Maria Bigatti Documentation Design #1697: Specifying BOOST in configure 2.00
14 Oct 2022 Anna Maria Bigatti Testing Support #1700: boost_1_80_0 1.00
12 Oct 2022 Anna Maria Bigatti Design Design #1677: release-source script: use shell globbing? 0.25
11 Oct 2022 John Abbott Discussion Design #1699: Shell scripts: Shebang line, etc Some notes 1.00
11 Oct 2022 John Abbott Discussion Design #1677: release-source script: use shell globbing? Globbing 0.20
11 Oct 2022 John Abbott Testing Support #1393: GUI with Qt5 Must wait 0.10
10 Oct 2022 John Abbott Testing Design #1698: indent: return a string? 0.30
07 Oct 2022 John Abbott Development Support #1393: GUI with Qt5 Quick! 0.10
07 Oct 2022 John Abbott Testing Design #1693: SizeInBase: obsolete 0.15
07 Oct 2022 John Abbott Discussion Feature #1676: txt2tags: include in source distribution? Close? 0.10
07 Oct 2022 John Abbott Testing Bug #1662: txt2tags: problem with filenames containing "_" or "-" Status? 0.20
07 Oct 2022 John Abbott Development Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg" Update 0.10
07 Oct 2022 John Abbott Development Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg" Close? 0.20
07 Oct 2022 John Abbott Discussion Support #1534: Install CoCoA-5 on MacOS-10.15+ Status report 0.10
07 Oct 2022 John Abbott Discussion Slug #750: C5 GUI: very slow when printing many short lines Closing 0.40
07 Oct 2022 John Abbott Discussion Feature #35: Optional warnings for fn-proc arity Rejecting 0.40
06 Oct 2022 John Abbott Testing Design #1698: indent: return a string? Tests 0.20
06 Oct 2022 John Abbott Documentation Support #613: Which ubuntu / debian packages are needed to compile CoCoA Current state 0.25
06 Oct 2022 John Abbott Development Support #1393: GUI with Qt5 Test script 0.20
06 Oct 2022 John Abbott Testing Bug #148: C-c C-p in emacs goes to wrong line Some test cases 0.50
06 Oct 2022 John Abbott Discussion Bug #716: NotBuiltin.cpkg5: indent for MODULE Free module names 0.20
05 Oct 2022 Anna Maria Bigatti Discussion Bug #716: NotBuiltin.cpkg5: indent for MODULE 0.10
05 Oct 2022 Anna Maria Bigatti Design Design #1698: indent: return a string? 0.25
05 Oct 2022 Anna Maria Bigatti Design Bug #148: C-c C-p in emacs goes to wrong line 1.00
30 Sep 2022 John Abbott Discussion Bug #148: C-c C-p in emacs goes to wrong line Anna? 0.10
30 Sep 2022 John Abbott Discussion Support #198: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI Rivalutare 0.20
30 Sep 2022 John Abbott Testing Design #1698: indent: return a string? Undecided 0.25
28 Sep 2022 John Abbott Development Design #1698: indent: return a string? Prototype 0.40
(601-700/7155) Per page: 25, 100, 500

Also available in: Atom CSV