Messages postés par "Ksass`Peuk"

1 message est invisible car dans un sujet inaccessible.

Sujet Date Extrait
C'est quoi le problème avec la POO, au fait ?
lundi 13 juillet 2020 à 12h24 Lu'! Les paradigmes de programmation sont globalement mal définis et ne donnent pas d'informations claires sur ce que permet ou ne permet pas un langage. Personnellement ces classifications, je…
La sécurité dans le nucléaire en péril ? Un témoignage
vendredi 10 juillet 2020 à 12h18 > C'est dingue ça. Ça arrive souvent qu'il y ait une différence entre deux toolchains ? Vous avez déjà eu des occasions de rapporter des bugs chez les gens qui s'occupent de gcc/clang ? Source:[sgbl…
La sécurité dans le nucléaire en péril ? Un témoignage
vendredi 10 juillet 2020 à 11h59 Lu'! Que la raison pour laquelle les systèmes ont plus de 30 ans et qu'ils continuent à fonctionner c'est parce que leur niveau de validation n'est pas **du tout** le même que dans bien des domain…
cours de poo en c++

recherche de cous sur la programmation orienté objet en c++

vendredi 03 juillet 2020 à 08h36 > cela ressemble plus à du contenu pour slides. Source:[lmghs](https://zestedesavoir.com/forums/sujet/14300/cours-de-poo-en-c/?page=1#p223299) Et en plus c'est n'importe quoi.
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 25 juin 2020 à 13h34 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://zestedesavoir.co…
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 19 juin 2020 à 13h48 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…
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 18 juin 2020 à 14h24 > Plutôt renvoyer l'indice de la plus petite valeur, non ? Source:[Karnaj](https://zestedesavoir.com/forums/sujet/7725/introduction-a-la-preuve-de-programmes-c-avec-frama-c-et-son-greffon-wp/?page=3…
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 17 juin 2020 à 12h59 > J'ai une suggestion rapide pour la traduction de « smoke test ». C'est pas évident à traduire, mais je pense que « déverminage » peut être une bonne alternative. Quand ces tests passent, on ne peut…
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.

mardi 16 juin 2020 à 19h32 Oyez oyez les agrumes ! Je vous annonce avec plaisir la ré-ouverture de la bêta du contenu « Introduction à la preuve de programmes C avec Frama-C et son greffon WP » ! Je vous souhaite …
Mettons en musique la communauté !

Mais surtout parlons de vos musiques !

mardi 09 juin 2020 à 08h49 Récemment, je me suis commandé une bonne partie de la discographie de Devin Townsend, et je crois qu'il n'y a pas encore eu de morceaux du bonhomme ici. Je pourrais poncer sa disco à longueur de jour…
Mettons en musique la communauté !

Mais surtout parlons de vos musiques !

jeudi 04 juin 2020 à 09h14 Dans le dernier album de Nightwish il y a cette composition orchestrale que j'aime beaucoup. Alors wala : !(https://www.youtube.com/watch?v=g_nNJFRiUIA)
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 13 mai 2020 à 09h10 Bonjour, La bêta du contenu « Introduction à la preuve de programmes C avec Frama-C et son greffon WP » a été désactivée.
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 13 mai 2020 à 09h10 Ah je ne savais pas ça. Je vais la désactiver pour l'instant, même s'il n'est pas exclus que je la réactive bientôt si j'arrive à avancer suffisamment vite.
Problème de mémoire [C]
mardi 12 mai 2020 à 13h50 J'avais pas fait gaffe au "s'il existe", MB.
Problème de mémoire [C]
mardi 12 mai 2020 à 13h15 Lu'! Vu que manifestement tu ré-initialises la variable `copiedStr` à chaque call à la fonction, pourquoi diable en faire une variable statique ? (Et contrôle le retour de ton appel à malloc). …
(Débutant) Malloc et gestion de mémoire
dimanche 03 mai 2020 à 17h02 Non il faut le faire en dernier parce que si ta réallocation échoue, il n'y a pas besoin de faire revenir tes champs à l'état précédent : la structure est déjà dans le bon état. Pour tester le ret…
(Débutant) Malloc et gestion de mémoire
dimanche 03 mai 2020 à 16h10 De ce que je comprends il double la taille de l'allocation actuelle.
Programation par contraintes et class template

Euh ... comment on fait ?

dimanche 26 avril 2020 à 11h58 Perso, je déconseille aussi de te faire chier avec les NaN, les infs, et compagnie. C'est déjà hyper relou de le gérer au niveau des contrats des opérations simples, mais alors dès qu'on attaque des …
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…