[seplogic/jstar] 23a506: sync with corestar

[GitHub]

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

Changed paths:
M src/parsing/jparser.mly
M src/topl/toplSpecs.ml

Log Message:
-----------
sync with corestar


Commit: 0c670c17fc0878ea8515bf3f8c0dafd033f3a36c
https://github.com/seplogic/jstar/commit/0c670c17fc0878ea8515bf3f8c0dafd033f3a36c
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-12-06 (Fri, 06 Dec 2013)

Changed paths:
M src/jimplefront/jstar.ml
M src/topl/toplPreprocessor.ml
M src/topl/toplPreprocessor.mli
M src/topl/toplSpecs.ml

Log Message:
-----------
Merge branch 'alt-abd' of github.com:seplogic/jstar into alt-abd


Compare: https://github.com/seplogic/jstar/compare/f2a5f50aa3a2...0c670c17fc08