Andrei Tatarnikov

  • Email:
  • Registered on: 11/14/2011
  • Last connection: 08/18/2017

Projects

Activity

Reported issues: 103

08/18/2017

11:02 am MicroTESK for MIPS64 Revision 0cf5e56a: multiple_engines.rb up
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
09:48 am MicroTESK microtesk-2.4.32-beta-170818.tar.gz

08/17/2017

11:26 pm Fortress Fortress v0.4.27 released
The new release contains the following changes:
* Bug fixes and improvements in ...
11:24 pm Fortress fortress-0.4.27-beta-170817.tar.gz
05:51 pm Fortress Revision 657d44fd (solver-api): Update in BitVectorMapping
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
05:46 pm Fortress Revision 0df8f49a (solver-api): Fix in BitVectorMapping
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
05:36 pm Fortress Revision 17b96591 (solver-api): BitVectorFieldTestCase updated
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:52 pm Fortress Revision f9fc4cca (solver-api): Small refactoring
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:41 pm Fortress Revision 18f7e4a0 (solver-api): BitVectorMapping: refactoring
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:16 pm Fortress Revision eadb6827 (solver-api): BitVectorMapping: handling of byte-aligned mappings by BitVectorM...
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

Also available in: Atom