diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-01 18:07:34 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-01 20:07:34 -0500 |
| commit | 551f82a1398c97a5cd1f75b2c411b6fe464cc6ec (patch) | |
| tree | b85b3a590ed17c094dfc84f57cf2bc29789217f1 /AUTHORS | |
| parent | 7b815181bfd58100478970f52b80461638fd42a8 (diff) | |
Remove outdated references to TLS (#2245)
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -37,14 +37,8 @@ CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson. 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 boost.m4 autoconf module by Benoit Sigoure. +CVC4 contains various autoconf modules in the config directory. Please refer to +the individual files for more information on the authors. CVC4 maintainer versions contain the script autogen.sh by Christopher Sean Morrison, and copyright U.S. Army Research Laboratory. |