langs.sty
changeset 680 eecc4d5a2172
parent 647 180600c04da2
child 690 8d57433c7b5e
equal deleted inserted replaced
679:8fc109f36b78 680:eecc4d5a2172
    66 
    66 
    67 \lstdefinelanguage{JVMIS2}{
    67 \lstdefinelanguage{JVMIS2}{
    68   morekeywords={ldc,iload,istore,ifeq,if_icmpge},
    68   morekeywords={ldc,iload,istore,ifeq,if_icmpge},
    69 }[keywords]
    69 }[keywords]
    70 
    70 
       
    71 \lstdefinelanguage{LLVMIR}{
       
    72   otherkeywords={let,in,add,mul},
       
    73 }[strings]
    71 
    74 
    72 \newcommand{\code}[1]{{\lstinline{#1}}}
    75 \newcommand{\code}[1]{{\lstinline{#1}}}
    73 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
    76 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
    74 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
    77 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
    75 \makeatother
    78 \makeatother