General

Profile

Andrei Tatarnikov

Issues

Projects

Activity

12/12/2017

06:00 PM MicroTESK Revision 6f655d78 (microtesk): Fix in SequenceProcessor: exanding prologue and epilogue.
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
03:40 PM MicroTESK Revision 6f52f87b (microtesk): Updated: situation processinf stages: PRE, MAIN, POST
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
02:31 PM MicroTESK Revision 105a3f49 (microtesk): Small fix in SequenceConcretizer
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
02:06 PM TestBase Revision 08fb3995 (testbase): build.gradle updated (mavenLocal)
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:30 PM Fortress Revision be6704f4 (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:13 PM Fortress Revision f833ecc8 (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
12:05 PM Fortress Revision cade4fcd (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
11:54 AM Fortress Revision 0838fbd8 (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
11:51 AM Fortress Revision 872d4462 (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>
11:44 AM Fortress Revision f5d08a2a (solver-api): JavaDoc fix
Signed-off-by: Andrei Tatarnikov <andrewt@ispras.ru>

Also available in: Atom