[seplogic/jstar] 7f8b5f: Replaced todo_rhs with plausible implementation

2 views

Skip to first unread message

unread,

Nov 8, 2013, 4:47:39 PM11/8/13

to jstar-de...@googlegroups.com

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 7f8b5f27b17a9517ae14528cdd4af3048ace6285
https://github.com/seplogic/jstar/commit/7f8b5f27b17a9517ae14528cdd4af3048ace6285
Author: Rasmus Lerchedahl Petersen <rus...@eecs.qmul.ac.uk>
Date: 2013-11-08 (Fri, 08 Nov 2013)

Changed paths:
M src/jimplefront/jlogic.ml
M src/jimplefront/jlogic.mli
M src/jimplefront/translatejimple.ml
M src/parsing/jparser.mly

Log Message:
-----------
Replaced todo_rhs with plausible implementation

Reply all

Reply to author

Forward

0 new messages