Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones. (details)
add glossary.tex to Makefile dependencies (details)
reduce duration of lock-free stack test on ARM because CASV is very slow on ARM (details)
Commit
8913de40029583229718472d971b802c9a8735d7
by ajbeach
Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones.