Activity

From 17 Nov 2022 to 16 Dec 2022

17:07 Feature #1718 (In Progress): FactorINT with time-out: My first thought was to let @FactorINT@ accept an optional second arg: this is more-or-less what the CoCoALib impl do... John Abbott
17:04 Feature #1718 (Closed): FactorINT with time-out: I have found it useful to be able to impose a time-out on @FactorINT@ calls.
I already have a first impl which seems... John Abbott

22:33 Design #1697 (Closed): Specifying BOOST in configure: I have made a major revision to @doc/txt/ExternalLibs-BOOST.txt@
I think it is now up-to-date.
Closing.
John Abbott
16:44 Bug #1714 (Closed): IsDivisible error (in QuotRing): Added test (to @exbugs.cocoa5@).
Closing.
John Abbott
16:23 Bug #1717 (Closed): CRASH: equality test to a FUNCTION: We are satisfied that this is a good resolution.
John Abbott

12:17 Bug #1717 (Resolved): CRASH: equality test to a FUNCTION: Here is what I found.
The decision about which types may be compared with *@=@* is determined by *@opEqualMap@*.
Th... John Abbott
11:51 Bug #1717 (In Progress): CRASH: equality test to a FUNCTION: The relevant @assert@ is at @Interpreter.C:1581@
A slightly shorter failing case is:... John Abbott
11:45 Bug #1717: CRASH: equality test to a FUNCTION: Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... John Abbott
11:43 Bug #1717 (Closed): CRASH: equality test to a FUNCTION: Julian Danner reported the following crash via email:... John Abbott

22:07 Support #1393: GUI with Qt5: I have revised the release script, and also @configure@ to handle the case of a source tree without the GUI code.
... John Abbott
15:59 Support #1393: GUI with Qt5: The easy solution is to continue to distribute as we already do (with GPLv3+, but leaving the Qt stuff with GPLv3).
... John Abbott
19:12 Design #1709: Test tut-CoCoLA2: Reminder for me: check both LinKer and eigenfactors Anna Maria Bigatti
15:57 Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly: I am not sure who would be able to help with this (Qt-gui on Microsoft)
I have set target version to "sooner or la... John Abbott

21:53 Design #1696: Which BOOST libs are actually needed?: Nico Mexis confirms that *both @filesystem@ and @system@* are needed on *Cygwin* -- because it has boost 1.66
I have... John Abbott

14:52 Bug #1714 (Feedback): IsDivisible error (in QuotRing): Problem was in *@SparsePolyRingBase::IdealImpl::myDivMod@* (in file @SparsePolyOps-idea.C@)
We did not check for th... John Abbott
14:18 Bug #1714: IsDivisible error (in QuotRing): I can also trigger NYI:... John Abbott

13:36 Bug #1714: IsDivisible error (in QuotRing): The problem exists also in char 0... John Abbott
12:17 Bug #1714: IsDivisible error (in QuotRing): Simpler failing case:... John Abbott
12:13 Bug #1714 (In Progress): IsDivisible error (in QuotRing): Bug confirmed with current internal version.
Does not depend on char; same bug with other chars.
John Abbott
12:11 Bug #1714 (Closed): IsDivisible error (in QuotRing): Bernhard Andraschko reported by email the folllowing:... John Abbott

18:17 Support #1393: GUI with Qt5: Email bounced. John Abbott
17:53 Support #1393: GUI with Qt5: I have just written to @fullmetalcoder@ asking whether we may re-distribute @QcodeEdit@ under GPLv3+ rather than GPLv... John Abbott
17:32 Bug #1695 (Feedback): boost-find-lib.sh: JAA thinks this has probably been resolved by the new configuration system.
So changing to *feedback* status.
John Abbott
17:25 Design #1697 (Feedback): Specifying BOOST in configure: Anna: I think this issue no longer exists with the new/revised configuration system (scripts).
Correct? If so, plea... John Abbott
10:57 Bug #1713: Windows: Qt-Gui does not link correctly: John Abbott wrote:
> Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
> ... Nico Mexis
10:09 Bug #1713: Windows: Qt-Gui does not link correctly: Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
I use a "personal instal... John Abbott

23:44 Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly: As discussed in #1712, problems with the Qt-Gui should be handled in another issue.
When trying to link the Qt-Gui... Nico Mexis

15:03 Support #1393: GUI with Qt5: It is still not clear to me what bothers you about the QCodeEdit license. As I said on the phone call you refer to, i... Ulrich von der Ohe

21:54 Design #1709: Test tut-CoCoLA2: Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob... Ulrich von der Ohe

Also available in: Atom

CoCoA » CoCoA-5