Project

General

Profile

Support #3046

Support #3042: collection issue for code base cleanup

remove Z3 tooling code

Added by Anonymous about 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
08/22/2017
Due date:
% Done:

0%

Estimated time:

Description

This is not required as Z3 API is used now.

History

#1 Updated by Anonymous about 3 years ago

  • Tracker changed from Bug to Support

#2 Updated by Anonymous almost 3 years ago

  • Assignee changed from Anonymous to Simon Barner

#3 Updated by Anonymous almost 3 years ago

  • Status changed from New to Resolved

#4 Updated by Simon Barner almost 3 years ago

  • Status changed from Resolved to Feedback
  • Assignee changed from Simon Barner to Anonymous

Please, do a full update of your workspace, and perform a full text search for "smtlib" on all files. There are still 28 hits (e.g., in the plugin.xml, etc.).

#5 Updated by Anonymous almost 3 years ago

  • Status changed from Feedback to Resolved
  • Assignee changed from Anonymous to Simon Barner

removed from plugin.xml

#6 Updated by Simon Barner almost 3 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Simon Barner)

All traces of smtlib have been removed.

Also available in: Atom PDF