/patch-cli_cmd__list.cc/1.2/Tue Jun 11 12:58:42 2013//
/patch-modules_stimuli.cc/1.1/Sat Aug 31 14:48:07 2013//
/patch-modules_stimuli.h/1.1/Sat Aug 31 14:48:07 2013//
/patch-modules_switch.cc/1.1/Fri Jun 14 20:29:38 2013//
/patch-src_bitlog_h/1.2/Tue Jun 11 12:58:42 2013//
/patch-src_processor.cc/1.2/Tue Jun 11 12:58:42 2013//
/patch-src_processor.h/1.2/Tue Jun 11 12:58:42 2013//
/patch-src_program__files.cc/1.2/Tue Jun 11 12:58:42 2013//
D