Bug tracking system for GMP
bagnara at cs.unipr.it
Thu Nov 25 13:27:31 CET 2010
On 11/25/2010 10:58 AM, Torbjorn Granlund wrote:
> I think the GMP project needs a bug tracking system.
> Hopefully, it will be an improvement for users, and also
> make it easier to contribute bug fixes.
> I'd like something that is simple to setup. Pretty graphics is
> Can somebody here advice me? (Please reply to this list.)
My team uses Mantis: it was easy to set up and we are
very happy about it.
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the gmp-devel