Feature/new cgc

added 15 commits

• 5ad96422...ae96f56e - 6 commits from branch master
• aa94febd - [cgc] add old stubs for porting to new files
• a1212085 - [cgc] add first test case
• 2487d17b - [cgc] restructure files
• af4fd768 - update gitignore
• 70246958 - remove unused stubs
• 140b1a71 - adding Accel
• 77687068 - update normalize.sh
• ff077078 - add Monster_Game
• 9b0ef155 - add chess_mimic

Compare with previous version

added 1 commit

• 26509386 - add Hackman

Compare with previous version

added 2 commits

• 665d5d74 - fix symbolic paths and update oracles
• 682b3bd2 - add main Makefile

Compare with previous version

added 1 commit

• 711195fc - fix libcgc parsing issues and update oracles

Compare with previous version

added 3 commits

• f3f50c9a - add GreatView
• 93ec350a - add GreatView
• 7c230a01 - add GreatView

Compare with previous version

added 1 commit

• cd4d2cbc - add Particle_Simulator

Compare with previous version

Last commit was to add Particle_Simulator and remove Great_View challenges.

this analysis run leveraged an Error in /home/dario/git/open-source-case- studies/frama-c/build/share/frama-c/analysis-scripts//analysis.mk:188

added 1 commit

• 5dff3999 - add Particle_Simulator

Compare with previous version

added 1 commit

• 2e4ee208 - add Particle_Simulator

Compare with previous version

Corrected GNUmakefile extra whitespace

added 1 commit

• 4de2623b - Add Glue

Compare with previous version

added 1 commit

• a62db1a6 - Add Glue

Compare with previous version

added 1 commit

• 90c39364 - Add Dungeon_Master

Compare with previous version

added 1 commit

• 83a31df7 - add tiny-AES128 library

Compare with previous version

added 1 commit

• 1fec1386 - Add BudgIT

Compare with previous version

added 1 commit

• dc74d1ee - Add BudgIT

Compare with previous version

added 1 commit

• 6f9d83d2 - add WordCompletion

Compare with previous version

BudgIT and WordCompletion are incomplete analyses, need further inspection and reviewing