adding Accel
Showing
- cgc-challenges/Accel/.frama-c/Accel.eva/alarms.csv 203 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.eva/alarms.csv
- cgc-challenges/Accel/.frama-c/Accel.eva/metrics.log 80 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.eva/metrics.log
- cgc-challenges/Accel/.frama-c/Accel.eva/nonterm.log 0 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.eva/nonterm.log
- cgc-challenges/Accel/.frama-c/Accel.eva/warnings.log 53 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.eva/warnings.log
- cgc-challenges/Accel/.frama-c/Accel.parse/framac.ast 3222 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.parse/framac.ast
- cgc-challenges/Accel/.frama-c/Accel.parse/metrics.log 66 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.parse/metrics.log
- cgc-challenges/Accel/.frama-c/Accel.parse/warnings.log 10 additions, 0 deletionscgc-challenges/Accel/.frama-c/Accel.parse/warnings.log
- cgc-challenges/Accel/.frama-c/GNUmakefile 53 additions, 0 deletionscgc-challenges/Accel/.frama-c/GNUmakefile
- cgc-challenges/Accel/.frama-c/path.mk 1 addition, 0 deletionscgc-challenges/Accel/.frama-c/path.mk
- cgc-challenges/Accel/FRAMAC_README.md 1 addition, 0 deletionscgc-challenges/Accel/FRAMAC_README.md
- cgc-challenges/Accel/README.md 84 additions, 0 deletionscgc-challenges/Accel/README.md
- cgc-challenges/Accel/accel.c 654 additions, 0 deletionscgc-challenges/Accel/accel.c
- cgc-challenges/Accel/accelfunc.c 769 additions, 0 deletionscgc-challenges/Accel/accelfunc.c
- cgc-challenges/Accel/accelio.c 170 additions, 0 deletionscgc-challenges/Accel/accelio.c
- cgc-challenges/Accel/atof.c 85 additions, 0 deletionscgc-challenges/Accel/atof.c
- cgc-challenges/Accel/cgc_accel.h 10 additions, 0 deletionscgc-challenges/Accel/cgc_accel.h
- cgc-challenges/Accel/cgc_accelfunc.h 32 additions, 0 deletionscgc-challenges/Accel/cgc_accelfunc.h
- cgc-challenges/Accel/cgc_accelio.h 16 additions, 0 deletionscgc-challenges/Accel/cgc_accelio.h
- cgc-challenges/Accel/cgc_convert.h 12 additions, 0 deletionscgc-challenges/Accel/cgc_convert.h
- cgc-challenges/Accel/cgc_queue.h 18 additions, 0 deletionscgc-challenges/Accel/cgc_queue.h
This diff is collapsed.
This diff is collapsed.
cgc-challenges/Accel/.frama-c/GNUmakefile
0 → 100644
cgc-challenges/Accel/.frama-c/path.mk
0 → 120000
cgc-challenges/Accel/FRAMAC_README.md
0 → 100644
cgc-challenges/Accel/README.md
0 → 100644
cgc-challenges/Accel/accel.c
0 → 100644
cgc-challenges/Accel/accelfunc.c
0 → 100644
This diff is collapsed.
cgc-challenges/Accel/accelio.c
0 → 100644
cgc-challenges/Accel/atof.c
0 → 100644
cgc-challenges/Accel/cgc_accel.h
0 → 100644
cgc-challenges/Accel/cgc_accelfunc.h
0 → 100644
cgc-challenges/Accel/cgc_accelio.h
0 → 100644
cgc-challenges/Accel/cgc_convert.h
0 → 100644
cgc-challenges/Accel/cgc_queue.h
0 → 100644
Please register or sign in to comment