" $Id: sf.vim,v 1.1 2007-05-10 19:06:43 babic Exp $
" Vim syntax file for Spear theorem prover format
" Language:	Spear Format
" Maintainer:	Domagoj Babic <babic.domagoj@gmail.com>
" Last Change:	$Date: 2007-05-10 19:06:43 $

" For version 5.x: Clear all syntax items
" For version 6.x: Quit when a syntax file was already loaded
if version < 600
  syntax clear
elseif exists("b:current_syntax")
  finish
endif

" Comments:
" =========
syn match sfComment             "#.*$"

" Operators:
" ==========
syn match sfOperator            "&\||\|\^\|=>\|=\|/=\|\~" 
syn match sfOperator            "+\|\-\|\*\|/u\|/s\|%u\|%s\|<<\|>>a\|>>s"
syn keyword sfOperator          ule uge ult ugt
syn keyword sfOperator          sle sge slt sgt
syn keyword sfOperator          ite trun sext zext conc extr

" Constants:
" ==========
syn match sfNumber		"\<\d\+"
syn match sfNumber		"-?\<\d\+\.\d\+"

" Types:
" ======
syn match sfType                ":i\d\+"
syn keyword sfType              :f32 :f64 :f80

" Lines:
" ======
syn match sfVersion             "^v.*$"
syn match sfLine                "^c "
syn match sfLine                "^p "
syn match sfLine                "^e "
syn match sfLine                "^d "

" Default Highlighting:
" =====================
hi def link sfComment           Comment
hi def link sfOperator          Operator
hi def link sfNumber            Number
hi def link sfType              Type
hi def link sfVersion           Function
hi def link sfLine              Function

" Set Current Syntax:
" ===================
let b:current_syntax = "sf"