[seplogic/jstar] 224d49: generate pure predicates for things like <,>,<=,.....

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 224d49d738c7a74bec703e0f3f1e66eec936698e
https://github.com/seplogic/jstar/commit/224d49d738c7a74bec703e0f3f1e66eec936698e
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-12-23 (Mon, 23 Dec 2013)

Changed paths:
M _tags
M src/jimplefront/javaspecs.ml
M src/jimplefront/mkspecs.ml
M src/jimplefront/support_symex.ml
M src/jimplefront/support_symex.mli
M src/jimplefront/translatejimple.ml
M src/parsing/jlexer.mll
M src/parsing/jparser.mly
M src/parsing/support_syntax.ml
M src/parsing/support_syntax.mli

Log Message:
-----------
generate pure predicates for things like <,>,<=,...

rather than spatial ones. Also, some cleanup.