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 :
- CNMP
- cotton_swab_arithmetic
- DFARS_Sample_Service : non terminé
- Diary_Parser
- Differ
- Diophantine_Password_Wallet
- Dive_Logger
- Enslavednode_chat
- Estadio
- FablesReport
Edited by Remi Lazarini