Activity
From 21 Nov 2022 to 20 Dec 2022
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...
- 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...
14 Dec 2022
- 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.
- 16:44 Bug #1714 (Closed): IsDivisible error (in QuotRing)
- Added test (to @exbugs.cocoa5@).
Closing.
- 16:23 Bug #1717 (Closed): CRASH: equality test to a FUNCTION
- We are satisfied that this is a good resolution.
01 Dec 2022
- 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... - 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:... - 11:45 Bug #1717: CRASH: equality test to a FUNCTION
- Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... - 11:43 Bug #1717 (Closed): CRASH: equality test to a FUNCTION
- Julian Danner reported the following crash via email:...
30 Nov 2022
- 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.
... - 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).
... - 19:12 Design #1709: Test tut-CoCoLA2
- Reminder for me: check both LinKer and eigenfactors
- 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...
28 Nov 2022
- 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...
26 Nov 2022
- 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... - 14:18 Bug #1714: IsDivisible error (in QuotRing)
- I can also trigger NYI:...
24 Nov 2022
- 13:36 Bug #1714: IsDivisible error (in QuotRing)
- The problem exists also in char 0...
- 12:17 Bug #1714: IsDivisible error (in QuotRing)
- Simpler failing case:...
- 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.
- 12:11 Bug #1714 (Closed): IsDivisible error (in QuotRing)
- Bernhard Andraschko reported by email the folllowing:...
23 Nov 2022
- 18:17 Support #1393: GUI with Qt5
- Email bounced.
- 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...
- 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.
- 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... - 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.
> ... - 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...
22 Nov 2022
- 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...
Also available in: Atom