Age | Commit message (Collapse) | Author |
|
|
|
--cbqi-sat whether to disable sat for quantified arith.
|
|
|
|
|
|
|
|
towards parsing non-flattened sygus grammars.
|
|
|
|
|
|
|
|
tff script. Minor additions to sygus.
|
|
|
|
competition scripts (in progress).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
present.
|
|
|
|
|
|
Details of testing here:
http://church.cims.nyu.edu/wiki/User:Kshitij/theorycheckoptimization
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
StarExec infrastructure for testing.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|