diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 17:29:49 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | 11a370348f92dfcf723b6a9318769ba3b27167e4 (patch) | |
| tree | a3f997148567d7e381d0aef1234d2ee41a7231bd /AUTHORS | |
| parent | d6eb4cccbac83fef58e98847178c04bf1b8b0ff2 (diff) | |
Documentation clean-ups.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -18,17 +18,17 @@ authors of previous CVC tools is included with their distributions. CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson. -The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, -Temporal Wave LLC. +The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal +Wave LLC. CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki. CVC4 contains the pkg.m4 autoconf module by Scott James Remnant. -CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and -Diego Elio Petteno. +CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio +Petteno. CVC4 contains the boost.m4 autoconf module by Benoit Sigoure. -CVC4 maintainer versions contain the script autogen.sh, by the -U.S. Army Research Laboratory. +CVC4 maintainer versions contain the script autogen.sh by Christopher Sean +Morrison, and copyright U.S. Army Research Laboratory. |