CoCoA » CoCoA-5

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

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.
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

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... 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