Activity
From 02 Nov 2022 to 01 Dec 2022
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... -
- The relevant @assert@ is at @Interpreter.C:1581@
A slightly shorter failing case is:... -
- Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... -
- Julian Danner reported the following crash via email:...
30 Nov 2022
-
- I have revised the release script, and also @configure@ to handle the case of a source tree without the GUI code.
... -
- 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
-
- 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
-
- Nico Mexis confirms that *both @filesystem@ and @system@* are needed on *Cygwin* -- because it has boost 1.66
I have...
26 Nov 2022
-
- Problem was in *@SparsePolyRingBase::IdealImpl::myDivMod@* (in file @SparsePolyOps-idea.C@)
We did not check for th... -
- I can also trigger NYI:...
24 Nov 2022
-
- The problem exists also in char 0...
-
- Simpler failing case:...
-
- Bug confirmed with current internal version.
Does not depend on char; same bug with other chars.
-
- Bernhard Andraschko reported by email the folllowing:...
23 Nov 2022
-
- Email bounced.
-
- I have just written to @fullmetalcoder@ asking whether we may re-distribute @QcodeEdit@ under GPLv3+ rather than GPLv...
-
- JAA thinks this has probably been resolved by the new configuration system.
So changing to *feedback* status.
-
- 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.
> ... -
- 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
-
- As discussed in #1712, problems with the Qt-Gui should be handled in another issue.
When trying to link the Qt-Gui...
20 Nov 2022
-
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...
18 Nov 2022
-
- Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob...
16 Nov 2022
-
- PS: Sorry for the late clarification -- I wasn't aware that this was posted here and only saw it by chance.
-
- John Abbott wrote:
> @tut-CoCoLa2.cocoa5@
> prints out the result of @LinKer@ which may vary from call to call.
> ... -
- I think there are 7 places to revise...
Just search for @LinKer@ and see which ones actually are printed.
11 Nov 2022
-
- @tut-CoCoLa2.cocoa5@
prints out the result of @LinKer@ which may vary from call to call.
Change the test so that ...
07 Nov 2022
-
- Ulrich suggests asking the QCodeEdit author if we distribute under GPLv3+
NOte: try website @https://bruant.info@...
04 Nov 2022
-
- *Anna*
Could you check Ulrich's changelog in note-28 above.
He has made some changes regarding BOOST and @no-pie@
... -
- Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
-
- I am having trouble with the patch file. Many failed.
I'll email you my current sources, and hope you can produce a...
02 Nov 2022
-
- We had already discussed this about 2 years ago (issue #1479)
The script is ready to handle the case of 2 executable... -
- We are distributing CoCoA-5 with just a single executable (with readline).
We should be distributing 2 versions: one...
Also available in: Atom