├── .gitmodules ├── LICENSE ├── PLACE_SPEC2006_ISO_HERE ├── README.md ├── scripts ├── build.sh ├── build_minesweeper.sh ├── build_spec.sh ├── clone.sh ├── dependencies.sh ├── do_all.sh ├── print_memory.py ├── print_time.py ├── run_psrec.sh ├── run_spec.sh └── update_runs.py └── spec_confs ├── x86_64_base.cfg ├── x86_64_je.cfg └── x86_64_minesweeper.cfg /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/LICENSE -------------------------------------------------------------------------------- /PLACE_SPEC2006_ISO_HERE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/README.md -------------------------------------------------------------------------------- /scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/build.sh -------------------------------------------------------------------------------- /scripts/build_minesweeper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/build_minesweeper.sh -------------------------------------------------------------------------------- /scripts/build_spec.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/build_spec.sh -------------------------------------------------------------------------------- /scripts/clone.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/clone.sh -------------------------------------------------------------------------------- /scripts/dependencies.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/dependencies.sh -------------------------------------------------------------------------------- /scripts/do_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/do_all.sh -------------------------------------------------------------------------------- /scripts/print_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/print_memory.py -------------------------------------------------------------------------------- /scripts/print_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/print_time.py -------------------------------------------------------------------------------- /scripts/run_psrec.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/run_psrec.sh -------------------------------------------------------------------------------- /scripts/run_spec.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/run_spec.sh -------------------------------------------------------------------------------- /scripts/update_runs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/scripts/update_runs.py -------------------------------------------------------------------------------- /spec_confs/x86_64_base.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/spec_confs/x86_64_base.cfg -------------------------------------------------------------------------------- /spec_confs/x86_64_je.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/spec_confs/x86_64_je.cfg -------------------------------------------------------------------------------- /spec_confs/x86_64_minesweeper.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/EMarci15/asplos22-minesweeper-reproduce/HEAD/spec_confs/x86_64_minesweeper.cfg --------------------------------------------------------------------------------