Skip to content

New/cb multios

Remi Lazarini requested to merge new/cb-multios into master

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
Edited by Remi Lazarini

Merge request reports

Loading