[seplogic/jstar] f2a5f5: Fixed a bug with constants in guards.

2 views
Skip to first unread message

GitHub

unread,
Nov 29, 2013, 2:07:27 PM11/29/13
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: f2a5f50aa3a2d034b949d52236e95dade470c9a5
https://github.com/seplogic/jstar/commit/f2a5f50aa3a2d034b949d52236e95dade470c9a5
Author: Nikos <nik...@eecs.qmul.ac.uk>
Date: 2013-11-29 (Fri, 29 Nov 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:
-----------
Fixed a bug with constants in guards.


Reply all
Reply to author
Forward
0 new messages