Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 4993.82

Date User Activity Issue Comment Hours
25 May 2012 Anna Maria Bigatti Documentation Feature #156: Brand new symbol(s) fixed and cleaned doc for anonymous symbol 0.50
25 May 2012 John Abbott Design Feature #167: Integer operations Just starting 0.20
25 May 2012 John Abbott Development Feature #131: Conversion from bool to INT Implemented 0.80
25 May 2012 John Abbott Design Feature #131: Conversion from bool to INT KISS 0.50
24 May 2012 Anna Maria Bigatti Testing Bug #137: JAA does not like the name IndetInd last check 0.25
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 Development Bug #137: JAA does not like the name IndetInd CVS checked in 0.50
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
22 May 2012 Anna Maria Bigatti Design Feature #165: FractionField -- only of TrueGCDDomain? replied to JAA comment on concrete/abstract classes 0.25
22 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Needs 2 separate impls 0.30
21 May 2012 John Abbott Design Bug #137: JAA does not like the name IndetInd Anna liked "subscript" 0.25
21 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Conclusion: Keep FractionField general 0.50
21 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Conclusion: Keep FractionField general 0.50
21 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Conclusion: Keep FractionField general 0.50
21 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Conclusion: Keep FractionField general 0.50
21 May 2012 John Abbott Documentation Feature #41: Squarefree factorization - overhead Weekly meeting 2012-05-21 1.00
21 May 2012 John Abbott Documentation Feature #40: Squarefree factorization - Alessio d'Ali` First version of report 4.00
21 May 2012 Anna Maria Bigatti Design Feature #131: Conversion from bool to INT suggested name Bool01 0.25
21 May 2012 Anna Maria Bigatti Design Feature #165: FractionField -- only of TrueGCDDomain? member field myBaseRingIsGCDDomain? 0.25
21 May 2012 John Abbott Design Feature #165: FractionField -- only of TrueGCDDomain? Consequences 0.50
21 May 2012 John Abbott Design Feature #41: Squarefree factorization - overhead Logging time 10.00
21 May 2012 John Abbott Design Feature #131: Conversion from bool to INT Not automatic 0.40
20 May 2012 John Abbott Debugging Bug #163: RealRootsApprox bombs Seems OK now 0.60
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 FStar should be F 0.40
(6851-6875/7180) Per page: 25, 100, 500

Also available in: Atom CSV