Matteo Marescotti
- Email: matteo.marescotti@usi.ch
- Registered on: 09/02/2015
- Last connection: 11/10/2019
Issues
Projects
- OpenSMT 2 (Developer, 31/08/2015)
- hifrog (Developer, 13/05/2016)
- hi-bench (Developer, 11/07/2016)
- smts (Manager, Developer, 07/09/2016)
- verify solidity contracts (Developer, 21/08/2019)
Activity
08/07/2019
06/07/2019
- 16:32 smts Revision 24fde6fe: fixed bug about missed chdir in file not found
- 15:29 smts Revision 9f5eb0bc: max_memory support
23/06/2019
- 11:50 smts Revision 130edabd: fixed import bug
31/05/2019
- 14:34 OpenSMT 2 Revision d4120c01: bibliography and more content
28/05/2019
- 17:03 OpenSMT 2 Revision 6d04b1d1: abstract draft
30/04/2019
- 17:54 smts Revision 60a9fd15: sally configuration defaults
- 15:22 smts Revision 2840eeee: exception handling
- 15:00 smts Revision abbeb8ae: initialization exceptions catch
23/04/2019
- 10:32 smts Revision 97c69545: error message is returned
Also available in: Atom