src/aig/saig · 215d62f41f5afee3be1c46819ad05f9997356f46 · lvzhengyang / abc · GitLab

History Find file

Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC… · fffd733f
```
Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC frames and conflicts.
```
Alan Mishchenko committed Jan 19, 2012
fffd733f

Name	Last commit	Last update
..
module.make		Loading commit data...
saig.h		Loading commit data...
saigAbs.c		Loading commit data...
saigAbsCba.c		Loading commit data...
saigAbsPba.c		Loading commit data...
saigAbsStart.c		Loading commit data...
saigAbsVfa.c		Loading commit data...
saigBmc.c		Loading commit data...
saigBmc2.c		Loading commit data...
saigBmc3.c		Loading commit data...
saigCexMin.c		Loading commit data...
saigCone.c		Loading commit data...
saigConstr.c		Loading commit data...
saigConstr2.c		Loading commit data...
saigDup.c		Loading commit data...
saigGlaCba.c		Loading commit data...
saigGlaPba.c		Loading commit data...
saigGlaPba2.c		Loading commit data...
saigHaig.c		Loading commit data...
saigInd.c		Loading commit data...
saigIoa.c		Loading commit data...
saigMiter.c		Loading commit data...
saigOutDec.c		Loading commit data...
saigPhase.c		Loading commit data...
saigRefSat.c		Loading commit data...
saigRetFwd.c		Loading commit data...
saigRetMin.c		Loading commit data...
saigRetStep.c		Loading commit data...
saigScl.c		Loading commit data...
saigSimExt.c		Loading commit data...
saigSimExt2.c		Loading commit data...
saigSimFast.c		Loading commit data...
saigSimMv.c		Loading commit data...
saigSimSeq.c		Loading commit data...
saigStrSim.c		Loading commit data...
saigSwitch.c		Loading commit data...
saigSynch.c		Loading commit data...
saigTempor.c		Loading commit data...
saigTrans.c		Loading commit data...
saigWnd.c		Loading commit data...
saig_.c		Loading commit data...