diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
commit | ce0e796ad92f040fb75435bd7880bc28a60b0374 (patch) | |
tree | 00a390f0347a30978b482cbbb6e074c6dc5a99d2 /config/cvc4.m4 | |
parent | 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf (diff) |
* Attribute infrastructure -- static design. Documentation is coming.
See test/unit/expr/node_white.h for use examples, including how to
define new attribute kinds.
Also:
* fixes to test infrastructure
* minor changes to code formatting throughout
* attribute tests in test/unit/expr/node_white.h
* fixes to NodeManagerScope ordering
* use NodeValue::getKind() to properly deal with UNDEFINED_KIND
(removing compiler warning)
* ExprManager: add proper NodeManagerScope to public-facing member
functions
* store variable names and types in attributes
* SoftNode is a placeholder, not a real implementation
Diffstat (limited to 'config/cvc4.m4')
-rw-r--r-- | config/cvc4.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 661631b4d..42dfaead5 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -2,6 +2,7 @@ # ------------ # Do early initialization/diversion of autoconf things for CVC4 build process. AC_DEFUN([CVC4_AC_INIT], +dnl _AS_ME_PREPARE [CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE ])# CVC4_AC_INIT |