Sergey Smolov

  • Email:
  • Registered on: 03/30/2011
  • Last connection: 10/17/2017

Projects

Activity

Reported issues: 506

Today

06:52 pm Fortress Task #5985 (Verified): Node ExprUtils.getEquation(Node target, Node value)
11:49 am Fortress Bug #7555 (Verified): unable to create constraint-related jUnit tests including unused variables

10/11/2017

05:24 pm QEMU for ARMv8 QEMU for ARMv8 0.1.10 released
The functionality is left unchanged.
The release is based on "QEMU 2.10.1":https://download.qemu.org/qemu-2.10.1.t...
05:21 pm QEMU for ARMv8 qemu-armv8-src-0.1.10-beta-171011.tar.gz
03:30 pm QEMU for ARMv8 Revision e1a9009b: fixup
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
02:23 pm QEMU for ARMv8 Revision 4e821b31: Merge QEMU 2.10.1
Signed-off-by: Sergey Smolov <smolov@ispras.ru>

10/06/2017

06:14 pm Retrascope Revision 476b07d1 (retrascope): refactoring
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
03:59 pm Retrascope Wiki edit: Installation_Guide (#14)
03:47 pm Retrascope Wiki edit: Installation_Guide (#13)
03:46 pm Retrascope Revision cf16e16c (retrascope): README: use Z3 4.3 and nuXmv
Signed-off-by: Sergey Smolov <smolov@ispras.ru>

Also available in: Atom