Actions
Task #5868
closedMigrate to Fortress 0.4
Start date:
04/21/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
20150701
Description
Try to use new version of Fortress with CVC4 solver.
Updated by Sergey Smolov over 9 years ago
- Status changed from Open to Resolved
- % Done changed from 0 to 100
Done in r1982.
Updated by Sergey Smolov over 9 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov over 9 years ago
- Status changed from Verified to Closed
- Published in build set to 20150701
Actions