Sergey Smolov
Sergey Smolov- Email: smolov@ispras.ru
- Registered on: 03/30/2011
- Last connection: 09/08/2020
Issues
- Assigned issues: 53
- Reported issues: 680
Projects
- MicroTESK Documentation (Developer, 12/16/2019)
- MicroTESK for PowerPC (Developer, 11/08/2018)
- VeriTool (Developer, 04/04/2011)
- C++TESK Testing ToolKit (Developer, 07/19/2011)
- ะก++TESK Development Environment (Manager, Developer, 09/07/2011)
- Verilog Translator (Manager, Developer, 04/12/2012)
- Retrascope (Manager, Developer, Project Creator, 04/12/2012)
- MicroTESK (Developer, 08/27/2012)
- Fortress (Manager, Developer, 09/19/2012)
- Retrascope RISC-V Benchmark (Manager, Developer, Project Creator, 12/19/2018)
- MicroTESK Training Course (Developer, 10/03/2013)
- TestBase (Developer, 02/25/2014)
- Retrascope IDE (Manager, Developer, Project Creator, 05/16/2014)
- Java SoftFloat (Reporter, 10/03/2014)
- Castle (Manager, Developer, 01/12/2016)
- Trace Matcher (Manager, Developer, 11/01/2016)
- MicroTESK for RISC-V (Manager, Developer, Project Creator, 11/02/2017)
- Retrascope Test Suite (Manager, Developer, Project Creator, 03/28/2018)
- QEMU4V (Manager, Project Creator, 05/14/2018)
- MicroTESK for MIPS (Developer, 05/17/2018)
- Aspectrace (Manager, Developer, 11/14/2019)
Activity
09/16/2020
-
11:06 AM Verilog Translator Revision 92e52edc (veritrans): gradle: use Fortress 0.4.34, don't use daemon
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
-
- The new release contains the following changes:
* "Boolector":https://boolector.github.io solver is supported
* CVC... -
-
-
-
-
-
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
-
-
- ssssss-off-by: Sergey Smolov <smolov@ispras.ru>
Also available in: Atom