Project

General

Profile

Actions
Copy link

Feature #975

open

Investigate C back-end convergence

Added by Evgeny Novikov over 13 years ago. Updated almost 9 years ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
C back-end
Start date:
03/24/2011
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Either Alexey or Pavel once said an interesting idea to test C back-end by means of its convergence (i.e. apply the tool to a file, then - to an obtained file and so on). At least a lot of C back-end problems become obvious even after a first iteration.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 13 years ago

  • Assignee deleted (Evgeny Novikov)
Actions
Copy link
 #2

Updated by Evgeny Novikov over 13 years ago

Important to determine problems in the C backend.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 13 years ago

  • Priority changed from High to Normal

Some time in the future.

Actions
Copy link
 #4

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions
Copy link
 #5

Updated by Evgeny Novikov almost 9 years ago

  • Subject changed from Investigate ldv gcc pretty printer convergence to Investigate C back-end convergence
  • Description updated (diff)
  • Category set to C back-end
  • Priority changed from Normal to Low
Actions
Copy link

Also available in: Atom PDF