.gitignore

cgc-challenges/chess_mimic/.frama-c/GNUmakefile

...hallenges/chess_mimic/.frama-c/chess_mimic.eva/alarms.csv

...allenges/chess_mimic/.frama-c/chess_mimic.eva/metrics.log

...allenges/chess_mimic/.frama-c/chess_mimic.eva/nonterm.log

...llenges/chess_mimic/.frama-c/chess_mimic.eva/warnings.log

...llenges/chess_mimic/.frama-c/chess_mimic.parse/framac.ast

...lenges/chess_mimic/.frama-c/chess_mimic.parse/metrics.log

...enges/chess_mimic/.frama-c/chess_mimic.parse/warnings.log

cgc-challenges/chess_mimic/.frama-c/path.mk

cgc-challenges/chess_mimic/README.md

cgc-challenges/chess_mimic/include/cgc_service.h

cgc-challenges/chess_mimic/lib/cgc_stdarg.h

cgc-challenges/chess_mimic/lib/cgc_stdint.h

cgc-challenges/chess_mimic/lib/printf.c

cgc-challenges/chess_mimic/lib/stdlib.c

cgc-challenges/chess_mimic/src/service.c

cgc-challenges/normalize.sh