diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-16 01:16:01 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-16 01:16:01 +0000 |
| commit | 588726ea7a098d869c998fb30d00f6393239432d (patch) | |
| tree | 3825efed406a5bfe3537d2775841ae981ce93e49 /lib/SMT/smtlib.y | |
| parent | 94fc7d881cf68644eb89d0ee87d049b4f37e0af8 (diff) | |
| download | klee-588726ea7a098d869c998fb30d00f6393239432d.tar.gz | |
Added bitvector function/predicate names to the lexer.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73455 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/SMT/smtlib.y')
| -rw-r--r-- | lib/SMT/smtlib.y | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/lib/SMT/smtlib.y b/lib/SMT/smtlib.y index f464f7bc..6b7a1978 100644 --- a/lib/SMT/smtlib.y +++ b/lib/SMT/smtlib.y @@ -153,6 +153,50 @@ int smtliberror(const char *s) %token SEMICOLON_TOK %token EOF_TOK %token PAT_TOK + +%token FALSE_TOK +%token TRUE_TOK + +%token BVCONCAT_TOK +%token BVEXTRACT_TOK + +%token BVNOT_TOK +%token BVAND_TOK +%token BVOR_TOK +%token BVNEG_TOK +%token BVNAND_TOK +%token BVNOR_TOK +%token BVXOR_TOK +%token BVXNOR_TOK + +%token BVCOMP_TOK +%token BVULT_TOK +%token BVULE_TOK +%token BVUGT_TOK +%token BVUGE_TOK +%token BVSLT_TOK +%token BVSLE_TOK +%token BVSGT_TOK +%token BVSGE_TOK + +%token BVADD_TOK +%token BVSUB_TOK +%token BVMUL_TOK +%token BVUDIV_TOK +%token BVUREM_TOK +%token BVSDIV_TOK +%token BVSREM_TOK +%token BVSMOD_TOK +%token BVSHL_TOK +%token BVLSHR_TOK +%token BVASHR_TOK + +%token REPEAT_TOK +%token ZEXT_TOK +%token SEXT_TOK +%token ROL_TOK +%token ROR_TOK + %% cmd: |