⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA
All Projects
CoCoA
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
Spent time
Filters
Add filter
Subproject
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:
4963.12
Date
User
Activity
Issue
Comment
Hours
14 Dec 2022
John Abbott
Development
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Almost done
0.75
14 Dec 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Added test
0.25
14 Dec 2022
John Abbott
Testing
Bug #1717
: CRASH: equality test to a FUNCTION
Closing
0.25
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Found something dodgy
0.50
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
More info
0.20
01 Dec 2022
John Abbott
Debugging
Bug #1717
: CRASH: equality test to a FUNCTION
Relevant source
0.20
30 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Revised release script
1.50
30 Nov 2022
John Abbott
Documentation
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Done!
0.50
30 Nov 2022
John Abbott
Discussion
Support #1711
: Development releases?
Ideas
0.50
30 Nov 2022
John Abbott
Documentation
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Check & close
0.20
30 Nov 2022
John Abbott
Discussion
Design #1716
: Qn: factor for BigInt
Time limit?
0.10
30 Nov 2022
John Abbott
Discussion
Design #1716
: Qn: factor for BigInt
Current state
0.50
30 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Proposal
0.20
30 Nov 2022
John Abbott
Discussion
Bug #1713
: Windows: Qt-Gui does not link correctly
Who can help?
0.20
29 Nov 2022
John Abbott
Discussion
Design #1716
: Qn: factor for BigInt
KISS?
0.50
28 Nov 2022
John Abbott
Discussion
Support #1711
: Development releases?
Comments
0.20
28 Nov 2022
John Abbott
Testing
Design #1696
: Which BOOST libs are actually needed?
Oh joy!
0.50
26 Nov 2022
John Abbott
Debugging
Bug #1714
: IsDivisible error (in QuotRing)
Got it!
1.00
26 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Different error
0.25
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Also char 0
0.10
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Simpler
0.10
24 Nov 2022
John Abbott
Testing
Bug #1714
: IsDivisible error (in QuotRing)
Some notes
0.25
23 Nov 2022
John Abbott
Discussion
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
KISS
0.10
23 Nov 2022
John Abbott
Discussion
Support #1711
: Development releases?
Burden
0.10
23 Nov 2022
John Abbott
Discussion
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Anna
0.10
23 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Bounced
0.20
23 Nov 2022
John Abbott
Documentation
Support #1393
: GUI with Qt5
paper-shuffling
0.25
23 Nov 2022
John Abbott
Discussion
Support #1711
: Development releases?
Questions
0.20
23 Nov 2022
John Abbott
Discussion
Bug #1600
: Detect updated versions of external libs
Suggestion
0.20
23 Nov 2022
John Abbott
Development
Support #1700
: boost_1_80_0
Closing: near duplicate
0.25
23 Nov 2022
John Abbott
Development
Bug #1695
: boost-find-lib.sh
Resolved?
0.25
23 Nov 2022
John Abbott
Testing
Design #1697
: Specifying BOOST in configure
New configure system solves this?
0.25
23 Nov 2022
John Abbott
Design
Feature #1692
: Suggestion: Add "JumpTo" function to prime iterators
Fn name?
0.20
23 Nov 2022
John Abbott
Documentation
Bug #1713
: Windows: Qt-Gui does not link correctly
Notes about building Normaliz
0.25
21 Nov 2022
John Abbott
Development
Bug #1712
: Windows: New configuration script
Checked in
0.50
18 Nov 2022
John Abbott
Discussion
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
More opinion
0.25
17 Nov 2022
John Abbott
Design
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Question
0.20
16 Nov 2022
John Abbott
Development
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Ambiguity
2.00
16 Nov 2022
John Abbott
Discussion
Support #1711
: Development releases?
Some notes
0.25
16 Nov 2022
John Abbott
Development
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Updated
0.50
16 Nov 2022
John Abbott
Discussion
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Which is better?
0.25
16 Nov 2022
John Abbott
Testing
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Some test cases
0.40
16 Nov 2022
John Abbott
Discussion
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Some thoughts
0.25
16 Nov 2022
John Abbott
Testing
Bug #1710
: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
0.40
16 Nov 2022
John Abbott
Testing
Design #1709
: Test tut-CoCoLA2
Some notes
0.20
12 Nov 2022
John Abbott
Design
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
BOOST
0.10
12 Nov 2022
John Abbott
Design
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Some notes
0.25
12 Nov 2022
John Abbott
Development
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Progress
10.00
12 Nov 2022
John Abbott
Discussion
Bug #1600
: Detect updated versions of external libs
Duplicate?
0.10
12 Nov 2022
John Abbott
Debugging
Support #1700
: boost_1_80_0
Oh joy!
1.50
07 Nov 2022
John Abbott
Discussion
Support #1393
: GUI with Qt5
Licence
0.20
04 Nov 2022
John Abbott
Testing
Feature #1676
: txt2tags: include in source distribution?
Source with doc
0.15
04 Nov 2022
John Abbott
Design
Bug #1705
: ProgressReporter: prepare for new loop?
Like CpuTimeLimit
0.75
04 Nov 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Simpler?
0.25
04 Nov 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Ouch!
0.50
02 Nov 2022
John Abbott
Discussion
Bug #1708
: Linux: just 1 executable, should be 2 (with & without readline)
Some notes
0.25
01 Nov 2022
John Abbott
Discussion
Support #1707
: User forum?
Some notes
0.25
24 Oct 2022
John Abbott
Design
Bug #1705
: ProgressReporter: prepare for new loop?
Some notes
0.50
24 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Wow!
0.10
21 Oct 2022
John Abbott
Development
Design #1703
: Threadsafety, multithreading: optional fn arg (or separate fn)
SumBigInt, SumBigRat
0.25
21 Oct 2022
John Abbott
Development
Feature #1701
: Preliminary packages
New dir
0.40
21 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some thoughts
0.25
21 Oct 2022
John Abbott
Design
Design #1703
: Threadsafety, multithreading: optional fn arg (or separate fn)
Some notes
0.40
19 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.50
17 Oct 2022
John Abbott
Discussion
Feature #1701
: Preliminary packages
Some notes
0.40
17 Oct 2022
John Abbott
Development
Design #1568
: RMap and image: obsolescent?
Progress?
0.10
17 Oct 2022
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
New students
0.20
17 Oct 2022
John Abbott
Discussion
Feature #1373
: GFan also for Microsoft?
Nico Mexis
0.10
14 Oct 2022
Anna Maria Bigatti
Development
Support #1700
: boost_1_80_0
1.00
14 Oct 2022
John Abbott
Discussion
Design #933
: Separate configure scripts for CoCoALib and CoCoA-5
Agree to disagree?
0.20
14 Oct 2022
John Abbott
Discussion
Support #1700
: boost_1_80_0
General soln?
0.20
14 Oct 2022
John Abbott
Discussion
Slug #701
: Makefile; limit dependencies on external libs
Reject?
0.20
14 Oct 2022
Anna Maria Bigatti
Documentation
Design #1697
: Specifying BOOST in configure
2.00
14 Oct 2022
Anna Maria Bigatti
Testing
Support #1700
: boost_1_80_0
1.00
12 Oct 2022
Anna Maria Bigatti
Design
Design #1677
: release-source script: use shell globbing?
0.25
11 Oct 2022
John Abbott
Discussion
Design #1699
: Shell scripts: Shebang line, etc
Some notes
1.00
11 Oct 2022
John Abbott
Discussion
Design #1677
: release-source script: use shell globbing?
Globbing
0.20
11 Oct 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
Must wait
0.10
10 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
0.30
07 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Quick!
0.10
07 Oct 2022
John Abbott
Testing
Design #1693
: SizeInBase: obsolete
0.15
07 Oct 2022
John Abbott
Discussion
Feature #1676
: txt2tags: include in source distribution?
Close?
0.10
07 Oct 2022
John Abbott
Testing
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
Status?
0.20
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Update
0.10
07 Oct 2022
John Abbott
Development
Feature #1246
: Revive old CoCoA4 package called "cocoa5.cpkg"
Close?
0.20
07 Oct 2022
John Abbott
Discussion
Support #1534
: Install CoCoA-5 on MacOS-10.15+
Status report
0.10
07 Oct 2022
John Abbott
Discussion
Slug #750
: C5 GUI: very slow when printing many short lines
Closing
0.40
07 Oct 2022
John Abbott
Discussion
Feature #35
: Optional warnings for fn-proc arity
Rejecting
0.40
06 Oct 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Tests
0.20
06 Oct 2022
John Abbott
Documentation
Support #613
: Which ubuntu / debian packages are needed to compile CoCoA
Current state
0.25
06 Oct 2022
John Abbott
Development
Support #1393
: GUI with Qt5
Test script
0.20
06 Oct 2022
John Abbott
Testing
Bug #148
: C-c C-p in emacs goes to wrong line
Some test cases
0.50
06 Oct 2022
John Abbott
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
Free module names
0.20
05 Oct 2022
Anna Maria Bigatti
Discussion
Bug #716
: NotBuiltin.cpkg5: indent for MODULE
0.10
05 Oct 2022
Anna Maria Bigatti
Design
Design #1698
: indent: return a string?
0.25
05 Oct 2022
Anna Maria Bigatti
Design
Bug #148
: C-c C-p in emacs goes to wrong line
1.00
30 Sep 2022
John Abbott
Discussion
Bug #148
: C-c C-p in emacs goes to wrong line
Anna?
0.10
30 Sep 2022
John Abbott
Discussion
Support #198
: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
Rivalutare
0.20
30 Sep 2022
John Abbott
Testing
Design #1698
: indent: return a string?
Undecided
0.25
28 Sep 2022
John Abbott
Development
Design #1698
: indent: return a string?
Prototype
0.40
« Previous
1
…
5
6
7
8
9
…
72
Next »
(601-700/7155)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...