Activity
From 25 Jan 2024 to 23 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... - 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...
- 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!
- 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 ...
- 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, ...
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, ... - 07:59 Bug #1781: GenReprCompute: SERIOUS ERROR
- I get the same error with...
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...
Also available in: Atom