Leonardo De Sa Alt
- Email: leonardo.de.sa.alt@usi.ch
- Registered on: 02/05/2013
- Last connection: 02/02/2021
Issues
Projects
- OpenSMT 2 (Developer, 31/08/2015)
- hifrog (Developer, 13/05/2016)
- hi-bench (Developer, 11/07/2016)
- verify solidity contracts (Developer, 21/08/2019)
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