Messages postés par "Ksass`Peuk"
2 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
|
La programmation en C++ moderne
Apprenez la programmation de zéro jusqu'à l'infini ! |
vendredi 25 octobre 2019 à 17h22 | # La POO ## Principes ### Avantages J'ai du mal avec une partie des avantages présentés pour la POO. Je ne vois pas en quoi l'objet apporte un code plus modulaire, ou mieux abstrait. L'exemp… |
| jeudi 24 octobre 2019 à 08h59 | Lu'! Ajoute le header <iterator> à tout hasard mais normalement c'est pas nécessaire je crois. Si ça doit toujours, assure toi que tu as bien configuré ton compilo en C++17. | |
| mercredi 23 octobre 2019 à 18h51 | `-Wextra` ajoute d'autres warnings utiles. `exec` c'est juste un nom d'exécutable au pif. | |
| mercredi 23 octobre 2019 à 18h32 | On passe des paramètres à `-fsanitize`. Par exemple, `address` pour vérifier les accès : ``` gcc -fsanitize=address -Wall -Wextra -pedantic -o exec file.c ``` Si ton compilateur ne reconnaît … | |
| mercredi 23 octobre 2019 à 17h06 | Lu'! > Êtes-vous d’accord que (1) le code suivant est correct, (2) ne présente aucune fuite de mémoire et (3) utilise correctement la fonction realloc ? 1. Non 2. Discutable 3. Discutable … | |
| mercredi 23 octobre 2019 à 14h26 | **@ache** si NULL est défini avec `(void*) 0`, ta comparaison est de toute façon un undefined behavior (comparaison entier qui n'est pas une constante 0 avec pointeur). | |
| mardi 22 octobre 2019 à 16h48 | Lu'! Lorsque tu fais l'opération en ligne 16, le **contenu** de la structure `temp` est copié dans la cellule `list[0]`. Donc oui, après l'exécution de la fonction, la mémoire stack est dépilée et… | |
| samedi 19 octobre 2019 à 19h53 | L'opération fclose (comme l'opération free) ne modifie pas le pointeur, de toute façon elle ne peut pas puisque le passage se fait par valeur en C. | |
| samedi 19 octobre 2019 à 18h28 | Lu'! Vu que tu fermes le programme littéralement juste après, sur aucun OS moderne ça ne poserait de problème puisque l'OS se chargera de récupérer les handlers de fichier, et basta. En C, il n… | |
| samedi 19 octobre 2019 à 16h57 | Salut, Non, par exemple, les pointeurs de fonctions n'ont pas cette garantie. Plus d'info ici : https://stackoverflow.com/a/3941867 | |
|
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 octobre 2019 à 12h56 | J'ai corrigé le plupart de ce qui a été pointé par **@Aabu**. La seule chose qui pour l'instant n'a pas changé, c'est les exercices sur les comportements, je vais en discuter avec des collègues qui b… |
|
Mettons en musique la communauté !
Mais surtout parlons de vos musiques ! |
dimanche 29 septembre 2019 à 16h00 | Je me suis refait la disco de Rage Against The Machine récemment, et bordel, il y a des choses qui ne vieillissent pas. !(https://www.youtube.com/watch?v=wauzrPn0cfg) |
| vendredi 27 septembre 2019 à 18h17 | Pourquoi pas simplement: ```c int main(int argc, char * argv[]){ if(argc > 1){ printf("First parameter: %s\n" argv[1]); } } ``` ? Et s'il s'agit d'obtenir un accès à la chaîne… | |
|
La programmation en C++ moderne
Apprenez la programmation de zéro jusqu'à l'infini ! |
vendredi 27 septembre 2019 à 09h54 | Partie sur les invariants. > Rappelons que cette opération est mathématiquement impossible. Elle n'est pas définie en mathématiques classiques, c'est un peu différent. Et pour le cas d'un langa… |
|
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 septembre 2019 à 10h37 | Il me semblait avoir répondu à ce message mais en fait pas du tout. Désolé **@Aabu** :honte: . Je devrais pouvoir me remettre sur la rédaction/correction d'éléments du tutoriel d'ici peu. Espérons… |
| vendredi 06 septembre 2019 à 15h41 | Si, c'est juste qu'il y a des paramètres implicites :magicien: | |
|
Faire du "look-ahead" avec OcamlLex
Pour tenter de résoudre un conflit |
mardi 03 septembre 2019 à 20h10 | De retour après avoir mis en place une solution qui marche bien. On a finalement dû opter pour une modification du lexer, mais aussi, plus intéressant, quelques petites modifs dans le parseur. La … |
|
Faire du "look-ahead" avec OcamlLex
Pour tenter de résoudre un conflit |
lundi 02 septembre 2019 à 17h15 | > Oui, parce que ces commentaires sont reconnaissables par une regex simple du genre `//[^\n]*\n` (tu n'as pas besoin d'une règle dédiée, qui sert en général plutôt pour parser des commentaires `/* .… |
|
Faire du "look-ahead" avec OcamlLex
Pour tenter de résoudre un conflit |
lundi 02 septembre 2019 à 16h42 | > Est-ce que tu ne peux pas juste avoir une règle `open_special else` dans ton lexer, qui serait prioritaire sur la règle qui lexe `open_special` parce qu'elle matche quelque chose de plus long ? Si … |
|
Faire du "look-ahead" avec OcamlLex
Pour tenter de résoudre un conflit |
lundi 02 septembre 2019 à 15h10 | Salut, Je dois parser une grammaire qui malheureusement a, en l'état, un conflit de shift reduce. Et je ne peux pas faire grand chose pour changer la grammaire en question. J'ai essayé de simplifi… |
|
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 08 juillet 2019 à 10h30 | > Les exercices sur les *behaviors* (3.3.1) sont assez ennuyeux et je n'ai pas eu le courage de tous les faire. Surtout qu'on reprend ceux d'avant... J'ai trouvé qu'ils sont assez artificiels, surtou… |