Project

General

Profile

Actions
Copy link

Feature #8621

closed

Develop environment model specification for category tty_ldisc_ops

Added by Evgeny Novikov almost 7 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
2.0
Start date:
12/07/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Category tty_ldisc_ops is quite popular among TTY modules, so developing this specification should improve their coverage considerably.

Actions
Copy link
 #1

Updated by Evgeny Novikov almost 7 years ago

Initial version of specification was added in 170d3c8 to branch emg-improvements.

Unfortunately EMG sometimes generates incorrect code declaring variables with names as integers. This is the case, say, for modules drivers/tty/n_hdlc.ko, drivers/tty/n_tracerouter.ko and drivers/tty/n_tracesink.ko of Linux 3.14.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 7 years ago

  • Status changed from New to Resolved

The mentioned issue was fixed.

Actions
Copy link
 #3

Updated by Ilja Zakharov over 6 years ago

Implemented in 8066-abstract-translator.

Actions
Copy link
 #4

Updated by Evgeny Novikov about 6 years ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Actions
Copy link

Also available in: Atom PDF