Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 1999.20

Date User Activity Issue Comment Hours
16 May 2012 John Abbott Design Bug #110: Surprise return type for GCD of a list of ints Discussion with Anna about name of IsGCDDomain 1.00
16 May 2012 John Abbott Design Bug #110: Surprise return type for GCD of a list of ints Origin of myGcdInField 1.00
17 May 2012 Anna Maria Bigatti Design Bug #110: Surprise return type for GCD of a list of ints Proposed names for IsGCDDomain 0.25
17 May 2012 John Abbott Design Bug #110: Surprise return type for GCD of a list of ints Still looking for a good name 0.25
17 May 2012 Anna Maria Bigatti Design Bug #110: Surprise return type for GCD of a list of ints Final decision? 0.20
17 May 2012 John Abbott Design Bug #110: Surprise return type for GCD of a list of ints Choosing names 0.20
28 May 2012 John Abbott Development Bug #110: Surprise return type for GCD of a list of ints Implemented 3.50
28 May 2012 John Abbott Documentation Bug #110: Surprise return type for GCD of a list of ints Forgot the C5 documentation; also logging testing & check-in times. 1.00
28 Mar 2012 Anna Maria Bigatti Debugging Bug #115: PP ordering bug fixed (x >= x --> true) and added test in anna.cocoa5 1.00
03 Apr 2012 John Abbott Design Bug #117: Added 3 times defn of isblank fn Not in BOOST 0.10
01 Jun 2012 John Abbott Design Bug #117: Added 3 times defn of isblank fn An idea 0.10
02 Jun 2012 Anna Maria Bigatti Design Bug #117: Added 3 times defn of isblank fn reply 0.20
30 Jul 2015 John Abbott Design Bug #117: Added 3 times defn of isblank fn Existing fn? 0.25
30 Jul 2015 John Abbott Design Bug #117: Added 3 times defn of isblank fn Postpone 0.10
08 Oct 2015 John Abbott Development Bug #117: Added 3 times defn of isblank fn Created C5Utils.H 0.30
08 Oct 2015 John Abbott Design Bug #117: Added 3 times defn of isblank fn Worthwhile? 0.10
09 Oct 2015 John Abbott Testing Bug #117: Added 3 times defn of isblank fn Checked in 0.10
17 Feb 2016 John Abbott Testing Bug #117: Added 3 times defn of isblank fn Closing 0.10
03 Apr 2012 John Abbott Design Bug #118: unistd and call to access in Main.C Preliminary investigations 0.50
04 Apr 2012 John Abbott Debugging Bug #118: unistd and call to access in Main.C JAA does not understand the code. 0.40
10 Apr 2012 John Abbott Development Bug #118: unistd and call to access in Main.C Switched to using BOOST fns 8.00
17 Apr 2012 John Abbott Design Bug #118: unistd and call to access in Main.C Waiting for Anna 0.20
01 Jun 2012 John Abbott Design Bug #118: unistd and call to access in Main.C Still waiting for an answer from Anna 0.20
02 Jun 2012 Anna Maria Bigatti Design Bug #118: unistd and call to access in Main.C reply to #5 0.25
07 Jun 2012 John Abbott Design Bug #118: unistd and call to access in Main.C OK to give warning 0.20
08 Jun 2012 John Abbott Development Bug #118: unistd and call to access in Main.C Implemented 1.50
26 Feb 2013 John Abbott Testing Bug #118: unistd and call to access in Main.C No problems have surfaced in 9 months 0.15
20 Mar 2014 John Abbott Testing Bug #118: unistd and call to access in Main.C Closing after >12 months in feedback 0.25
04 Jun 2012 Anna Maria Bigatti Development Feature #128: wordlist.txt generation made new function in OnlineHelp.C 1.50
07 Jun 2012 Anna Maria Bigatti Development Feature #128: wordlist.txt generation updated makefile, cvs-ed 1.50
18 Apr 2012 John Abbott Design Feature #131: Conversion from bool to INT Further thoughts 0.30
18 Apr 2012 John Abbott Design Feature #131: Conversion from bool to INT Similar to Iverson bracket 0.20
21 May 2012 John Abbott Design Feature #131: Conversion from bool to INT Not automatic 0.40
21 May 2012 Anna Maria Bigatti Design Feature #131: Conversion from bool to INT suggested name Bool01 0.25
25 May 2012 John Abbott Design Feature #131: Conversion from bool to INT KISS 0.50
25 May 2012 John Abbott Development Feature #131: Conversion from bool to INT Implemented 0.80
31 Mar 2014 John Abbott Debugging Bug #132: BringIn should allow reduction modulo p Even worse! 0.25
01 Apr 2014 John Abbott Design Bug #132: BringIn should allow reduction modulo p Revise doc or impl 0.25
22 Jul 2014 Anna Maria Bigatti Development Bug #132: BringIn should allow reduction modulo p works in some cases 0.50
04 Sep 2014 John Abbott Testing Bug #132: BringIn should allow reduction modulo p Closing after 1 month in feedback 0.25
23 Apr 2012 John Abbott Debugging Feature #133: Qt GUI: Make better distinction between input and output in the output window Blank lines is a recent problem 0.20
12 Mar 2021 John Abbott Testing Feature #133: Qt GUI: Make better distinction between input and output in the output window Short note 0.10
24 Apr 2012 John Abbott Design Bug #137: JAA does not like the name IndetInd Return record fields in IndetSymbols 0.10
21 May 2012 John Abbott Design Bug #137: JAA does not like the name IndetInd Anna liked "subscript" 0.25
24 May 2012 Anna Maria Bigatti Development Bug #137: JAA does not like the name IndetInd changed name in all files and tests 1.50
24 May 2012 Anna Maria Bigatti Development Bug #137: JAA does not like the name IndetInd CVS checked in 0.50
24 May 2012 Anna Maria Bigatti Documentation Bug #137: JAA does not like the name IndetInd fixed and cleaned doc for symbol 0.65
24 May 2012 Anna Maria Bigatti Testing Bug #137: JAA does not like the name IndetInd last check 0.25
01 Jun 2012 John Abbott Design Bug #148: C-c C-p in emacs goes to wrong line Some ideas 0.30
06 Jun 2015 John Abbott Debugging Bug #148: C-c C-p in emacs goes to wrong line Related problem? 0.25
30 Sep 2022 John Abbott Discussion Bug #148: C-c C-p in emacs goes to wrong line Anna? 0.10
05 Oct 2022 Anna Maria Bigatti Design Bug #148: C-c C-p in emacs goes to wrong line 1.00
06 Oct 2022 John Abbott Testing Bug #148: C-c C-p in emacs goes to wrong line Some test cases 0.50
15 May 2012 John Abbott Design Bug #158: May AsRAT produce an INT? Should give a RAT 0.25
15 May 2012 John Abbott Development Bug #158: May AsRAT produce an INT? AsRAT is defined in a package 0.20
15 May 2012 John Abbott Design Bug #158: May AsRAT produce an INT? Some more examples 0.20
15 May 2012 John Abbott Development Bug #158: May AsRAT produce an INT? Made & tested prototype 0.20
15 May 2012 Anna Maria Bigatti Design Bug #158: May AsRAT produce an INT? searching calls and usage 0.50
15 May 2012 John Abbott Development Bug #158: May AsRAT produce an INT? Checked in 0.20
15 May 2012 John Abbott Documentation Bug #158: May AsRAT produce an INT? Where's the man page? 0.10
15 May 2012 Anna Maria Bigatti Documentation Bug #158: May AsRAT produce an INT? Added man for AsINT AsRAT 0.50
16 May 2012 Anna Maria Bigatti Development Bug #158: May AsRAT produce an INT? checked in CoCoAHelp 0.10
30 May 2012 John Abbott Documentation Bug #158: May AsRAT produce an INT? Impl completed and documented 0.50
15 May 2012 Anna Maria Bigatti Debugging Bug #159: Multiplicity sometimes wrong found silly bug 0.50
31 May 2012 Anna Maria Bigatti Design Bug #159: Multiplicity sometimes wrong added related bug 0.50
01 Jun 2012 Anna Maria Bigatti Development Bug #159: Multiplicity sometimes wrong mostly decided and working. need some tests and documentation 2.00
08 Jun 2012 Anna Maria Bigatti Testing Bug #159: Multiplicity sometimes wrong added test, fixed manual, cvs-ed 0.50
17 May 2012 Anna Maria Bigatti Design Bug #162: RegularityIndex <= 0 considering all cases and testing current code in cocoa-4 and 5 1.00
07 Jun 2012 Anna Maria Bigatti Development Bug #162: RegularityIndex <= 0 fixed 1.00
08 Jun 2012 Anna Maria Bigatti Testing Bug #162: RegularityIndex <= 0 added test, cvs-ed 0.50
20 May 2012 John Abbott Debugging Bug #163: RealRootsApprox bombs FStar should be F 0.40
20 May 2012 John Abbott Testing Bug #163: RealRootsApprox bombs Added new C5 test specially for RealRoot 0.50
20 May 2012 John Abbott Debugging Bug #163: RealRootsApprox bombs Seems OK now 0.60
30 May 2012 John Abbott Testing Bug #163: RealRootsApprox bombs No further problems 0.25
25 Jun 2014 John Abbott Development Bug #164: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames Done! 0.75
29 Jul 2015 John Abbott Testing Bug #164: CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames Works 0.20
21 May 2013 Anna Maria Bigatti Development Bug #166: Dim/Multiplicity with Lex ordering -- NYI I guess I spent at least 1 hour on it. Honestly I don't remember 1.00
07 Aug 2018 John Abbott Documentation Bug #168: Type info in CoCoA-5 manual Mostly done? 0.10
01 Oct 2019 John Abbott Documentation Bug #168: Type info in CoCoA-5 manual Close? 0.10
31 Jul 2014 Anna Maria Bigatti Design Support #169: Font for parameters in manual rules listing 0.50
07 Aug 2018 John Abbott Documentation Support #169: Font for parameters in manual Mostly done? 0.10
02 Oct 2019 John Abbott Documentation Support #169: Font for parameters in manual Work through manual 0.20
02 Mar 2022 Anna Maria Bigatti Design Support #169: Font for parameters in manual 1.00
31 May 2022 John Abbott Documentation Support #169: Font for parameters in manual Close? 0.10
06 Mar 2017 John Abbott Documentation Bug #170: CoCoAManual HTML: page for "Try" Already done 0.10
01 Jun 2012 John Abbott Design Bug #171: Negate LIST, MAT,... I agree 0.20
10 Jun 2012 Anna Maria Bigatti Design Bug #171: Negate LIST, MAT,... looking into cocoalib for "negation" functions 0.25
11 Jun 2012 John Abbott Development Bug #171: Negate LIST, MAT,... Added negation 0.20
11 Jun 2012 Anna Maria Bigatti Design Bug #171: Negate LIST, MAT,... thinking, testing.. 0.20
11 Jun 2012 John Abbott Development Bug #171: Negate LIST, MAT,... Added scalar mult on the right 0.50
11 Jun 2012 John Abbott Development Bug #171: Negate LIST, MAT,... Added scalar mult on the right & unary minus for matrices in C5 0.50
11 Jun 2012 John Abbott Design Bug #171: Negate LIST, MAT,... Structures which could admit scalar multiplication 0.25
12 Jun 2012 Anna Maria Bigatti Design Bug #171: Negate LIST, MAT,... reply to #8 0.20
27 Mar 2014 John Abbott Design Bug #171: Negate LIST, MAT,... List arithmetic 0.50
01 Jun 2012 Anna Maria Bigatti Development Feature #172: add customization for --fullCoCoALibError in EmacsUI done (always a problem using lisp...) 1.00
07 Jun 2012 John Abbott Design Feature #173: Anonymous symbols: should they be available in CoCoA-5? Suggestions for solutions 0.20
22 Jul 2014 Anna Maria Bigatti Design Feature #173: Anonymous symbols: should they be available in CoCoA-5? thinking, trying... rejecting? 0.25
28 Jul 2014 Anna Maria Bigatti Design Feature #173: Anonymous symbols: should they be available in CoCoA-5? final discussion with John --> reject 0.25
26 Feb 2014 John Abbott Development Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5 JAA 0.10
07 Apr 2017 Anna Maria Bigatti Development Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5 1.00
(201-300/3321) Per page: 25, 100, 500

Also available in: Atom CSV