Messages postés par "Ksass`Peuk"

1 message est invisible car dans un sujet inaccessible.

Sujet Date Extrait
Remplir un tableau de pointeurs d'entiers
lundi 06 avril 2020 à 17h37 C'est toujours pareil est ce que le domaine le permet ? Dans le critique, la réponse est non, au mieux ce sera du Ada, ou Atelier B, mais C est encore bien présent pour de bonnes raisons : l'outil…
Remplir un tableau de pointeurs d'entiers
lundi 06 avril 2020 à 15h48 > Ne serait-ce que pour le C, `valgrind` fait une bonne partie du travail à ta place pour résoudre de nombreux problèmes. Source:[lhp22](https://zestedesavoir.com/forums/sujet/13872/remplir-un-table…
Remplir un tableau de pointeurs d'entiers
lundi 06 avril 2020 à 13h30 > Et bien sûr, la différence intéressante par rapport à C étant qu'on peut réduire au maximum les zones concernées et les marquer comme telles, cet argument tombe complètement à l'eau. Source:[adri1…
Remplir un tableau de pointeurs d'entiers
lundi 06 avril 2020 à 12h26 > Sortir encore l'argument des performances aujourd'hui alors que les performances au _runtime_ de par exemple Rust (qui lui implémente carrément des abstractions sans coût) Source:[adri1](https://z…
Mettons en musique la communauté !

Mais surtout parlons de vos musiques !

lundi 09 mars 2020 à 08h01 Une petite prise live plutôt propre de The Night Flight Orchestra. !(https://www.youtube.com/watch?v=-3BkE5ckGUc) Je les ai vu hier à la Machine du Moulin Rouge et ben ça dépote en live :)
La programmation en C++ moderne

Apprenez la programmation de zéro jusqu'à l'infini !

samedi 29 février 2020 à 13h59 Les tests hors limites ne devraient pas avoir lieu au niveau des interfaces. Ils n'ont même pas vraiment de sens. Précisément parce que si ton interface définit ce qui se passe hors limites alors ...…
Un peu de généricité en C
vendredi 31 janvier 2020 à 14h23 Lu'! Ça manque de traitement des erreurs dans `realloc` ;) > EDIT: à la lecture de code je vois souvent les pointeurs écrits `type *ptr` mais malgré tout je trouve que l'écrire `type* ptr` (qui…
La programmation en C++ moderne

Apprenez la programmation de zéro jusqu'à l'infini !

vendredi 31 janvier 2020 à 10h59 > > Ici, j’ai effectuée une opération mathématiquement impossible et **mon programme est donc invalide.** > > Il n'est pas "invalide" dans l'absolu. Au pire, il est ou il n'est pas conforme aux a…
La programmation en C++ moderne

Apprenez la programmation de zéro jusqu'à l'infini !

jeudi 09 janvier 2020 à 10h44 > (je trouve personnellement que parler de "type polymorphique" est meilleur que de parler "entité") Source:[gbdivers](https://zestedesavoir.com/forums/sujet/3703/la-programmation-en-c-moderne/?page…
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

jeudi 19 décembre 2019 à 18h19 Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [Introduction à la preuve de programmes C avec Frama-C et son greffon WP](https://zestede…
Vos recettes de crêpes

#Chandeleur

mercredi 18 décembre 2019 à 09h38 Quelle idée de mettre quelque chose sur une crêpe. S'il y a besoin de ça, c'est que les crêpes n'ont pas de goût.
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

mercredi 11 décembre 2019 à 15h20 Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [Introduction à la preuve de programmes C avec Frama-C et son greffon WP](https://zestede…
Avatars de Noël !
mardi 10 décembre 2019 à 09h15 La qualité graphique n'est pas au rendez-vous, mais que voulez vous ? ![Avatar](/media/galleries/666/9908d213-3b27-4b34-a0ab-c3e4c7fc9d27.png) ![Avatar de Noël](/media/galleries/666/a645ce95-13…
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

lundi 09 décembre 2019 à 19h06 Bon. Bah la galerie n'est pas versionnée. Du coup, j'ai flingué la version en ligne.
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

lundi 09 décembre 2019 à 13h27 Encore du suivi. J'ai passé une partie de mon weekend sur le traduction, ce qui fait que : - la version FR est presque prête, il ne reste qu'à faire une relecture profonde puis je passerai le tout…
Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

vendredi 06 décembre 2019 à 08h41 Un peu de suivi. Frama-C Calcium est sortie et avec ça j'ai eu quelques changements à faire qui sont pour certains notables et pour d'autres plus raisonnables. Dans l'ensemble ça a été relativemen…
Problème de compilation
jeudi 28 novembre 2019 à 12h22 > Quelle différence entre ||char[]|| et ||char*|| ? Pour moi, les deux sont strictement équivalents. Source:[Green](https://zestedesavoir.com/forums/sujet/13273/probleme-de-compilation/?page=1#p2115…
Problème de compilation
jeudi 28 novembre 2019 à 10h36 Lu'! > Pour moi, la chaîne ||"/test"|| devrait être de type ||const char*|| non ? Source:[Green](https://zestedesavoir.com/forums/sujet/13273/probleme-de-compilation/?page=1#p211520) Alors no…
Vérifier l'exécution d'un programme C++
vendredi 08 novembre 2019 à 13h33 Oui, sauf que tu importes tout les noms du namespace std, ce qui n'est pas une super idée.
Vérifier l'exécution d'un programme C++
vendredi 08 novembre 2019 à 13h27 Ici, tu compares des chaînes C (de type const char[]). Dans un tel cas, en C, c'est `strcmp` qu'on utilisait (et qui s'utilise aussi très bien en C++). Mais tu peux aussi passer par des std::string, …
Vérifier l'exécution d'un programme C++
vendredi 08 novembre 2019 à 11h32 Lu'! Bienvenue dans le monde merveilleux de C++, où un programme tout buggé a le droit de faire n'importe quoi (après tout il est buggé, donc c'est normal qu'il fasse n'importe quoi). Ton code con…