General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 06/29/2022

Issues

open closed Total
Assigned issues 29 70 99
Reported issues 3 7 10

Projects

Project Roles Registered on
Castle Developer 04/06/2020
Fortress Developer 06/19/2013
Java SoftFloat Reporter 10/03/2014
MicroTESK Developer 06/19/2013
MicroTESK Documentation Developer 12/16/2019
MicroTESK for MIPS Developer 11/08/2016
MicroTESK for PowerPC Developer 10/21/2016
MicroTESK for RISC-V Developer 07/17/2018
MicroTESK Training Course Developer 10/03/2013
Model Checking Developer 02/27/2020
QEMU4V Developer 05/15/2018
TestBase Manager, Developer 02/25/2014

Activity

06/24/2022

11:09 AM MicroTESK Revision 68097d39 (microtesk): build: unify nML model translation tasks
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
11:06 AM MicroTESK Revision f4894537 (microtesk): build: add antlrlib files to the ANTLR dependencies
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

06/22/2022

01:05 PM MicroTESK Bug #11671 (Resolved): NmlToSmtTranslator.java: javadoc warnings
Artem Kotsynyak

06/21/2022

04:49 PM MicroTESK Revision 5050e24d (microtesk): mir,doc: describe parameters of NmlToSmtTranslator.run()
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

06/07/2022

03:52 PM MicroTESK Revision e913355c (microtesk): codegen: remove code duplication in StbOperation
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:40 PM MicroTESK Revision 9c3f15b0 (microtesk): codegen: always import the mode package in generated sources
Remove incomplete search for operation dependencies.
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak

05/29/2022

12:42 PM Model Checking Revision ee551202: tools,buchi: properly init unassigned states
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
12:36 PM Model Checking Revision 91fd880d: tools,buchi: respect const-qualifier for the returned value
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
12:36 PM Model Checking Revision e47cffa6: tools,buchi: revert to direct search space exploration
Make direct exploration complete
Fixes infinite loops due to watched lists dependencies
Signed-off-by: Artem Kotsyny...
Artem Kotsynyak

05/27/2022

08:13 PM Model Checking Revision f8d3dc82: tools,buchi: unroll the loop with up to 2 iterations
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom