En fait je me suis rendu compte que mon idée de preuve reposait sur l'argument 8+1 < 9 , c'était pas hyper satisfaisant… ^^ Donc pour l'instant je n'ai pas de preuve jolie en fait. En revanche, on peut baisser le nombre de graphes à considérer pour le cas p = 4 à de l'ordre de 400, donc j'ai pu fair...

Le problème est rigolo ! Le cas p = 4 va bien se bruteforcer, on peut réduire le nombre de graphes à considérer à une petite centaine de millions, je pense qu'en faisant un peu attention en implémentant ça (typiquement on aura pas besoin de faire tout le produit matriciel 17×17 à chaque essai), ça r...

D'accord pour le SDK, si ça marche pour toi c'est déjà bien je suppose. :p Il n'y a rien qui me saute aux yeux ici vis à vis d'un problème de norme ; tu as accès au «réglage» de la normes prise en compte par GCC dans la Makefile : normalement est définie une variable CFLAGS, dans laquelle tu peux aj...

Vu qu'il n'y a pas à installer Cygwin pour utiliser le SDK, en tout cas il n'y avait pas sur les anciennes versions de Windows, je suppose que celui-ci embarque plus ou moins une version de Cygwin.

Tu as donc fait disparaître les erreurs qui posaient problème au début ? En mettant à jour la dll dans quel SDK (l'ancien ou ma tentative plus récente) ? Donc plus de soucis de SDK ? Qu'appelles-tu «anciens programmes» ? Du code peut ne pas marcher car il contient des erreurs même si il est publié ;...

Pour la dll manquante, essaye d'ajouter ce fichier dans le répertoire bin du sdk. Je sais que ça a l'air d'être la bazar pour l'instant, mais j'ai vraiment rien pour tester le résultat final, donc ça se fait par tatonnement un peu… ^^' Lorsque tu parles des erreurs de compilation sur les images, tu ...

Ça aura mis un peu de temps, mais n'ayant pas vraiment réussi à avancer sur la manip' que je comptais faire, j'ai fini par trouver quelqu'un (en la personne d'Intelligide) qui avait déjà réussi à la faire il y a un moment et m'a envoyé le résultat ! J'ai pu donc «repackager» le SDK avec une version ...

Pour le problème de compilation, malheureusement et de ce que je comprends, il n'y a pas vraiment à avoir avoir d'idées j'ai l'impression, c'est juste que le SDK que tu as est un peu trop vieux et semble mal tourner sur les versions les plus récentes de Windows. Pour y remédier il faut recompiler ce...

Ça reste assez embêtant d'avoir une erreur à la compilation qui ne dépend pas vraiment du code que tu es en train de compiler… :s Je suis en train de voir ce que je peux faire pour ça. Pour ce qui est des icônes, leur format est le suivant : ce sont des bitmaps, de taille 92×64, en format RGB565 (i....

Oh je vois. De ce que je comprends, c'est une erreur qui vient du fait que le SDK contient une version compilée de GCC assez ancienne, qui supporterait mal Windows 10 (je n'ai pas fait de recherches approfondies, mais c'est ce qui a l'air de ressortir). Pour le coup, je maîtrise trop mal Windows pou...