projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99d5e60) | patch
Update casc24-fnt run script. Add casc24-fof run script.
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 May 2013 21:42:23 +0000 (16:42 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 May 2013 21:42:36 +0000 (16:42 -0500)
commitb48a369333f077fa7cce117976f760cd6332691a
treeacd6e9e9068deca14b8380b50bf7bbc5464fa105tree
parent99d5e608b1e1a7541406e86d16b8e3bf6e7e8f0acommit | diff
Update casc24-fnt run script.  Add casc24-fof run script.
contrib/run-script-casc24-fnt diff | blob | history
contrib/run-script-casc24-fof [new file with mode: 0755] blob