Project

General

Profile

Support #3043

Support #3042: collection issue for code base cleanup

remove Yices

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

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

0%

Estimated time:

Description

remove Yices and its dependencies from the code base.

History

#1 Updated by Anonymous about 3 years ago

  • Tracker changed from Bug to Support

#2 Updated by Anonymous almost 3 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous

removed yices

#3 Updated by Anonymous almost 3 years ago

  • Assignee changed from Anonymous to Simon Barner

#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 "yices" on all files. There are still 99 hits (e.g., in the plugin.xml, the documentation, etc.).

#5 Updated by Anonymous almost 3 years ago

deleted the references from plugin.xml

The remaining references could be categorised in:
1) references in documentation (html files) - issue 3163 should deal with it
2) reference in scheduling plugin ( in comments and method names, etc.) - scheduling would be deleted anyways
3) in pdf: this is tutorial not created by us. I can remove the tutorial

#6 Updated by Anonymous almost 3 years ago

  • Assignee changed from Anonymous to Simon Barner

#7 Updated by Anonymous almost 3 years ago

  • Status changed from Feedback to Resolved

#8 Updated by Simon Barner almost 3 years ago

#9 Updated by Simon Barner almost 3 years ago

#10 Updated by Simon Barner almost 3 years ago

  • Status changed from Resolved to Closed

Everything has been deleted, excerpt for the entries to an enumeration type in the scheduling plugin (that is will entirely be removed, see #2924).

#11 Updated by Simon Barner almost 3 years ago

  • Assignee deleted (Simon Barner)

Also available in: Atom PDF