Pollux (./167) :
Si tu formalises d'une façon suffisamment précise pour savoir à l'avance si un patch sera intégré ou si c'est pas la peine, j'essayerai de faire des "contributions"

C'est bien pour ça que je ne formalise pas plus, je n'ai pas envie de te faire perdre ton temps à essayer de trouver des trous dans ma formalisation. Il est évident qu'il y a des limites pratiques (genre la multiplication à complexité exponentielle en la longueur en bits des entrées ou encore la recopie des plans dans la routine de gris qui est sous des contraintes de vitesse très étroites parce que sinon ça clignote, il doit y en avoir d'autres, de cas comme ça, tous regroupés dans le cadre de l'utilisabilité), et qu'un paquet de patches juste en dessous de cette limite va la faire dépasser à force. D'éventuelles optimisations en taille exploitant des bogues du matériel ou du logiciel seront aussi très mal vues (parce que ce n'est pas future-safe, rien ne garantit que TI ne va pas revenir aux 68k vu le flop qu'est la Nspire, aussi improbable que ce soit).