⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA-5
All Projects
CoCoA
»
CoCoA-5
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Spent time
Filters
Add filter
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Project
Week
Tracker
Status
Selected Columns
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
150.45
Date
User
Activity
Issue
Comment
Hours
08 Jun 2012
Anna Maria Bigatti
Design
Feature #19
: How to get the version number of CoCoA-5?
proposal for init file
0.50
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #159
: Multiplicity sometimes wrong
added test, fixed manual, cvs-ed
0.50
08 Jun 2012
Anna Maria Bigatti
Testing
Bug #162
: RegularityIndex <= 0
added test, cvs-ed
0.50
07 Jun 2012
Anna Maria Bigatti
Development
Bug #162
: RegularityIndex <= 0
fixed
1.00
07 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
updated makefile, cvs-ed
1.50
04 Jun 2012
Anna Maria Bigatti
Development
Feature #128
: wordlist.txt generation
made new function in OnlineHelp.C
1.50
01 Jun 2012
Anna Maria Bigatti
Development
Bug #159
: Multiplicity sometimes wrong
mostly decided and working. need some tests and documentation
2.00
01 Jun 2012
Anna Maria Bigatti
Development
Feature #172
: add customization for --fullCoCoALibError in EmacsUI
done (always a problem using lisp...)
1.00
31 May 2012
Anna Maria Bigatti
Design
Bug #159
: Multiplicity sometimes wrong
added related bug
0.50
30 May 2012
John Abbott
Documentation
Bug #158
: May AsRAT produce an INT?
Impl completed and documented
0.50
30 May 2012
John Abbott
Testing
Bug #163
: RealRootsApprox bombs
No further problems
0.25
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 May 2012
John Abbott
Development
Bug #110
: Surprise return type for GCD of a list of ints
Implemented
3.50
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
21 May 2012
John Abbott
Design
Bug #137
: JAA does not like the name IndetInd
Anna liked "subscript"
0.25
21 May 2012
Anna Maria Bigatti
Design
Feature #131
: Conversion from bool to INT
suggested name Bool01
0.25
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
« Previous
1
…
4
5
6
7
8
Next »
(126-150/186)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...