summaryrefslogtreecommitdiffstats
path: root/smt_analysis
Commit message (Collapse)AuthorAge
* Add script for computing M_i valuesJoshua Bakita2020-10-22
| | | | | | | | 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 cleanupJoshua Bakita2020-10-22
| | | | | | | | | | | | | | | | 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.Joshua Bakita2020-10-22
|
* Add a phenomenal script to distill SMT pair data to Mij and Mi scoresJoshua Bakita2020-10-22