Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(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.
|