CoCoA » CoCoA-5

01 Dec 2022

12:17 0.50 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Found something dodgy John Abbott

11:51 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

More info John Abbott

11:45 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Relevant source John Abbott

30 Nov 2022

22:07 1.50 hour (Support #1393 (Feedback): GUI with Qt5)

Revised release script John Abbott

15:59 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Proposal John Abbott

15:57 0.20 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Who can help? John Abbott

28 Nov 2022

21:53 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)

Oh joy! John Abbott

26 Nov 2022

14:52 1.00 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Got it! John Abbott

14:18 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Different error John Abbott

24 Nov 2022

13:36 0.10 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Also char 0 John Abbott

12:17 0.10 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Simpler John Abbott

12:13 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Some notes John Abbott

23 Nov 2022

18:17 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Bounced John Abbott

17:53 0.25 hour (Support #1393 (Feedback): GUI with Qt5)

paper-shuffling John Abbott

17:32 0.25 hour (Bug #1695 (Closed): boost-find-lib.sh)

Resolved? John Abbott

17:25 0.25 hour (Design #1697 (Closed): Specifying BOOST in configure)

New configure system solves this? John Abbott

10:09 0.25 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Notes about building Normaliz John Abbott

16 Nov 2022

15:42 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2)

Some notes John Abbott

07 Nov 2022

20:05 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Licence John Abbott

04 Nov 2022

11:47 0.25 hour (Support #1393 (Feedback): GUI with Qt5)

Simpler? John Abbott

11:21 0.50 hour (Support #1393 (Feedback): GUI with Qt5)

Ouch! John Abbott

02 Nov 2022

10:33 0.25 hour (Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline))

Some notes John Abbott