Mikhail Chupilko

VeriTool (Developer, 06/30/2010)
MicroTESK (Developer, 02/17/2011)
Aspectrace (Developer, 04/13/2011)
C++TESK Testing ToolKit (Manager, Developer, 04/15/2011)
С++TESK Development Environment (Manager, Developer, 09/07/2011)
Fortress (Developer, 09/27/2012)
MicroTESK Training Course (Developer, 10/03/2013)
TestBase (Developer, 02/25/2014)
Retrascope (Developer, 04/30/2014)
Retrascope IDE (Developer, 05/16/2014)
Java SoftFloat (Reporter, 10/03/2014)
QEMU for ARMv8 (Manager, Developer, 06/19/2015)
MicroTESK for RISC-V (Developer, 10/24/2016)
MicroTESK for MIPS64 (Developer, 11/08/2016)
QEMU for RISC-V (Developer, 11/02/2017)
Retrascope MC Benchmark (Developer, 03/28/2018)
QEMU4V (Developer, 05/15/2018)

10:50 AM MicroTESK for RISC-V User Story #9379: Cannot install and run: Hi Lee
Exactly being in the directory arch/riscv/model was ment..
Could you please provide some feedback on your ...

06:03 PM MicroTESK for RISC-V User Story #9379 (Feedback): Cannot install and run: Please try compiling riscv.nml (the core nml-file, where all the rest nmls are included):
sh $(MICROTESK_HOME)/bin...

06:27 PM C++TESK Testing ToolKit cpptesk-toolkit-src-1.0.25-beta-181005.tar.gz
06:26 PM C++TESK Testing ToolKit Revision 307: cpptesk-toolkit_1_0_25_beta_181005
06:26 PM С++TESK Development Environment Revision 307: cpptesk-toolkit_1_0_25_beta_181005
06:26 PM C++TESK Testing ToolKit Revision 306: cpptesk-toolkit_1_0_25_beta_181005
06:26 PM С++TESK Development Environment Revision 306: cpptesk-toolkit_1_0_25_beta_181005
06:25 PM С++TESK Development Environment Revision 305: change log
06:25 PM C++TESK Testing ToolKit Revision 305: change log
06:23 PM C++TESK Testing ToolKit Revision 304: minor fix

Also available in: Atom

Open-Source Projects