Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 1998.80

Date User Activity Issue Comment Hours
30 Sep 2022 John Abbott Discussion Support #198: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI Rivalutare 0.20
30 Sep 2022 John Abbott Testing Design #1698: indent: return a string? Undecided 0.25
28 Sep 2022 John Abbott Development Design #1698: indent: return a string? Prototype 0.40
28 Sep 2022 John Abbott Testing Bug #1604: SqFreeFactor crashes over non-perfect field Status report 0.25
27 Sep 2022 John Abbott Discussion Design #1698: indent: return a string? Some notes 0.30
27 Sep 2022 John Abbott Documentation Bug #716: NotBuiltin.cpkg5: indent for MODULE Document? 0.10
27 Sep 2022 John Abbott Testing Slug #750: C5 GUI: very slow when printing many short lines Update 0.50
27 Sep 2022 John Abbott Discussion Support #1393: GUI with Qt5 Release 0.20
26 Sep 2022 John Abbott Discussion Feature #35: Optional warnings for fn-proc arity Too tricky? 0.25
26 Sep 2022 John Abbott Testing Bug #100: BringIn should map only the indets in its arg Status 2022-09-26 0.25
26 Sep 2022 Anna Maria Bigatti Discussion Feature #461: New keyword "|->"? (same as "return") discussion 1.00
26 Sep 2022 John Abbott Discussion Feature #461: New keyword "|->"? (same as "return") Reject? 0.10
15 Sep 2022 John Abbott Design Design #1697: Specifying BOOST in configure Renaming 0.50
15 Sep 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? Almost done 0.20
22 Aug 2022 John Abbott Design Design #1697: Specifying BOOST in configure Name? 0.20
22 Aug 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? MacOS 0.40
18 Aug 2022 John Abbott Testing Bug #1093: GUI: bugs and slugs Intr mesgs 0.25
18 Aug 2022 John Abbott Testing Slug #750: C5 GUI: very slow when printing many short lines Confirmed 0.25
18 Aug 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? Version 0.25
18 Aug 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? Apparently just filesystem 0.50
18 Aug 2022 John Abbott Testing Design #1696: Which BOOST libs are actually needed? Some notes 0.50
16 Aug 2022 John Abbott Debugging Bug #1695: boost-find-lib.sh Some notes 0.50
13 Jun 2022 John Abbott Documentation Support #1688: Release CoCoA 5.4.2 Main changes 0.10
13 Jun 2022 John Abbott Testing Support #1471: Release CoCoA-5.4.0 Close? 0.10
09 Jun 2022 John Abbott Documentation Support #1686: Manual entry for random (see also) Some notes 0.40
31 May 2022 John Abbott Documentation Support #169: Font for parameters in manual Close? 0.10
31 May 2022 John Abbott Documentation Support #1663: GCDList not documented Some notes 0.10
20 Apr 2022 John Abbott Design Design #1679: BuiltinFunctions-GFan includes normaliz?!? Some notes 0.25
13 Apr 2022 John Abbott Discussion Support #1393: GUI with Qt5 Copyright 0.25
10 Apr 2022 John Abbott Development Support #1393: GUI with Qt5 Checked in 1.50
17 Mar 2022 Ulrich von der Ohe Development Support #1393: GUI with Qt5 3.00
16 Mar 2022 John Abbott Testing Support #1393: GUI with Qt5 Checked in 1.00
12 Mar 2022 John Abbott Design Support #1393: GUI with Qt5 Why? 0.10
12 Mar 2022 John Abbott Testing Support #1393: GUI with Qt5 Works for me 0.40
07 Mar 2022 Anna Maria Bigatti Development Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on? 1.00
07 Mar 2022 Anna Maria Bigatti Discussion Slug #1629: RingElem slow with many indets 0.50
03 Mar 2022 Ulrich von der Ohe Debugging Support #1393: GUI with Qt5 std::thread 1.00
03 Mar 2022 John Abbott Testing Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on? Clarification 0.20
03 Mar 2022 Ulrich von der Ohe Debugging Support #1393: GUI with Qt5 Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four days in 2019 for CoCoALib 0.99601 and somehow couldn't get it to work with 0.99650. It took a couple of hours doing everything from scratch for 0.99718 in 2022. 24.00
03 Mar 2022 Anna Maria Bigatti Discussion Support #530: Interpreter error message: "for" with missing "do" 0.50
02 Mar 2022 Anna Maria Bigatti Design Support #169: Font for parameters in manual 1.00
02 Mar 2022 Anna Maria Bigatti Development Support #406: Manual for CoCoAManual/CoCoAHelp.xml 4.00
25 Feb 2022 John Abbott Testing Support #1393: GUI with Qt5 It works! 4.00
24 Feb 2022 John Abbott Testing Support #530: Interpreter error message: "for" with missing "do" Useful? 0.10
23 Feb 2022 John Abbott Testing Support #1447: Manual entry for RandomLinearForm Seems OK now 0.25
23 Feb 2022 John Abbott Discussion Feature #1596: Add CoCoA5 function NmzHilbertBasisKer Return type/value 0.25
23 Feb 2022 Anna Maria Bigatti Discussion Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis? 0.50
23 Feb 2022 John Abbott Design Support #1478: HilbertBasis: clarify Resolved 0.50
23 Feb 2022 John Abbott Testing Bug #1029: Readline: does not recognize interrupts Seems OK now 0.40
18 Feb 2022 John Abbott Discussion Support #1471: Release CoCoA-5.4.0 Version number 0.20
18 Feb 2022 John Abbott Discussion Support #1455: In a release: which files inside the CoCoAManual 0.20
18 Feb 2022 John Abbott Documentation Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean" 0.10
18 Feb 2022 John Abbott Documentation Support #1451: CoCoA Manual: make search keys public 2.00
18 Feb 2022 John Abbott Documentation Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries 0.40
18 Feb 2022 John Abbott Documentation Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi) Split? 0.20
18 Feb 2022 Anna Maria Bigatti Documentation Feature #1415: thmproving package 0.20
18 Feb 2022 John Abbott Testing Bug #1029: Readline: does not recognize interrupts Add to pre-release checks? 0.10
18 Feb 2022 John Abbott Documentation Support #322: Installation instructions (on website) For linux 0.20
16 Feb 2022 John Abbott Documentation Support #1077: Manual: remove old stuff about "devices" Sooner or later 0.10
16 Feb 2022 John Abbott Testing Design #1504: OnlineHelp: XMLFileName Close? 0.10
16 Feb 2022 John Abbott Testing Support #1534: Install CoCoA-5 on MacOS-10.15+ ANNA! 0.10
16 Feb 2022 John Abbott Documentation Support #406: Manual for CoCoAManual/CoCoAHelp.xml Postponing 0.10
16 Feb 2022 John Abbott Documentation Design #1477: Packages: questions from Andraschko Mostly done 0.20
16 Feb 2022 John Abbott Testing Support #1455: In a release: which files inside the CoCoAManual Soon find out 0.20
16 Feb 2022 John Abbott Design Support #1658: LinKerZZ not documented Closing 0.20
16 Feb 2022 John Abbott Testing Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline? Closing 0.20
16 Feb 2022 John Abbott Development Feature #606: Evaluate in ring operator (was called :: in CoCoA-4) Testing 0.20
16 Feb 2022 John Abbott Development Feature #1272: Groebner Bases over ZZ Closing 0.20
16 Feb 2022 John Abbott Testing Bug #1524: wrong SystemCommand exit value Reliability 0.25
16 Feb 2022 John Abbott Testing Bug #1029: Readline: does not recognize interrupts Suggestion 0.20
14 Feb 2022 Anna Maria Bigatti Discussion Support #1660: Updating file obsolescent.cpkg5: make it easier 0.50
14 Feb 2022 Anna Maria Bigatti Design Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries 0.50
09 Feb 2022 John Abbott Testing Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8 No longer relevant 0.20
09 Feb 2022 Anna Maria Bigatti Development Support #1660: Updating file obsolescent.cpkg5: make it easier 1.50
09 Feb 2022 Anna Maria Bigatti Testing Bug #946: Function "ideal" evaluates the argument twice 0.50
07 Feb 2022 Anna Maria Bigatti Development Support #1660: Updating file obsolescent.cpkg5: make it easier 1.50
07 Feb 2022 John Abbott Design Support #1658: LinKerZZ not documented Name? 0.10
07 Feb 2022 John Abbott Documentation Support #1658: LinKerZZ not documented Doc & debug 0.75
06 Feb 2022 John Abbott Testing Support #1471: Release CoCoA-5.4.0 3 platforms OK 0.50
05 Feb 2022 John Abbott Development Support #1455: In a release: which files inside the CoCoAManual Changed 0.40
05 Feb 2022 John Abbott Design Support #1455: In a release: which files inside the CoCoAManual Ugly 0.20
04 Feb 2022 John Abbott Documentation Feature #1272: Groebner Bases over ZZ Doc done 0.40
03 Feb 2022 John Abbott Design Bug #1244: MSatLinSolve: req minor improvements Added quick test 0.25
03 Feb 2022 John Abbott Documentation Feature #1415: thmproving package Status? 0.10
03 Feb 2022 John Abbott Design Support #1471: Release CoCoA-5.4.0 Postponing 0.20
03 Feb 2022 John Abbott Development Support #1393: GUI with Qt5 Must not lose this 0.10
03 Feb 2022 John Abbott Documentation Feature #1549: Add sagbi package Either... or... 0.10
03 Feb 2022 John Abbott Development Design #929: Clean up CoCoALibSupplement Tedious 0.10
03 Feb 2022 John Abbott Development Design #474: Eliminate package BinRepr Postponing 0.10
03 Feb 2022 John Abbott Testing Design #1407: Tagged values (Hilbert Series) Feedback 0.10
03 Feb 2022 John Abbott Documentation Support #1471: Release CoCoA-5.4.0 Confession? 0.20
03 Feb 2022 John Abbott Testing Bug #1294: CoCoA-5 tests may fail even if executed correctly Seems OK now 0.20
03 Feb 2022 John Abbott Testing Bug #1443: Illegal instruction Closing 0.20
03 Feb 2022 John Abbott Development Feature #1373: GFan also for Microsoft? Hope on the horizon 0.20
03 Feb 2022 John Abbott Testing Bug #946: Function "ideal" evaluates the argument twice Status? 0.10
03 Feb 2022 John Abbott Testing Design #1504: OnlineHelp: XMLFileName Status? 0.10
03 Feb 2022 John Abbott Documentation Support #1447: Manual entry for RandomLinearForm Status? 0.10
03 Feb 2022 John Abbott Documentation Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean" Status? 0.10
03 Feb 2022 John Abbott Documentation Feature #1272: Groebner Bases over ZZ Proposal 0.20
03 Feb 2022 John Abbott Development Feature #606: Evaluate in ring operator (was called :: in CoCoA-4) Close? 0.10
(201-300/3319) Per page: 25, 100, 500

Also available in: Atom CSV