Andrei Tatarnikov

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

Projects

Activity

Reported issues: 105

11/23/2017

05:41 pm MicroTESK for RISC-V MicroTESK for RISC-V 0.0.1 released
MicroTESK for RISC-V 0.0.1 has been released:
* Specifications: Instruction set of RISC-V: RV32I, RV64I, RV32M, RV...
05:34 pm MicroTESK for RISC-V Revision ddd1ce5d: Minor version incremented
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
05:33 pm MicroTESK for RISC-V microtesk-riscv-0.0.1-alpha-171123.tar.gz
05:20 pm MicroTESK for RISC-V Revision c739d26f: ChangeLog updated
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

11/22/2017

01:07 pm MicroTESK Revision bfc97315 (microtesk): SequenceConcretizer: fix for disabled presimulation
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
11:47 am MicroTESK Revision 048696a5 (microtesk): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

11/20/2017

04:44 pm Fortress Revision 7520d14d (solver-api): build.gradle up
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:33 pm Fortress Revision 7b62d871 (solver-api): Killed Eclipse project
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

11/03/2017

09:58 am MicroTESK Revision fa64bea0 (microtesk): Small fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

11/02/2017

06:18 pm MicroTESK Revision b4dd10c4 (microtesk): Small update
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

Also available in: Atom