CoCoA » CoCoA-5

26 Mar 2020

11:40 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Postpone? John Abbott

11:38 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

What I did for CoCoALib John Abbott

24 Mar 2020

22:37 2.50 hours (Support #1222 (Closed): Release CoCoA-5.3.0)

Anna Maria Bigatti

20 Mar 2020

13:21 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Test results John Abbott

12:57 0.10 hour (Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter)

Important John Abbott

12:54 0.10 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Small update John Abbott

12:35 0.20 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Some notes John Abbott

12:23 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

OK now? John Abbott

12:22 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Delayed John Abbott

12:18 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Closing John Abbott

14 Mar 2020

21:46 1.50 hour (Bug #1443 (Closed): Illegal instruction)

Annoying John Abbott

20:29 0.30 hour (Bug #1443 (Closed): Illegal instruction)

Seems to be GMP John Abbott

12:08 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

SURPRISE! John Abbott

12 Mar 2020

22:17 0.30 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Closing John Abbott

13:36 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Seems OK now John Abbott

15:55 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Uh oh John Abbott

15:40 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Maybe... John Abbott

15:33 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Oh John Abbott

11 Mar 2020

21:34 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)

No one cares John Abbott

21:28 0.20 hour (Design #1348 (Closed): cocoa5 script for releases)

Ooops! John Abbott

18:18 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Added doc John Abbott

18:14 2.00 hours (Feature #1439 (Closed): New function: LinearForm)

Impl'd John Abbott

16:20 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Name? John Abbott

13:47 0.40 hour (Feature #1439 (Closed): New function: LinearForm)

In C++ John Abbott

14:06 0.20 hour (Support #322 (In Progress): Installation instructions (on website))

LINUX John Abbott

13:40 0.10 hour (Support #322 (In Progress): Installation instructions (on website))

Clearer John Abbott

12:25 0.50 hour (Support #322 (In Progress): Installation instructions (on website))

Anna Maria Bigatti

12:27 0.10 hour (Bug #1443 (Closed): Illegal instruction)

Waiting for Feedback? John Abbott

10 Mar 2020

16:21 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)

How to find where a static library is John Abbott

15:56 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)

More details John Abbott

15:14 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Static library for tinfo (needed by readline) John Abbott

15:07 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Strip John Abbott

12:37 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

What to do? John Abbott

11:09 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Clue city John Abbott

14:08 0.10 hour (Bug #1443 (Closed): Illegal instruction)

Flag John Abbott

14:02 0.50 hour (Bug #1443 (Closed): Illegal instruction)

Puzzled John Abbott

13:15 0.30 hour (Support #322 (In Progress): Installation instructions (on website))

Microsoft John Abbott

09 Mar 2020

16:52 0.20 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

15:36 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Homog compts? John Abbott

15:56 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Mac release John Abbott

13:51 2.00 hours (Design #990 (Closed): CoCoA-5 distribution: tidying)

Anna Maria Bigatti

11:31 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Anna Maria Bigatti

15:34 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Postponing John Abbott

15:28 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

Seems OK now John Abbott

13:18 1.00 hour (Support #1258 (Closed): Manual page for CantStop)

Anna Maria Bigatti

10:26 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

Anna Maria Bigatti

08 Mar 2020

09:24 0.20 hour (Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER)

Some notes John Abbott

07 Mar 2020

11:20 0.50 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

09:21 0.20 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

09:17 1.50 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti