Artem Kotsynyak
- Login: kotsynyak
- Registered on: 06/19/2013
- Last connection: 11/28/2024
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
12/27/2023
- 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 shi...
12/21/2023
- 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
- 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>
- 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>
- 05:29 PM MicroTESK Revision bc223fd8 (microtesk): symexec,smt: always reference output variables in the SMT
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 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>
12/01/2023
- 11:15 PM MicroTESK Revision 926a72b5 (microtesk): symexec: add an option to exclude instructions in the SMT
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
11/04/2023
- 01:15 AM MicroTESK Revision efd9d2e2 (microtesk): mir: use the correct bit-width in Constant.zeroExtend()
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
10/03/2023
- 01:30 PM MicroTESK Revision fdb6c6a3 (microtesk): mir,smt: simplify Map operations in Mir2Node
- Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
- 01:23 PM MicroTESK Revision 0bacfa83 (microtesk): mir,smt: translate ids of locals to SMT using total number of locals
- Previously, local ids were rebased using the maximum id number
encountered during translation. The implementation bas...
Also available in: Atom