General

Profile

Andrei Tatarnikov

Issues

Projects

Activity

02/22/2018

03:25 PM MicroTESK Revision b004ce6a (microtesk): Fix in TemplateProcessor.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
02:37 PM MicroTESK Revision 80bb19a0 (microtesk): TestProgram removed unused code related to postponed block.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
01:20 PM MicroTESK Revision eb0bebac (microtesk): MiniMipsTest updated.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

02/21/2018

06:59 PM MicroTESK Revision 9e58cbe4 (microtesk): memory_subsystem.rb updated.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
06:57 PM MicroTESK Revision 076724fe (microtesk): Test for automatically generated templates.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
06:47 PM MicroTESK Revision 6f09ab0a (microtesk): build.gradle - automatically generated templates for miniMIPS are included into distribution.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
06:33 PM MicroTESK Revision 8632743d (microtesk): Merge remote-tracking branch 'origin/master'
06:33 PM MicroTESK Revision f318f706 (microtesk): RubyTemplatePrinter - handling errors on creating files.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
04:19 PM Fortress Revision 1925a150 (solver-api): New BitVectorMath methods: nandr, norr, and xnorr.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

02/20/2018

05:37 PM Fortress Revision 8eaf3bab (solver-api): Fix in BitVector valueOf(byte[], bitSize) + small unit test.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

Also available in: Atom