|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /usr/share/splint/lib/ |
Upload File : |
\comment Standard Larch C Interface Language (LCL) init file commentSym // opChar ~!#$&?@| openSym \< \langle closeSym \> \rangle selectSym . simpleId \bot \top synonym int Int synonym double float synonym \and /\ synonym \or \/ synonym \implies => synonym \marker __ synonym = == synonym \neq != synonym \not ! synonym \not not synonym \not ~ synonym \pre ^ synonym \post ' synonym \arrow -> synonym \arrow \ra synonym |- \postcat synonym -| \pretcat synonym |- \vdash synonym -| \dashv synonym \leq <= synonym \geq >= synonym \cap \I synonym \cup \U synonym \diamond \rel synonym \sqcap \lub synonym \sqcup \glb