mc2-scripts-and-benchmarks.git/smt_analysis, branch rtas22

add deadlines and costs

2021-10-26T17:22:32+00:00

Analysis Scripts: Cut deceptive help text and clean computeLCslowdown.py output

2021-03-10T00:35:53+00:00

Analysis Scripts: Cleanup computeSMTslowdown.py and libSMT.py

2021-03-10T00:08:58+00:00

- Don't print superfluous data
- Remove some commented-out code
- Print summary statistics in a format more similar to that used in
  the paper
- Automatically strip the `_all` postfix from the paired benchmarks

Add script for computing M_i values

2020-10-22T23:01:25+00:00

Remember, M_i values are the worst-case slowdown of the average-
-case execution time.

Also factor out functions shared with M_ij computation code to a
shared library.

Make SD-VBS compatible with run_bench.sh and cleanup

2020-10-22T07:17:31+00:00

SD-VBS:
- Run silently
- Fix some whitespace errors
- Don't duplicate extra.h
- Auto-detect if building with LITMUS-RT
- Disable result checking
- Add helper symlinks
Misc:
- Remove unused code from libextra
- Set some missing rt_param fields in libextra
- Disable CSV info dump from computeSMTslowdown.sh
- Widen scope of .gitignore on .txt files
- Include list of 2MB DIS pair benchmarks and inputs

Add submodules. Remember to use git clone --recurse-submodules now.

2020-10-22T04:35:52+00:00

Add a phenomenal script to distill SMT pair data to Mij and Mi scores

2020-10-22T04:28:01+00:00