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/.frama-c/fc_scripts/rm_challenges.sh

+#!/bin/bash -eu
+
+# This script remove :
+#    - CMakeLists.txt
+#    - lib/
+#    - poller/
+#    - support/
+#    - pov_`x`/
+# from each challenge
+
+for file in ../../challenges/*;
+  do
+    if [ -d $file ];
+    then
+      $(rm -f $file/CMakeLists.txt);
+      $(rm -rf $file/lib);
+      $(rm -rf $file/poller);
+      $(rm -rf $file/support);
+      $(rm -rf $file/pov_*);
+    fi
+done