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

assigned to @maroneze

added 4 commits

• 6fc9763c - [cgc] add .frama-c with lib and makefile prepared for the ten first programs
• 95797efb - [cgc] 3D_Image_Toolkit : fix
• 10654394 - [cgc] 3D_Image_Toolkit : fc-adapt
• 9e82f047 - [cgc] 3D_Image_Toolkit : fc_result : add result and adapt makefile

Compare with previous version

resolved all threads

added 4 commits

• 3f6f85e1 - [cgc] add .frama-c with lib and makefile prepared for the ten first programs
• abfa9d43 - [cgc] 3D_Image_Toolkit : fix
• cdb48710 - [cgc] 3D_Image_Toolkit : fc-adapt
• 0d597198 - [cgc] 3D_Image_Toolkit : fc_result : add result and adapt makefile

Compare with previous version

added 2 commits

• 9da45436 - [cgc] 3D_Image_Toolkit : fc-adapt
• 6bfae1fd - [cgc] 3D_Image_Toolkit : fc_result : add result and adapt makefile

Compare with previous version

added 2 commits

• f1dce601 - [cgc] 3D_Image_Toolkit : fc-adapt
• 109565fd - [cgc] 3D_Image_Toolkit : fc_result : add result and adapt makefile

Compare with previous version

added 1 commit

• 7a4544ec - [cgc] 3D_Image_Toolkit : fc_result : add result and adapt makefile

Compare with previous version

added 3 commits

• 1ef8dd27 - [cgc] Accel : fix
• d36f06b3 - [cgc] Accel : fc-adapt
• aa86f1b0 - [cgc] Accel : fc-results : Add results + adapt libc and makefile

Compare with previous version

added 1 commit

• 244e9ec0 - [cgc] Accel : fc-results : Add results + adapt libc and makefile

Compare with previous version

changed the description

added 2 commits

• 6ff9ab18 - [cgc] BudgIT : fix
• ec501449 - [cgc] BudgIT : fc-results

Compare with previous version

added 2 commits

• dd8f75d5 - [cgc] chess_mimic : fix
• 3b6d07bd - [cgc] chess_mimic : fc-results

Compare with previous version

added 2 commits

• 531b2231 - [cgc] Glue : fc-results
• e131c014 - [cgc] HackMan : fc-results

Compare with previous version

added 1 commit

• 6eb554d6 - [cgc] HackMan : fc-results

Compare with previous version

changed the description

added 2 commits

• 296957b3 - [cgc] Monster_Game : fc-adapt
• 5cd092a9 - [cgc] Monster_Game : fc-results

Compare with previous version