Simone D`Avico
- Login: davicos@usi.ch
- Email: simone.davico@usi.ch
- Registered on: 22/06/2015
- Last connection: 22/06/2015
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| OpenSMT 2 | Developer | 31/08/2015 |
Activity
10/09/2015
- 19:12 OpenSMT 2 Revision 522: Disabled creation of file in dot format for symmetry graph
- 19:04 OpenSMT 2 Revision 521: Removed printing of permutation generators
- 18:53 OpenSMT 2 Revision 520: Small correction in coloring of symbol nodes of terms with arity 0
- 14:20 OpenSMT 2 Revision 518: Removed print statements without semicolon
- 14:19 OpenSMT 2 Revision 517: Building symmetry::Detector graph with new_root instead of root
- 14:17 OpenSMT 2 Revision 516: Corrected bug with uninterpreted Bool atoms
31/08/2015
- 16:04 OpenSMT 2 Revision 513: Added smt2 file to enable symmetry removal
- 15:30 OpenSMT 2 Revision 512: Implemented optional symmetries removal
19/08/2015
- 16:58 OpenSMT 2 Revision 506: Refactoring to ensure C++98 compliance of the symmetry detection module. A compilation error to be fixed.
12/08/2015
Also available in: Atom