Leonardo De Sa Alt
- Login: desaal@usi.ch
- Email: leonardo.de.sa.alt@usi.ch
- Registered on: 02/05/2013
- Last connection: 02/02/2021
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 |
Activity
30/05/2016
- 19:01 OpenSMT 2 Revision 647: itp example working
- 11:30 OpenSMT 2 Revision 645: itp bug fixed
27/05/2016
- 13:43 OpenSMT 2 Revision 643: + pred itp
- 13:13 OpenSMT 2 Revision 642: itp for predicates on its way to work
26/05/2016
- 13:05 OpenSMT 2 Revision 641: one more file missing
- 13:04 OpenSMT 2 Revision 640: some files were missing
25/05/2016
- 18:10 OpenSMT 2 Revision 639: New options to specify boolean and euf interpolation. Also removed old useless files
- 14:23 OpenSMT 2 Revision 638: Interpolation works in a very restricted mode: only for itp algs 0 and 2, and no uninterpreted predicates
20/05/2016
- 09:40 OpenSMT 2 Revision 633: toolwrapper using opensmt instead of z3
- 08:48 OpenSMT 2 Revision 632: oops
Also available in: Atom