John Abbott's activity
From 13 Aug 2022 to 11 Sep 2022
22 Aug 2022
-
17:29 CoCoALib 0.30 hour (Feature #1694 (Closed): New expv/exponents function?)
- Impl'd
-
17:29 CoCoALib Feature #1694 (Resolved): New expv/exponents function?
- I have implemented the changes proposed in comment 4.
It all compiles, and all tests pass.
I'll check in soon.
-
16:01 CoCoALib 0.75 hour (Feature #1694 (Closed): New expv/exponents function?)
- Discussion
-
16:01 CoCoALib Feature #1694: New expv/exponents function?
- After discussing with Anna, we think the following redesign is a good solution:
* change existing @exponents@ so tha... -
15:34 CoCoALib Feature #1694 (In Progress): New expv/exponents function?
- Bruns replied by email (2022-08-09):...
-
15:34 CoCoALib 0.50 hour (Feature #1694 (Closed): New expv/exponents function?)
- Comment from Bruns
-
16:59 CoCoA-5 Design #1697 (In Progress): Specifying BOOST in configure
- In a sense there is no difference between *@--with-boost@* and *@--also-build-CoCoA5@*
(except that one is clearly... -
16:59 CoCoA-5 0.20 hour (Design #1697 (Closed): Specifying BOOST in configure)
- Name?
-
16:23 CoCoA-5 Design #1696: Which BOOST libs are actually needed?
- Anna confirms that *only BOOST @filesystem@ is needed on MacOS.*
-
16:23 CoCoA-5 0.40 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- MacOS
18 Aug 2022
-
15:36 CoCoA-5 Bug #1093: GUI: bugs and slugs
- Interrupt messages from CoCoALib functions are discarded/ignored.
There does not appear to be a "kill" option for ... -
15:36 CoCoA-5 0.25 hour (Bug #1093 (In Progress): GUI: bugs and slugs)
- Intr mesgs
-
15:27 CoCoA-5 0.25 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Confirmed
-
15:27 CoCoA-5 Slug #750: C5 GUI: very slow when printing many short lines
- 2022-08-18: JAA confirms that this slug is still present.
It suffices to test *@indent(1..1000)@*
@top@ reported ... -
14:39 CoCoA-5 Design #1696: Which BOOST libs are actually needed?
- I am using BOOST 1.80 compiled from source and with a standard installation (in @/usr/local/@ on Ubuntu).
-
14:39 CoCoA-5 0.25 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Version
-
12:21 CoCoA-5 Design #1696: Which BOOST libs are actually needed?
- On my Ubuntu box, it seems that *just BOOST @filesystem@ is needed.*
I did a reconfigure (with debugging on), after ... -
12:21 CoCoA-5 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Apparently just filesystem
-
11:40 CoCoA-5 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Some notes
-
11:40 CoCoA-5 Design #1696 (In Progress): Which BOOST libs are actually needed?
- I have just edited @autoconf.mk@ to remove the BOOST sub-libs @system@ and @threads@.
Everything compiled. All CoCo... -
11:38 CoCoA-5 Design #1696 (Closed): Which BOOST libs are actually needed?
- Currently we require the following BOOST sub-libs:
* @filesystem@
* @threads@
* @system@
A quick check suggeste... -
14:37 CoCoA-5 Design #1697 (Closed): Specifying BOOST in configure
- The code handling the BOOST libraries in @configure@ is an "unholy mess".
If the user specifies no BOOST option th...
16 Aug 2022
-
21:29 CoCoA-5 0.50 hour (Bug #1695 (Closed): boost-find-lib.sh)
- Some notes
-
21:29 CoCoA-5 Bug #1695 (In Progress): boost-find-lib.sh
- I have changed the list of dirs to search for the BOOST libs, and have asked Robert Goldman to verify that it works f...
-
21:27 CoCoA-5 Bug #1695 (Closed): boost-find-lib.sh
- Robert Goldman reported by email (2022-08-15) that the script @boost-find-lib.sh@
did not work with a standard insta...
Also available in: Atom