[seplogic/jstar] 508856: towards syncing with corestar/alt-abd

2 views
Skip to first unread message

GitHub

unread,
May 31, 2014, 9:44:57 AM5/31/14
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 508856939c46a4c977ee63d4df0636f5d844fd0e
https://github.com/seplogic/jstar/commit/508856939c46a4c977ee63d4df0636f5d844fd0e
Author: Radu Grigore <radug...@gmail.com>
Date: 2014-05-31 (Sat, 31 May 2014)

Changed paths:
M src/jimplefront/jstar.ml
M src/jimplefront/methdec.ml
M src/jimplefront/translatejimple.ml
M src/parsing/jparser.mly
M src/topl/toplPreprocessor.ml
M src/topl/toplSpecs.ml

Log Message:
-----------
towards syncing with corestar/alt-abd


Reply all
Reply to author
Forward
0 new messages