Karine Even Mendoza
- Login: karinek
- Email: karine.even_mendoza@kcl.ac.uk
- Registered on: 17/03/2016
- Last connection: 14/10/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 5 | 10 | 15 |
| Reported issues | 7 | 7 | 14 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| hi-bench | Developer | 11/07/2016 |
| hifrog | Developer, Reporter | 13/05/2016 |
| OpenSMT 2 | Developer, Reporter | 10/05/2016 |
Activity
03/07/2019
- 10:47 hifrog Revision 53cb1bcb: merge with master
01/07/2019
- 11:40 hifrog Revision fae2d152: old changes
14/06/2019
- 12:27 hifrog Revision d446b3e9: uncomment the call for cex-nra
13/06/2019
- 12:45 hifrog Revision 4a6d75c6: version for expr. trigo.
12/06/2019
11/06/2019
- 23:10 hifrog Revision 45d5afba: simplify the cide, add suport to L2 args when call is filtered in symex
05/06/2019
- 14:21 hi-bench Revision e66a7266: fix summaries
17/05/2019
16/05/2019
- 18:48 hi-bench Revision dd161d71: remove tests output files
10/04/2019
- 13:14 hifrog Revision 946c12b8: fix bug with parsing type cast
Also available in: Atom