Andrea Callia D'Iddio - USI & SUPSI Source Code Management (SCM)

Andrea Callia D'Iddio

Login: andrea_calliadiddio
Registered on: 02/05/2018
Last connection: 30/07/2018

Issues

	open	closed	Total
Assigned issues	0	0	0
Reported issues	0	0	0

Projects

Project	Roles	Registered on
smts	Developer, Reporter	02/05/2018

Activity

01/08/2018

06:56 smts Revision ccd8c48a: Support for naive step added: Andrea Callia D'Iddio
06:40 smts Revision fea39cea: Added checksat, added new parameters and statistics: Andrea Callia D'Iddio

31/07/2018

12:23 smts Revision baf64273: Fixed macos cmake configuration.: Andrea Callia D'Iddio

25/05/2018

23:42 smts Revision 3771e367: Cleaning the CMake code for dReal: Andrea Callia D'Iddio

22/05/2018

14:28 smts Revision 07ff7278: Changing some compilation settings: Andrea Callia D'Iddio
12:09 smts Revision bf446fa4: Added source code files for the naive approach, bugfixing: Andrea Callia D'Iddio

Also available in: Atom