[Why3-club] Where to add new feature requests?

David MENTRE dmentre at linux-france.org
Thu Nov 3 17:35:19 CET 2011


Hello,

Where should I add requests for new features? In the bug tracker
(https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse)
or in the feature request tracker
(https://gforge.inria.fr/tracker/?atid=10296&group_id=2990&func=browse)?

I used the latter but I'm not sure it is really used by Why3 developers.

Best regards,
david



More information about the Why3-club mailing list