Activity
From 21 Dec 2016 to 19 Jan 2017
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
- 15:02 1.50 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- Magic phrase
10 Jan 2017
- 11:20 0.20 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- Workaround?
- 11:12 2.00 hours (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- It's not a bug, it's a feature!
09 Jan 2017
Also available in: Atom