Activity
From 10 Aug 2018 to 08 Sep 2018
06 Sep 2018
- 16:17 Design #1225: Move to C++14 (skipping C++11)
- Here is a list of "upgrades" to make to our source:
* make appropriate changes so that *@std::move@* can be used
* ... - 16:10 Design #1225: Move to C++14 (skipping C++11)
- Maintaining backward compatibility with pre-2011 C++ is probably fairly pointless, and is causing problems with users...
- 16:07 Design #1225 (In Progress): Move to C++14 (skipping C++11)
- Revise the source to use C++14 (and avoid "deprecated" features).
04 Sep 2018
- 14:33 Design #1223: NewPolyRing default indet names
- We first had this "friendly" pseudo constructor because the syntax for indet names was tedious.
Now we have @SymbolR...
02 Sep 2018
- 21:41 Design #1223 (In Progress): NewPolyRing default indet names
- The problem arises in a call to *@Hom_P_Px@* which creates a new polyring by calling *@NewPolyRing@* specifying only ...
- 21:35 Design #1223: NewPolyRing default indet names
- The problem was originally communicated to JAA via email. The following is a failing example:...
- 21:32 Design #1223 (Closed): NewPolyRing default indet names
- Currently @NewPolyRing@ may be called specifying just the number of indets (but not their names).
Currently the name...
16 Aug 2018
- 09:22 Design #1221 (Closed): Reconsider design for accessing headers and libs of external libraries
- The current design for accessing headers of external libs more or less assumes that the external lib has a single hea...
- 07:48 Feature #1219: Frobby version number
- With the current design it is trickier than expected.
The main point is that the current design of CoCoALib assume... - 06:58 Feature #1219 (In Progress): Frobby version number
- The Frobby version number (C string) is in @constants::version@ defined in @src/stdinc.h@ and @src/stdinc.cpp@.
Note... - 06:56 Feature #1219 (In Progress): Frobby version number
- It is possible to get the version number from Frobby.
Modify @ExternalLibs.C@ so that it extracts Frobby's version n...
Also available in: Atom