Activity
From 10 Dec 2019 to 08 Jan 2020
08 Jan 2020
- 16:41 Bug #1382: SEGV: should have been harmless
- All tests pass, and I have checked in.
- 16:05 Bug #1382 (Feedback): SEGV: should have been harmless
- The clue from @valgrind@ was very helpful.
The fn @CommonDenom@ did not check for the case of an empty list (and the... - 15:47 Bug #1382: SEGV: should have been harmless
- @valgrind@ suggests that the problem arose inside a call to @CommonDenom@ when it called @IsPolyRing@ (which called @...
- 15:44 Bug #1382 (In Progress): SEGV: should have been harmless
- According to gdb, the program crashed in line 48 of @SmartPtrIRC.H@
I wonder what that means 8-|
- 16:08 Bug #1383: NewPolyRing on MS Windows
- I confirm it works fine on MacOS.
- 15:03 Bug #1383: NewPolyRing on MS Windows
- Both Bernhard and Peter confirm that everything is fine using the "interim" release 5.2.5; they did comment that the ...
- 09:37 Bug #1383: NewPolyRing on MS Windows
- According to Peter Mader it also works on Linux with this version, so I think we can close this thread.
- 09:19 Bug #1383 (Resolved): NewPolyRing on MS Windows
- Can we now close this issue as it seems to be completely resolved using the latest release of CoCoA-5?
Anyway, a tes... - 01:02 Bug #1383: NewPolyRing on MS Windows
- The error code displayed after calling the function ...
07 Jan 2020
- 21:59 Bug #1383: NewPolyRing on MS Windows
- In any case we should add an example like this as a new "official" test.
- 16:31 Bug #1383: NewPolyRing on MS Windows
- JAA says the bug is not present on current internal version of CoCoA-5 compiled and running on Linux.
The error me... - 16:29 Bug #1383 (Closed): NewPolyRing on MS Windows
- Bernhard Andraschko reports that the following causes a crash on MS Windows 10 Pro (10.0.17763)...
- 21:53 Support #1387: John's visit Feb 2020
- * Perhaps arrange for the last few (1, 2, 3?) messages sent to the CoCoA mailing list to be easily accessible from th...
- 21:51 Support #1387: John's visit Feb 2020
- Here is a list of things to do (mostly references to other issues):
* fix SEGV bug (#1382)
* look at #1375 and #137... - 21:50 Support #1387 (Closed): John's visit Feb 2020
- This issue is to gather things to do during John's visit.
- 21:30 Support #1386: IsIndetPosPower: behaviour and manual page
- What should @IsIndetPosPower(x/x)@ give?
Error or @false@?
I expected @false@ but actually got an error.
- 21:22 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page
- There is no manual page for @IsIndetPosPower@.
- 20:51 Bug #1385: valgrind: reports 456byte leak
- Here is the output from @valgrind@:...
- 20:49 Bug #1385 (Closed): valgrind: reports 456byte leak
- I ran @valgrind@ on @CoCoAInterpreter@ taking input from @/dev/null@ (_i.e._ empty input).
The resulting report sa... - 16:45 Bug #1384: NewPolyRing and SymbolRange
- Here is a session sample:...
- 16:42 Bug #1384 (Closed): NewPolyRing and SymbolRange
- What should @SymbolRange@ do if there are no indets in the range?
What should @NewPolyRing@ do if the result of @Sy... - 16:07 Bug #1382: SEGV: should have been harmless
- I was using CoCoA-5 to look for some examples to show the students. It was a surprise when it SEGV'd :-(
- 16:06 Bug #1382 (Closed): SEGV: should have been harmless
- I get a SEGV with the following input (no SEGV if the number of loop iters is 100)....
17 Dec 2019
- 12:25 Bug #1093 (In Progress): GUI: bugs and slugs
- I have changed *@configure@* so that it sets a flag saying whether to build the Qt GUI; this is determined by a comma...
16 Dec 2019
- 21:31 Bug #1093: GUI: bugs and slugs
- Ulrich reported that the GUI fails to compile now that we are using *@nullptr@*.
I had a quick search online, and fo...
12 Dec 2019
- 11:58 Slug #948: radical is slow (compared to singular) on these examples
- As reported in the previous comment, example 1 was still a problem. I increased the extra time (to 2.5s), then the c...
- 11:42 Slug #948: radical is slow (compared to singular) on these examples
- After the change mentioned in issue #1375, the examples in comment 13 are now satisfactorily quick. The example in c...
11 Dec 2019
- 17:40 Slug #948: radical is slow (compared to singular) on these examples
- Anna Maria Bigatti wrote:
> John Abbott wrote:
> > My simple idea was just to add say 0.1 to the actual measured ti...
Also available in: Atom