AK Artem Kotsynyak
- Login: kotsynyak
- Registered on: 06/19/2013
- Last sign in: 10/05/2026
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 30 | 73 | 103 |
| 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 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
07/03/2026
- AK 02:23 AM MicroTESK Revision 3fb29e8c (microtesk): decoder: fix invalid offset on parsing a primitive from a bitstream
- AK 02:19 AM MicroTESK Revision 6f434e5c (microtesk): decoder: an utility refactoring pass
- Move DecoderItem::field() to Decoder.
Make field() to take offset and size.
Add Decoder::decode(image, offset) utility.
05/20/2026
- AK 01:22 PM MicroTESK Revision 23a80432 (microtesk): nml,gen,decoder: allow multiple root instructions in a decoder
02/13/2025
- AK 03:26 PM MicroTESK Revision f4dda7c3 (microtesk): symexec: store call link address in dedicated range info
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
12/27/2023
- AK 10:52 PM MicroTESK Revision 9c0ae0fc (microtesk): nml,mir: update translation of shift-family operations
- - always treat shift amount as an unsigned integer
- shift by amount modulo target size when appropriate
- coerce shift amount type when necessary
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
12/21/2023
- AK 12:19 AM MicroTESK Revision 81960028 (microtesk): symexec,json: add the size of imported insns to the JSON output
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
12/20/2023
- AK 06:06 PM MicroTESK Revision 2ff49332 (microtesk): symexec,json: add the size of imported insns to the JSON output
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- AK 05:58 PM MicroTESK Revision 80ffeb32 (microtesk): symexec,smt: restore the functional SMT form for non-split BBs
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- AK 05:29 PM MicroTESK Revision bc223fd8 (microtesk): symexec,smt: always reference output variables in the SMT
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- AK 05:13 PM MicroTESK Revision 49096f90 (microtesk): symexec: avoid adding past-the-end insn ranges to BB parts
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>