⚲
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:
1999.20
Date
User
Activity
Issue
Comment
Hours
16 Jan 2012
Anna Maria Bigatti
Debugging
Feature #77
: Porting package "primary.cpkg" to cocoa-5
chasing...
3.00
19 Jan 2012
Anna Maria Bigatti
Debugging
Feature #77
: Porting package "primary.cpkg" to cocoa-5
bug found and fixed: Elimination in "InitialIdeal" is non-homogeneous
1.50
01 Mar 2012
John Abbott
Debugging
Slug #96
: sort is too slow
Wasteful copies somewhere
1.50
12 Mar 2012
John Abbott
Debugging
Bug #98
: RealRoots should use IsRational
Now uses IsRational
5.00
19 Mar 2012
John Abbott
Debugging
Bug #110
: Surprise return type for GCD of a list of ints
A workaround
0.50
19 Mar 2012
Anna Maria Bigatti
Debugging
Bug #108
: Unhandled division by zero in FFp
Fixed (but error points at operator)
2.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
04 Apr 2012
John Abbott
Debugging
Bug #118
: unistd and call to access in Main.C
JAA does not understand the code.
0.40
15 Apr 2012
John Abbott
Debugging
Bug #52
: GUI: problem with "--" comment
Hacked C5.C and LineProvider.C
5.00
18 Apr 2012
John Abbott
Debugging
Bug #103
: Bad error mesg using operator ":"
Fixed
0.80
18 Apr 2012
John Abbott
Debugging
Bug #38
: GUI: open file "with C5"
Not just us
0.10
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
14 May 2012
John Abbott
Debugging
Bug #110
: Surprise return type for GCD of a list of ints
Sme students encountered the same problem
0.20
15 May 2012
Anna Maria Bigatti
Debugging
Bug #159
: Multiplicity sometimes wrong
found silly bug
0.50
16 May 2012
John Abbott
Debugging
Bug #110
: Surprise return type for GCD of a list of ints
An example failed too
0.10
20 May 2012
John Abbott
Debugging
Bug #163
: RealRootsApprox bombs
FStar should be F
0.40
20 May 2012
John Abbott
Debugging
Bug #163
: RealRootsApprox bombs
Seems OK now
0.60
14 Jun 2012
John Abbott
Debugging
Bug #186
: LCM(0,x)
Fixed source code
1.50
18 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
Slippery customer
0.50
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
Valgrind confirms the bug
1.00
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
Too many ref counts
0.50
19 Jun 2012
Anna Maria Bigatti
Debugging
Bug #189
: malloc ERROR
reduced example showing bug
1.50
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
3 lines!
0.25
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
2 lines!!
0.30
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
Curiouser and curiouser
0.50
19 Jun 2012
John Abbott
Debugging
Bug #189
: malloc ERROR
A workaround
0.75
21 Jun 2012
John Abbott
Debugging
Bug #194
: Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
Fixed Interpreter.C
0.75
04 Jul 2012
Anna Maria Bigatti
Debugging
Bug #201
: segmentation fault with function defined in package ("PrintHGIndices"): First and Last
found bug: First
1.00
02 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
Fixed various scripts and Makefiles
3.50
05 Aug 2012
John Abbott
Debugging
Bug #220
: Trouble on Linux: many CoCoA-5 tests fail (0.9952)
Similar problem on a Linux virtual machine
0.25
05 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
I was too hasty
6.50
08 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
Further tweaks
2.00
08 Aug 2012
John Abbott
Debugging
Bug #220
: Trouble on Linux: many CoCoA-5 tests fail (0.9952)
Replaced global var by fn+local static var
1.75
26 Sep 2012
John Abbott
Debugging
Bug #197
: ./C5.bin: fork: Resource temporarily unavailable
Slightly simpler workaround
0.20
27 Sep 2012
John Abbott
Debugging
Bug #239
: Normaliz functions not available in C5 GUI (again!)
Just a silly mistake
8.00
28 Sep 2012
John Abbott
Debugging
Support #240
: GUI compilation: GMP is not naturally thread-safe
Threadsafe GMP
1.00
18 Oct 2012
John Abbott
Debugging
Bug #267
: Cyclotomic(106743) fails
Unsigned shorts!
0.50
18 Oct 2012
John Abbott
Debugging
Bug #267
: Cyclotomic(106743) fails
Not cyclotomic's fault
0.50
29 Nov 2012
John Abbott
Debugging
Bug #280
: EmacsUI: indentation is wrong with parentheses
Ouch!
0.25
29 Nov 2012
John Abbott
Debugging
Bug #280
: EmacsUI: indentation is wrong with parentheses
Emacs LISP code
0.25
29 Nov 2012
John Abbott
Debugging
Bug #280
: EmacsUI: indentation is wrong with parentheses
Getting closer (I think)
1.00
30 Nov 2012
Anna Maria Bigatti
Debugging
Bug #280
: EmacsUI: indentation is wrong with parentheses
added a "throw"
3.00
23 Jan 2013
John Abbott
Debugging
Bug #226
: HilbertBasis segv
Why does it use CurrentRing?
0.25
24 Jan 2013
John Abbott
Debugging
Bug #226
: HilbertBasis segv
Narrowing it down
1.50
24 Jan 2013
Anna Maria Bigatti
Debugging
Bug #226
: HilbertBasis segv
further reducing the bug test
0.50
25 Jan 2013
Anna Maria Bigatti
Debugging
Bug #226
: HilbertBasis segv
Embarrassing bug: nrows --> ncols
2.00
25 Jan 2013
John Abbott
Debugging
Bug #226
: HilbertBasis segv
Valgrind
0.25
24 Apr 2013
Anna Maria Bigatti
Debugging
Bug #343
: Interpreter SEGV
tried test with emacs and command line
0.25
24 Apr 2013
John Abbott
Debugging
Bug #345
: Interpreter interrupt delayed confusingly
Weirder
0.25
24 Apr 2013
John Abbott
Debugging
Bug #344
: basic_string::erase error in interpreter
More info
0.75
26 Apr 2013
John Abbott
Debugging
Bug #344
: basic_string::erase error in interpreter
Probable cause
0.50
27 Apr 2013
John Abbott
Debugging
Bug #344
: basic_string::erase error in interpreter
Cracked it (I believe)
1.00
27 Apr 2013
John Abbott
Debugging
Bug #344
: basic_string::erase error in interpreter
Tidying
0.25
27 Apr 2013
John Abbott
Debugging
Bug #343
: Interpreter SEGV
Really simple example
0.25
27 Apr 2013
John Abbott
Debugging
Bug #343
: Interpreter SEGV
Curse Apple
0.30
28 Apr 2013
John Abbott
Debugging
Bug #343
: Interpreter SEGV
Getting closer
1.00
13 Jun 2013
Anna Maria Bigatti
Debugging
Feature #371
: Resurrect LinearSimplify
removed syntax errors
0.50
01 Aug 2013
Anna Maria Bigatti
Debugging
Feature #200
: add modules and module operations
extra work for DivAlg
0.50
02 Aug 2013
Anna Maria Bigatti
Debugging
Bug #397
: EMACS UI: fix windows splitting
found where the problem is
0.50
11 Oct 2013
Anna Maria Bigatti
Debugging
Slug #405
: ReducedGBasis not memorized in an ideal
testing, checking,..
1.00
11 Oct 2013
Anna Maria Bigatti
Debugging
Slug #405
: ReducedGBasis not memorized in an ideal
ReducedGBasis is defined in package
0.25
23 Jan 2014
Anna Maria Bigatti
Debugging
Bug #423
: Emacs UI: semicolon does not work in emacs-24.3
debugging, fixed, tested
0.50
06 Feb 2014
John Abbott
Debugging
Slug #434
: Emacs UI: very slow when input file is big (with long lines)
Slow only when cursor is towards end of file
0.25
06 Feb 2014
John Abbott
Debugging
Slug #434
: Emacs UI: very slow when input file is big (with long lines)
Long lines are the trouble
0.25
19 Feb 2014
John Abbott
Debugging
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Possible cause
0.50
20 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
radical buggy too
0.25
20 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
Bad news
0.25
21 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
More info
0.50
21 Feb 2014
John Abbott
Debugging
Bug #445
: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Curiouser and curiouser
0.25
21 Feb 2014
John Abbott
Debugging
Bug #446
: intersection fails with zero ideal
Need a more coherent approach?
0.25
21 Feb 2014
John Abbott
Debugging
Bug #444
: Not keyword/operator
Ouch!
0.25
21 Feb 2014
John Abbott
Debugging
Bug #444
: Not keyword/operator
Panic!
0.25
03 Mar 2014
John Abbott
Debugging
Feature #372
: add IsFactorClosed
Fixed
0.25
06 Mar 2014
John Abbott
Debugging
Bug #458
: CoCoA5 GUI; failed build "wrong architecture"
Just for the record
0.75
06 Mar 2014
John Abbott
Debugging
Bug #394
: problem with ContentFreeFactor (and missing manual entry)
What?
0.10
06 Mar 2014
John Abbott
Debugging
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
Some hints
0.25
09 Mar 2014
John Abbott
Debugging
Bug #460
: Emacs UI: updating abbrev-table
Some ideas
0.50
09 Mar 2014
John Abbott
Debugging
Bug #462
: Emacs UI: semicolon problems
Probable cause
0.50
12 Mar 2014
John Abbott
Debugging
Bug #470
: Emacs UI: cocoa5-close-block should beep when there is no block to close
Some test cases
0.50
21 Mar 2014
John Abbott
Debugging
Design #490
: Duplicate fns: valuation and FactorMultiplicity
Relevant source code
0.10
23 Mar 2014
John Abbott
Debugging
Bug #462
: Emacs UI: semicolon problems
Confirmed problem is expand-abbrev
0.50
23 Mar 2014
John Abbott
Debugging
Bug #468
: Emacs UI: indentation is wrong after ?keyword
Relevant source code
0.25
31 Mar 2014
John Abbott
Debugging
Bug #132
: BringIn should allow reduction modulo p
Even worse!
0.25
04 Apr 2014
John Abbott
Debugging
Support #448
: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Still happens
0.25
09 Apr 2014
John Abbott
Debugging
Bug #433
: EMACS UI: trouble with sending a long line
Trouble in emacs 24.3, but OK in 23.1
0.50
17 Apr 2014
John Abbott
Debugging
Feature #414
: New fn to increase max recursion depth
Groan
0.50
28 Apr 2014
John Abbott
Debugging
Bug #544
: sorted gives wrong answer sometimes
Some hints
0.50
28 Apr 2014
John Abbott
Debugging
Bug #544
: sorted gives wrong answer sometimes
Simpler failing example
0.50
28 Apr 2014
Anna Maria Bigatti
Debugging
Bug #544
: sorted gives wrong answer sometimes
found it
2.00
30 Apr 2014
Anna Maria Bigatti
Debugging
Bug #545
: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
going through the list and fixing first warning
1.00
30 Apr 2014
Anna Maria Bigatti
Debugging
Bug #545
: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
(2) because of inheritance
1.00
14 May 2014
Anna Maria Bigatti
Debugging
Feature #553
: Port function MantissaAndExponent2
request cvs
0.25
16 May 2014
John Abbott
Debugging
Bug #447
: CoCoA-5.0.3 Microsoft std::bad_alloc
Also happens on 32-bit Linux VM
0.25
16 May 2014
John Abbott
Debugging
Bug #447
: CoCoA-5.0.3 Microsoft std::bad_alloc
Fixed?
0.50
29 May 2014
John Abbott
Debugging
Support #541
: Unify releases for Linux 32 and Linux 64
0.50
24 Jun 2014
John Abbott
Debugging
Bug #279
: Bug in Radical (actually a RingHom problem)
A wrong result
0.25
02 Jul 2014
Anna Maria Bigatti
Debugging
Feature #561
: Emacs UI: unrecognized keywords (ImportByValue...)
cleaning and debugging
1.00
21 Jul 2014
Anna Maria Bigatti
Debugging
Bug #279
: Bug in Radical (actually a RingHom problem)
usual homom ref-count bug
8.00
02 Sep 2014
John Abbott
Debugging
Bug #321
: interpreter proposes no near misses for "bin"
Where
0.25
02 Sep 2014
John Abbott
Debugging
Support #240
: GUI compilation: GMP is not naturally thread-safe
Still happens
0.20
« Previous
1
2
3
…
34
Next »
(1-100/3321)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...