Merge branch 'new/gnugo' into 'master'
[gnugo] add case study See merge request !46
Showing
- .gitlab-ci.yml 5 additions, 0 deletions.gitlab-ci.yml
- Makefile 1 addition, 0 deletionsMakefile
- README.md 1 addition, 0 deletionsREADME.md
- gnugo/.frama-c/GNUmakefile 67 additions, 0 deletionsgnugo/.frama-c/GNUmakefile
- gnugo/.frama-c/__fc_stubs.h 160 additions, 0 deletionsgnugo/.frama-c/__fc_stubs.h
- gnugo/.frama-c/gnugo.eva/alarms.csv 111 additions, 0 deletionsgnugo/.frama-c/gnugo.eva/alarms.csv
- gnugo/.frama-c/gnugo.eva/metrics.log 41 additions, 0 deletionsgnugo/.frama-c/gnugo.eva/metrics.log
- gnugo/.frama-c/gnugo.eva/nonterm.log 0 additions, 0 deletionsgnugo/.frama-c/gnugo.eva/nonterm.log
- gnugo/.frama-c/gnugo.eva/warnings.log 39 additions, 0 deletionsgnugo/.frama-c/gnugo.eva/warnings.log
- gnugo/.frama-c/gnugo.parse/framac.ast 5125 additions, 0 deletionsgnugo/.frama-c/gnugo.parse/framac.ast
- gnugo/.frama-c/gnugo.parse/metrics.log 42 additions, 0 deletionsgnugo/.frama-c/gnugo.parse/metrics.log
- gnugo/.frama-c/gnugo.parse/warnings.log 0 additions, 0 deletionsgnugo/.frama-c/gnugo.parse/warnings.log
- gnugo/.frama-c/path.mk 1 addition, 0 deletionsgnugo/.frama-c/path.mk
- gnugo/.gitignore 1 addition, 0 deletionsgnugo/.gitignore
- gnugo/COPYING 339 additions, 0 deletionsgnugo/COPYING
- gnugo/ChangeLog 27 additions, 0 deletionsgnugo/ChangeLog
- gnugo/Documentation 272 additions, 0 deletionsgnugo/Documentation
- gnugo/Makefile 43 additions, 0 deletionsgnugo/Makefile
- gnugo/OSCS-README.txt 9 additions, 0 deletionsgnugo/OSCS-README.txt
- gnugo/README 100 additions, 0 deletionsgnugo/README
Loading
Please register or sign in to comment