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

Andrea Callia D'Iddio

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

Issues

Assigned issues: 0
Reported issues: 0

Projects

smts (Developer, Reporter, 02/05/2018)

Activity

01/08/2018

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

31/07/2018

12:23 smts Revision baf64273: Fixed macos cmake configuration.

25/05/2018

23:42 smts Revision 3771e367: Cleaning the CMake code for dReal

22/05/2018

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

Also available in: Atom