Matteo Marescotti
- Login: maresm@usi.ch
- Email: matteo.marescotti@usi.ch
- Registered on: 09/02/2015
- Last connection: 11/10/2019
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| verify solidity contracts | Developer | 21/08/2019 |
| hi-bench | Developer | 11/07/2016 |
| hifrog | Developer | 13/05/2016 |
| OpenSMT 2 | Developer | 31/08/2015 |
| smts | Manager, Developer | 07/09/2016 |
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