Artem Kotsynyak
- Login: kotsynyak
- Registered on: 06/19/2013
- Last connection: 05/22/2023
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 29 | 73 | 102 |
Reported issues | 3 | 7 | 10 |
Projects
Project | Roles | Registered on |
---|---|---|
Castle | Developer | 04/06/2020 |
Formal Methods | Developer | 10/11/2021 |
Fortress | Developer | 06/19/2013 |
Java SoftFloat | Reporter | 10/03/2014 |
MicroTESK | Developer | 06/19/2013 |
MicroTESK Documentation | Developer | 12/16/2019 |
MicroTESK for ARM Demo | Developer | 03/17/2023 |
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
05/02/2023
- 07:20 PM MicroTESK Revision fde32d8e (microtesk): nml,smt: avoid empty bindings when translating to SMT
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 06:12 PM MicroTESK Revision b5e474d7 (microtesk): symexec: prevent analysis of empty basic blocks
- Avoids NPE during symbolic execution
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
04/20/2023
- 03:35 PM MicroTESK Revision 7e9e65ed (microtesk): symexec: fix incorrect naming of branch conditions in functional SMT
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
04/14/2023
- 01:33 PM MicroTESK Revision 8ab7e330 (microtesk): symexec: always reference input vars in SMT for BBs
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 01:17 PM MicroTESK Revision 1461b9ac (microtesk): symexec: always reference input vars in SMT for BBs
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 01:08 PM MicroTESK Revision aef00999 (microtesk): symexec: rename methods to better match the purpose
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
04/12/2023
- 04:10 PM MicroTESK Revision a676cc70 (microtesk): symexec: temporary disable potentially unused features
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 03:38 PM MicroTESK Revision bbfd5836 (microtesk): mir,pass: add a pass to make conditions canonicalised
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 03:36 PM MicroTESK Revision 158a9d67 (microtesk): mir,pass: propagate condition values during SCCP pass
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 03:34 PM MicroTESK Revision 8579bc7c (microtesk): mir,pass: impl reducing constant propagation based on def-use chains
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Also available in: Atom