Messages postés par "Ksass`Peuk"

1 message est invisible car dans un sujet inaccessible.

Sujet Date Extrait
Epita après un DUT ?
mardi 06 octobre 2020 à 13h46 > En gros, l'essentiel est enseigné par des gens d'année supérieur. Tu n'as jamais de vrai référent à qui te raccrocher et une grosse partie de l'enseignement est basé sur des projets. Ça reste très …
La programmation en C++ moderne

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

vendredi 11 septembre 2020 à 08h09 > D'abord Mes remerciements à l'auteur de ce cour qui en plus de m'abreuver de sa science me fait > Ouais donc c'est normale en fait. Mais comme c'est géré autrement par tous les langages plus jeune…
La programmation en C++ moderne

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

mercredi 09 septembre 2020 à 08h22 > Ca doit forcement etre con. Mais j'ai vu ce qu'etais les exception maintenant. Pourquoi `pop_back()` ne jetterais pas une exception quand il opere > sur une chaine ou un tableau vide? C'est pareil…
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 07 septembre 2020 à 19h22 Bonjour, La bêta du contenu « Introduction à la preuve de programmes C avec Frama-C et son greffon WP » a été désactivée.
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.