projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56827af) | patch
Changing the run script for master for the application track.
authorTim King <taking@cs.nyu.edu>
Sat, 13 Jun 2015 21:30:24 +0000 (23:30 +0200)
committerTim King <taking@cs.nyu.edu>
Sat, 13 Jun 2015 21:30:24 +0000 (23:30 +0200)
commitdc8df0a8c79098c34c96c3722ed5b5269e5f6c78
treec103241b0fa1ec42117af195f73484dc9dfdbd5btree
parent56827afd6b3ba99fd72b927f29e98d80dbd7c2aecommit | diff
Changing the run script for master for the application track.
contrib/run-script-smtcomp2015-application diff | blob | history