Karine Even Mendoza - USI & SUPSI Source Code Management (SCM)

Karine Even Mendoza

Email: karine.even_mendoza@kcl.ac.uk
Registered on: 17/03/2016
Last connection: 14/10/2021

Issues

Assigned issues: 5
Reported issues: 14

Projects

OpenSMT 2 (Developer, Reporter, 10/05/2016)
hifrog (Developer, Reporter, 13/05/2016)
hi-bench (Developer, 11/07/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

15:57 hifrog Revision 1c049810: unify L2 location for lattice args

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

12:22 hi-bench Revision 539d7325: last changes for validation tests for journal version

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