lushl9301

 lu@dabian  ~/data  l
total 4.5M
drwxr-xr-x  2 lu lu 4.0K Jun  8 10:32 .
drwxr-xr-x 55 lu lu 4.0K Jun  8 10:33 ..
-rw-r--r--  1 lu lu 5.0K Jun  3 15:51 project.db
-rw-r--r--  1 lu lu 1.3M Jun  3 15:51 result.db
-rw-r--r--  1 lu lu 1.3M Jun  8 10:05 result.db.b
-rw-r--r--  1 lu lu 1.8K Jun  3 16:06 scheduler.1d
-rw-r--r--  1 lu lu 2.9K Jun  3 16:06 scheduler.1h
-rw-r--r--  1 lu lu  208 Jun  3 16:06 scheduler.all

lushl9301

perl -wnlae 'print $F[0];' record_file

lushl9301

perl -i.b -wple 's/a/1/g;' 1

lushl9301

FROM ubuntu:14.04
MAINTAINER Traun Leyden <[email protected]>

# A docker container with the Nvidia kernel module and CUDA drivers installed

ENV CUDA_RUN http://developer.download.nvidia.com/compute/cuda/7_0/Prod/local_installers/cuda_7.0.28_linux.run

RUN apt-get update && apt-get install -q -y \
  wget \
  build-essential 

lushl9301

theory Simple
imports Main
begin

primrec itrev :: "'a list ⇒ 'a list ⇒ 'a list"
where
"itrev [] ys = ys" |
"itrev (x#xs) ys = itrev xs (x#ys)"

(*

lushl9301

./core/drivers/leon_uart.c:85:static struct uartInfo
./core/kernel/arch/leon_timers.c:142:static struct pitClockData
./core/kernel/irqs.c:82:extern struct exPTable
./core/klibc/stdio.c:283:typedef struct Sndata
./core/include/xmef.h:29:struct xefCustomFile
./core/include/xmef.h:39:struct xmHdr
./core/include/xmef.h:51:struct xmImageHdr
./core/include/xmef.h:67:struct xmefFile
./core/include/xmef.h:75:struct xmefPartition
./core/include/xmef.h:87:struct xmefContainerHdr

lushl9301

FROM ubuntu:14.04
MAINTAINER Lu Shengliang <[email protected]>

# A docker container with the Nvidia kernel module and CUDA drivers installed

RUN apt-get update && apt-get install -y openssh-server
RUN mkdir /var/run/sshd
RUN adduser --disabled-password --gecos '' lu
RUN echo 'lu:rose321' | sudo chpasswd
RUN sudo adduser lu sudo

lushl9301

sudo apt-get install build-essential libncurses5-dev libxml2-dev makeself xorriso libxml2-utils

lushl9301

XM Hypervisor (3.7 r3)
Detected 3108.385MHz processor.
>> HWClocks [HPET clock (100000Khz)]
[CPU0] >> HwTimer [LApic timer (31597Khz)]
1 Partition(s) created
P0 ("Partition1":0:1) flags: [ SYSTEM ]:
    [0x6000000:0x6000000 - 0x60fffff:0x60fffff] flags: 0x0
RsvMem not used 4096:4096:0x306000
RsvMem not used 4096:4096:0x307000
newK: [0:0] 0xfc032004 curK: idle

lushl9301

#!/usr/bin/env xdg-open

    [Desktop Entry]
    Version=1.0
    Type=Application
    Terminal=false
    Exec=/usr/local/bin/genymotion
    Name=GenyMotion
    Icon=/usr/local/genymotion/icons/icon.png
    Categories=Development