Merge branch 'kostyantyn/feature/bmrem' into 'master'
Remove code related to performance evaluation Functionality related to performance evaluation has been moved to a separate repository: https://git.frama-c.com/kvorobyov/benchmarking See merge request !75
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/.gitignore 0 additions, 1 deletionsrc/plugins/e-acsl/.gitignore
- src/plugins/e-acsl/Makefile.in 0 additions, 19 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/benchmarking/examples/plotting/dat/barplot.dat 0 additions, 4 deletions...ins/e-acsl/benchmarking/examples/plotting/dat/barplot.dat
- src/plugins/e-acsl/benchmarking/examples/plotting/dat/lineplot.dat 0 additions, 11 deletions...ns/e-acsl/benchmarking/examples/plotting/dat/lineplot.dat
- src/plugins/e-acsl/benchmarking/examples/plotting/sample-plot.sh 0 additions, 32 deletions...gins/e-acsl/benchmarking/examples/plotting/sample-plot.sh
- src/plugins/e-acsl/benchmarking/tools/bm.gnuplot 0 additions, 180 deletionssrc/plugins/e-acsl/benchmarking/tools/bm.gnuplot
- src/plugins/e-acsl/benchmarking/tools/fc-time.c 0 additions, 467 deletionssrc/plugins/e-acsl/benchmarking/tools/fc-time.c
Loading
Please register or sign in to comment