projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ad7662) | patch
Fix path in CASC J7 scripts, and distribute them with tarball.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 1 Jul 2014 19:10:37 +0000 (15:10 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 1 Jul 2014 19:10:37 +0000 (15:10 -0400)
commitfde6986e4355f8244b04892a96f2cc224f02769f
tree2c0f07cf12f97ff3b0a828987315526e187ffd5ftree
parent8ad7662ef9676f895c1a1ca2ff07a264bee28d24commit | diff
Fix path in CASC J7 scripts, and distribute them with tarball.
contrib/Makefile.am diff | blob | history
contrib/run-script-cascj7-fnt diff | blob | history
contrib/run-script-cascj7-fof diff | blob | history
contrib/run-script-cascj7-tff diff | blob | history