Project

General

Profile

Activity

From 23 Jan 2024 to 21 Feb 2024

17 Feb 2024

22:58 Bug #1713: Windows: Qt-Gui does not link correctly
These differences between the linkers on Windows and Linux are really unfortunate sometimes...
In that case, I would...
Nico Mexis
21:27 Bug #1713: Windows: Qt-Gui does not link correctly
Partial success: compilation succeeded, but attempting to run the resulting executable produced an error *@Cannot fin... John Abbott
21:07 Bug #1713: Windows: Qt-Gui does not link correctly
Great! Thanks for sorting this out. I shall test it (on Linux) shortly -- let's hope it works!
John Abbott
15:41 Bug #1713: Windows: Qt-Gui does not link correctly
I have updated my documentation file. Actually, only three CygWin packages are needed in order to successfully build ... Nico Mexis
12:05 Bug #1713: Windows: Qt-Gui does not link correctly
I did not give up that easily on this issue: Today, I was finally able to compile the Qt5-Gui on Windows!
Recently, ...
Nico Mexis

09 Feb 2024

08:16 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
fixed and checked in.
@GenReprCompute@ used @SyzOfGens(ideal(concat([A], [ f in GensB | not(IsZero(f)) ])))@ which, ...
Anna Maria Bigatti
07:59 Bug #1781: GenReprCompute: SERIOUS ERROR
I get the same error with... Anna Maria Bigatti

08 Feb 2024

22:02 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
I have just sync'ed with CVS, and @CoCoA5/tests/tut-CoCoLA3@ gives **SERIOUS ERROR**
Oops! Too late to invesigate...
John Abbott
 

Also available in: Atom