├── .gitmodules ├── mc-tools ├── disable-dbug-intra-process.patch ├── highlight-exed-tid.patch ├── integrate-xtern+dbug.patch ├── mk-dbug ├── readme.txt └── tests │ ├── Makefile │ ├── ex2.c │ ├── ex3.c │ ├── ex4.c │ ├── local.options │ ├── openmp-like.cpp │ ├── run-dbug-ex2.xml │ ├── run-dbug-openmp-like.xml │ ├── run-dbug-test-dbug-on-off.xml │ ├── run-smt+mc-ex2.xml │ └── test-dbug-on-off.c └── readme.txt /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/.gitmodules -------------------------------------------------------------------------------- /mc-tools/disable-dbug-intra-process.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/disable-dbug-intra-process.patch -------------------------------------------------------------------------------- /mc-tools/highlight-exed-tid.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/highlight-exed-tid.patch -------------------------------------------------------------------------------- /mc-tools/integrate-xtern+dbug.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/integrate-xtern+dbug.patch -------------------------------------------------------------------------------- /mc-tools/mk-dbug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/mk-dbug -------------------------------------------------------------------------------- /mc-tools/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/readme.txt -------------------------------------------------------------------------------- /mc-tools/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/Makefile -------------------------------------------------------------------------------- /mc-tools/tests/ex2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/ex2.c -------------------------------------------------------------------------------- /mc-tools/tests/ex3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/ex3.c -------------------------------------------------------------------------------- /mc-tools/tests/ex4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/ex4.c -------------------------------------------------------------------------------- /mc-tools/tests/local.options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/local.options -------------------------------------------------------------------------------- /mc-tools/tests/openmp-like.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/openmp-like.cpp -------------------------------------------------------------------------------- /mc-tools/tests/run-dbug-ex2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/run-dbug-ex2.xml -------------------------------------------------------------------------------- /mc-tools/tests/run-dbug-openmp-like.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/run-dbug-openmp-like.xml -------------------------------------------------------------------------------- /mc-tools/tests/run-dbug-test-dbug-on-off.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/run-dbug-test-dbug-on-off.xml -------------------------------------------------------------------------------- /mc-tools/tests/run-smt+mc-ex2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/run-smt+mc-ex2.xml -------------------------------------------------------------------------------- /mc-tools/tests/test-dbug-on-off.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/mc-tools/tests/test-dbug-on-off.c -------------------------------------------------------------------------------- /readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/columbia/smt-mc/HEAD/readme.txt --------------------------------------------------------------------------------