Activity
From 24 Feb 2020 to 24 Mar 2020
24 Mar 2020
20 Mar 2020
- 13:21 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Test results
- 12:57 0.10 hour (Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter)
- Important
- 12:54 0.10 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
- Small update
- 12:35 0.20 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
- Some notes
- 12:23 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- OK now?
- 12:22 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Delayed
- 12:18 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Closing
14 Mar 2020
- 21:46 1.50 hour (Bug #1443 (Closed): Illegal instruction)
- Annoying
- 20:29 0.30 hour (Bug #1443 (Closed): Illegal instruction)
- Seems to be GMP
- 12:08 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
- SURPRISE!
12 Mar 2020
- 22:17 0.30 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Closing
- 13:36 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Seems OK now
- 15:55 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Uh oh
- 15:40 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Maybe...
- 15:33 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Oh
11 Mar 2020
- 21:34 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)
- No one cares
- 21:28 0.20 hour (Design #1348 (Closed): cocoa5 script for releases)
- Ooops!
- 18:18 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Added doc
- 18:14 2.00 hours (Feature #1439 (Closed): New function: LinearForm)
- Impl'd
- 16:20 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Name?
- 13:47 0.40 hour (Feature #1439 (Closed): New function: LinearForm)
- In C++
- 14:06 0.20 hour (Support #322 (In Progress): Installation instructions (on website))
- LINUX
- 13:40 0.10 hour (Support #322 (In Progress): Installation instructions (on website))
- Clearer
- 12:25 0.50 hour (Support #322 (In Progress): Installation instructions (on website))
- 12:27 0.10 hour (Bug #1443 (Closed): Illegal instruction)
- Waiting for Feedback?
10 Mar 2020
- 16:21 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- How to find where a static library is
- 15:56 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- More details
- 15:14 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Static library for tinfo (needed by readline)
- 15:07 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Strip
- 12:37 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- What to do?
- 11:09 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Clue city
- 14:08 0.10 hour (Bug #1443 (Closed): Illegal instruction)
- Flag
- 14:02 0.50 hour (Bug #1443 (Closed): Illegal instruction)
- Puzzled
- 13:15 0.30 hour (Support #322 (In Progress): Installation instructions (on website))
- Microsoft
09 Mar 2020
- 16:52 0.20 hour (Feature #1439 (Closed): New function: LinearForm)
- 15:36 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Homog compts?
- 15:56 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Mac release
- 13:51 2.00 hours (Design #990 (Closed): CoCoA-5 distribution: tidying)
- 11:31 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- 15:34 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)
- Postponing
- 15:28 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Seems OK now
- 13:18 1.00 hour (Support #1258 (Closed): Manual page for CantStop)
- 10:26 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
08 Mar 2020
07 Mar 2020
- 11:20 0.50 hour (Feature #1439 (Closed): New function: LinearForm)
- 09:21 0.20 hour (Feature #1439 (Closed): New function: LinearForm)
- 09:17 1.50 hour (Feature #1439 (Closed): New function: LinearForm)
06 Mar 2020
- 19:35 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Then again...
- 15:11 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Default linux version
- 12:23 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- OK now
- 12:05 0.40 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- OK now
- 10:15 0.30 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Found
05 Mar 2020
- 22:56 0.75 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Nightmare :-(
- 16:42 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Maybe
- 12:03 0.20 hour (Bug #1303 (Rejected): Manual looking for "?")
- Not harmful
- 12:00 0.30 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)
- Must improve the manual about operators
04 Mar 2020
- 22:32 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Implemented
- 17:00 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Slightly unfortunate
- 22:30 0.20 hour (Support #1071 (In Progress): LinKerBasis is user-unfriendly)
- Needs improvement
- 22:06 0.30 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)
- Clue city
- 21:53 0.10 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)
- Confirmed
- 21:48 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
- Almost done?
- 21:45 0.20 hour (Support #1298 (Closed): How can user find the indent command?)
- Improved doc
- 21:33 0.10 hour (Support #557 (New): CoCoAManual: improve part on input/output)
- Currently
- 21:31 0.10 hour (Feature #1174 (Closed): package of a function --> of an identifier!)
- Workaround
- 21:28 0.20 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Source code
- 21:19 0.10 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Some notes
- 21:13 0.10 hour (Design #610 (Closed): Variable It: assign before or after printing)
- A note
- 19:31 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- 19:29 0.20 hour (Feature #1373 (In Progress): GFan also for Microsoft?)
- 19:09 0.10 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))
- Agreed
- 19:00 0.10 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Closing
- 18:38 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- 18:38 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- 16:14 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Out of date?
- 15:59 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- 15:49 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Uncertain
- 16:26 0.10 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)
- Already done
- 15:41 0.25 hour (Feature #781 (Closed): Option to "fold" long lines?)
- OK
- 15:31 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Conclusion
- 15:20 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)
- Clue city
- 14:41 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Seems OK
03 Mar 2020
- 22:23 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)
- Improved
- 22:20 0.20 hour (Feature #1372 (In Progress): New function: find ?)
- Possibly useful variant
- 22:14 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Suggestion
- 22:07 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Seems OK
- 22:04 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- I can help
- 21:57 0.10 hour (Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?)
- Some notes
- 20:56 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Undecided
- 14:48 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Emacs code seems to work
- 14:10 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Emacs code
- 13:56 1.00 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Seems to be impossible
- 17:29 0.10 hour (Feature #1431 (Rejected): Juxtaposition of string literals)
- Source code
- 15:14 0.40 hour (Feature #1431 (Rejected): Juxtaposition of string literals)
- Some notes
- 11:54 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Surely...
02 Mar 2020
- 22:32 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)
- Undecided
- 22:10 0.15 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)
- Still a problem?
- 22:05 0.20 hour (Feature #781 (Closed): Option to "fold" long lines?)
- Mostly done
- 21:55 0.20 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))
- Entertaining
- 21:45 0.10 hour (Design #597 (New): Interpreter.C: remove calls to WrongTypeException)
- Huh?
- 21:42 0.40 hour (Bug #1303 (Rejected): Manual looking for "?")
- Some notes
- 21:24 0.30 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Still a problem?
- 21:11 0.15 hour (Bug #727 (In Progress): Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized)
- Some notes
- 20:46 0.25 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Another idea
- 20:37 0.25 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Some notes
- 15:40 0.20 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture")
- Too old?
- 15:03 2.00 hours (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Already done
- 14:04 0.20 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)
- Split or subsections
28 Feb 2020
- 17:52 0.50 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5)
- 16:44 1.00 hour (Bug #1429 (New): Stack overflow reading long list (SEGV))
- Some notes
26 Feb 2020
- 22:22 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)
- More notes
- 21:03 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)
- Aha!
- 20:40 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- More notes
- 17:18 2.00 hours (Support #1333 (Closed): Typevectors)
- 16:59 0.20 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- Good enough
- 16:50 0.30 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))
- 16:32 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)
- 16:31 0.20 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
- 16:27 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
- 16:24 0.75 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Checked
- 15:25 0.50 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Almost done
- 14:35 0.40 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Tidied
- 13:28 0.15 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Source code
- 12:12 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Another test case
- 12:02 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Also for modules
25 Feb 2020
- 22:04 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Fixed
- 21:58 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Location
- 21:36 0.10 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Confirmed
- 16:24 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
- 16:07 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
- 11:16 0.15 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
- Manual
24 Feb 2020
- 16:56 0.20 hour (Bug #1335 (Closed): ManExamples: some problems)
- Acceptable
Also available in: Atom