cex: add support for $TIME_LIMIT
tree934ae5d86e74c9d38f9fc3abca377f2e62d31700
-rw-r--r-- 1 .gitattributes
-rw-r--r-- 401 .gitignore
-rw-r--r-- 184 .gitmodules
-rw-r--r-- 6 .prev-version
-rw-r--r-- 51 .project
-rw-r--r-- 14983 .travis.yml
-rw-r--r-- 37 .x-sc_require_config_h
-rw-r--r-- 18 .x-sc_unmarked_diagnostics
-rw-r--r-- 95 .x-update-copyright
-rw-r--r-- 1471 AUTHORS
-rw-r--r-- 35147 COPYING
-rw-r--r-- 46844 ChangeLog-1998
-rw-r--r-- 1000986 ChangeLog-2012
-rw-r--r-- 5157 Makefile.am
-rw-r--r-- 159988 NEWS
-rw-r--r-- 1959 PACKAGING
-rw-r--r-- 5482 README
-rw-r--r-- 1137 README-alpha
-rw-r--r-- 24174 README-hacking.md
lrwxrwxrwx 6 README.md -> README
-rw-r--r-- 11805 THANKS
-rw-r--r-- 31679 TODO
-rwxr-xr-x 34092 bootstrap
-rw-r--r-- 3410 bootstrap.conf
drwxr-xr-x - build-aux
-rw-r--r-- 6939 cfg.mk
-rw-r--r-- 12729 configure.ac
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - examples
m--------- - gnulib
drwxr-xr-x - gnulib-po
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - po
drwxr-xr-x - runtime-po
drwxr-xr-x - src
drwxr-xr-x - submodules
drwxr-xr-x - tests