Andrei Tatarnikov

  • Email:
  • Registered on: 11/14/2011
  • Last connection: 05/24/2017

Projects

Activity

Reported issues: 103

05/24/2017

02:41 pm MicroTESK Revision 3b096e24 (microtesk): TemplateProcessor2 - one more fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
02:04 pm MicroTESK Revision b6d4e614 (microtesk): Fix in TemplateProcessor2
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
01:59 pm MicroTESK Revision 82b021ac (microtesk): Fix in TemplateProcessor2
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
10:49 am MicroTESK Revision cc1f3aaa (microtesk): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
10:39 am MicroTESK Revision 7ce3a8c3 (microtesk): JavaDoc test
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

05/23/2017

07:20 pm MicroTESK Revision 3f82d5ed (microtesk): AbstractCall.attributes
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:40 pm MicroTESK Revision 0f99197b (microtesk): Situation updated
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
10:47 am Fortress Task #6364 (Rejected): SolverResult: implement equals\hashcode methods
10:46 am Fortress Task #7772 (Closed): TypeConversion.coerce: transform from MAP to BIT_VECTOR
10:46 am Fortress Feature #8203 (Closed): bv2nat\int2bv operations

Also available in: Atom