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

0 views

Skip to first unread message

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