Activity
From 11 Jan 2017 to 09 Feb 2017
01 Feb 2017
- 21:49 1.00 hour (Feature #1005 (Closed): Makefile: install target for CoCoALib)
- Temporary solution
- 16:51 3.00 hours (Feature #1005 (Closed): Makefile: install target for CoCoALib)
- Partly done
- 21:44 1.00 hour (Bug #1004 (Closed): In scripts: use portable test for absolute paths)
- Seems OK
- 14:18 0.50 hour (Bug #1004 (Closed): In scripts: use portable test for absolute paths)
- Found solution on StackExchange
- 14:07 0.10 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)
- Works OK
23 Jan 2017
- 15:20 0.10 hour (Feature #931 (Closed): GBasis verbose mode)
- Expected or unexpected?
- 15:16 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- Remove altogether?
21 Jan 2017
- 22:25 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- Puzzling
- 18:07 0.30 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- Changed
- 18:01 1.50 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)
- Oh well...
20 Jan 2017
- 16:40 0.10 hour (Feature #962 (Closed): General verbose mode?)
- Add to existing files?
- 16:26 0.40 hour (Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?)
- Separate file?
- 15:44 0.10 hour (Feature #931 (Closed): GBasis verbose mode)
- Which target version?
- 15:16 0.75 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Cleaning and closing
- 14:28 0.10 hour (Feature #1001 (In Progress): CoCoALib: ideas for student projects)
- More ideas
- 14:26 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- Closing
- 14:11 0.20 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)
- Awkward
19 Jan 2017
- 18:10 0.50 hour (Feature #1001 (In Progress): CoCoALib: ideas for student projects)
- Some ideas
- 17:05 0.20 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)
- Flag not recognized in g++ 4.2.1
18 Jan 2017
17 Jan 2017
15 Jan 2017
- 17:47 0.50 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- What should the default behaviour be?
11 Jan 2017
Also available in: Atom