Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
strategy.
|
|
|
|
|
|
|
|
|
|
|
|
--tear-down-incremental. Not yet tested.
|
|
|
|
|
|
Add abc to build id and fix static building.
Add abc to --show-config output and Configuration class API.
Add ability to select abc source path.
Fix arch_flags for abc.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(was missing for simple triggers). Minor updates to scripts.
|
|
|
|
|
|
|
|
assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real.
|
|
minor changes.
|
|
|
|
|
|
|
|
Conflicts:
src/theory/arith/normal_form.cpp
|
|
|
|
|
|
|
|
|
|
copyright-updating commits.
|
|
* 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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|