[seplogic/jstar] 3652f1: compiles again with latest corestar

3 views

Skip to first unread message

unread,

Nov 10, 2013, 12:44:39 PM11/10/13

to jstar-de...@googlegroups.com

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 3652f1474080f30473119c14745874c548206f19
https://github.com/seplogic/jstar/commit/3652f1474080f30473119c14745874c548206f19
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-10 (Sun, 10 Nov 2013)

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

Log Message:
-----------
compiles again with latest corestar

(in branch with same name)

Reply all

Reply to author

Forward

0 new messages