~jomco/proof-specs

Always report problems as data.

Timeouts were reported as maps, other errors were java exceptions.
This change converts exceptions to maps, ensuring that both problem
types can be merged. Also reduces the amount of noise in the reports.
Add tagline to README
Improve documentation, make internals private.
Version 0.1.7-SNAPSHOT
Add :limit-ms option to report on slow generators
Version 0.1.6-SNAPSHOT
Rework argument parsing using clojure.tools.cli

Shorten --include-regexps to --include, --exclude-regexps to
--exclude, --require-namespaces to --require; allowing all to be
specified multiple times.

Also allows single-char shorthands.

Adds --verbose option.
Add more regression tests
Documentation improvements
Add links to cljdoc, clojars
Version 0.1.5-SNAPSHOT
Catch more kinds of generator Errors, not just Exceptions.
Fix and clarify non-goals and debugging strategy.
Fixes namespace in documentation.
Next