Age | Commit message (Collapse) | Author |
|
|
|
|
|
works).
|
|
copyright-updating commits.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
subtype of (Pair Real Real). Resolves bug #541.
|
|
|
|
the report.
|
|
|
|
|
|
|
|
|
|
Martin Brain for the patch!
|
|
* Rename {model,util_model}.{h,cpp} files to match class names
* Fix alreadyVisited() issue in TheoryEngine
* Remove spurious Message that causes compliance issues
* Update copyrights, fix public/private markings in headers
* minor comment fixes
* remove EXTRACT_OP as a special-case in typechecker
* note about rewriters in theoryskel readme
* Clean up some compiler warnings
* Code typos and spacing
|
|
|
|
|
|
|
|
driver except in interactive mode.
|
|
to improve performance of quantifiers rewriter
|
|
language is set
|
|
|
|
|
|
|
|
|
|
bug.
|
|
|