New/cb multios

Plusieurs commits:

• Ajout du code initial nettoyé
• ajout du .frama-c avec éléments pour les 10 premiers programmes
• ajout des programmes (fix, fc_adapt, résultats) : (9)
  • 3D_Image_Toolkit
  • Accel
  • BudgIT
  • Dungeon_Master (not included)
  • chess_mimic
  • Glue
  • HackMan
  • Monster_Game
  • Particle_Simulator
  • WordCompletion
• Autres programmes : (12)
  • anagram_game
  • Audio_Visualizer
  • basic_emulator
  • basic_messaging
  • BitBlaster
  • Bloomy_Sunday
  • Board_Game
  • CGC_Board
  • CGC_File_System
  • CGC_Image_Parser
  • CGC_Symbol_Viewer_CSV
  • CLOUDCOMPUTE

A partir de CNMP, utilisation de la branche frama-c fix/eva/offsetmap : risque d'erreur lors de la CI

• suite :
  1. CNMP
  2. cotton_swab_arithmetic
  3. DFARS_Sample_Service : non terminé
  4. Diary_Parser
  5. Differ
  6. Diophantine_Password_Wallet
  7. Dive_Logger
  8. Enslavednode_chat
  9. Estadio
  10. FablesReport

cgc/challenges/3D_Image_Toolkit/src/3dc.c

@@ -41,6 +41,7 @@ void cgc_Push(t3DCPixel **px_list, t3DCPixel *px) {
 
     cgc_memcpy(new, px, sizeof(t3DCPixel));
 
+    //@ loop unroll MAX_PIXELS;
     for (i  = 0; i < MAX_PIXELS; i++) { // MAX_PIXELS = 409
       if (px_list[i] == NULL) {
           px_list[i] = new;
@@ -55,6 +56,7 @@ void cgc_RunTask(t3DCPixel **px_list, task_callback exec_task, int16_t fptr_arg)
   int16_t count = MAX_PIXELS;
   int16_t i = 0;
 
+  //@ loop unroll MAX_PIXELS;
   while (count--) {
     exec_task(px_list[i++], fptr_arg);
 
@@ -70,6 +72,7 @@ void cgc_ReadFile(t3DCPixel **px_list) {
   t3DCPixel *px;
   uint32_t offset = 0;
 
+  //@ loop unroll MAX_PIXELS;
   while(dataSize > 0) {
     px = cgc_malloc(sizeof(t3DCPixel));
 
@@ -143,6 +146,7 @@ void cgc_CheckFile(t3DCPixel **px, int16_t num) {
   if (px == NULL)
     return;
 
+  //@ loop unroll MAX_PIXELS;
   for (int i=0; i < num; i++) {
     cgc_printf("XYZ:  ($d, $d, $d)\n", px[i]->x, px[i]->y, px[i]->z);
     cgc_printf("RGBA: (#$02x$02x$02x$02x)\n", px[i]->r, px[i]->g, px[i]->b, px[i]->a);