[seplogic/jstar] 006a13: use strings rather than ints
1 view
Skip to first unread message
GitHub
Nov 5, 2013, 10:00:06 AM11/5/13
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 006a13715699ba84760339635b9af689289a9d42
https://github.com/seplogic/jstar/commit/006a13715699ba84760339635b9af689289a9d42
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-05 (Tue, 05 Nov 2013)
Changed paths:
M src/topl/toplSpecs.ml
Log Message:
-----------
use strings rather than ints
the latter aren't yet in corestar's smt interface
also, silenced some warnings
Home: https://github.com/seplogic/jstar
Commit: 006a13715699ba84760339635b9af689289a9d42
https://github.com/seplogic/jstar/commit/006a13715699ba84760339635b9af689289a9d42
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-05 (Tue, 05 Nov 2013)
Changed paths:
M src/topl/toplSpecs.ml
Log Message:
-----------
use strings rather than ints
the latter aren't yet in corestar's smt interface
also, silenced some warnings
Reply all
Reply to author
Forward
0 new messages