Project

General

Profile

Activity

From 05 Dec 2020 to 03 Jan 2021

28 Dec 2020

17:56 Support #1555: Software licence
Here are what we need to do:
* ensure that all copyright lines are correct (Anna and me)
* remove the GPL blurb fro...
John Abbott

22 Dec 2020

16:16 Bug #1376: GBasisTimeout: not working as expected
What is the status of this issue? John Abbott
16:10 Bug #1542: gfan does not "deinitialize"
A non-solution is to modify the documentation to say that @GMPAllocator@ does not work well with GFan (or else the u... John Abbott

21 Dec 2020

12:33 Support #1555 (Closed): Software licence
Gereon Kremer asks whether we are willing to release some or all of the source for CoCoA/CoCoALib under a different l... John Abbott

05 Dec 2020

14:15 Bug #1542: gfan does not "deinitialize"
I downloaded gfan (v. 0.6.2) from the official website.
The subtree layout is quite different from what I have!
Als...
John Abbott
14:02 Design #1529 (Feedback): INPUT questions
I have cleaned the code. All tests pass. Checking in.
John Abbott
13:55 Design #1547 (Closed): Require decimal mode for ostream?
In issue #1529 we have decided to require that when reading from an @istream@ the stream must be in decimal mode.
Sh...
John Abbott
 

Also available in: Atom