Project

General

Profile

Support #3042

collection issue for code base cleanup

Added by Anonymous about 3 years ago. Updated over 2 years ago.

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

100%

Estimated time:
(Total: 0.00 h)

Description

Issue to deal with obsolete code in AF3.

Idea is to delete the code and keep a record in a wiki page.


Subtasks

Support #3040: Unreferred classes in AF3 source codeClosed

Support #3043: remove Yices Closed

Support #3046: remove Z3 tooling codeClosed

Support #3166: remove support for cbmcClosed

History

#1 Updated by Anonymous about 3 years ago

  • Assignee changed from Anonymous to Florian Hölzl

#2 Updated by Florian Hölzl almost 3 years ago

  • Status changed from New to In Progress
  • Assignee changed from Florian Hölzl to Anonymous

#3 Updated by Anonymous over 2 years ago

  • Status changed from In Progress to Closed

Also available in: Atom PDF