[berkeley-abc] branch master updated (73a84f6 -> 8766d0b)
Ruben Undheim
rubund-guest at moszumanska.debian.org
Sun Feb 28 15:39:36 UTC 2016
This is an automated email from the git hooks/post-receive script.
rubund-guest pushed a change to branch master
in repository berkeley-abc.
from 73a84f6 Import changes uploaded using dgit
adds 835f771 Imported upstream version 1.01+20160215hgae7d65e+dfsg
new c9f353b Merge branch 'upstream'
new c225e6d Refreshed patches
new 97b7b88 New changelog entry
new 9f46773 Get rid of some lintians. Update copyright year
new 8766d0b Prepare changelog entry for upload
The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
CMakeLists.txt | 103 +
Makefile | 122 +-
abc.rc | 2 +-
abcexe.dsp | 4 +-
abclib.dsp | 750 +-
debian/changelog | 11 +
debian/control | 6 +-
debian/copyright | 2 +-
debian/patches/cflags_ldflags.patch | 38 +-
debian/patches/remove_bzlib_convenience.patch | 20 +-
debian/patches/remove_zlib_convenience.patch | 24 +-
debian/patches/writepla.patch | 6 +-
scripts/abc.rc | 147 -
scripts/abc_common.py | 2007 --
scripts/main.py | 431 -
scripts/multi_prove.sh | 14 -
scripts/new_abc_commands.py | 257 -
scripts/niklas.py | 191 -
scripts/par.py | 8151 -------
scripts/simple.sh | 14 -
scripts/simple_bip.sh | 14 -
scripts/simple_liveness.sh | 14 -
scripts/simple_sat.sh | 14 -
scripts/super_prove.sh | 14 -
src/aig/aig/aigSplit.c | 22 +-
src/aig/gia/gia.h | 29 +-
src/aig/gia/giaAig.c | 2 +-
src/aig/gia/giaAiger.c | 24 +
src/aig/gia/giaBalAig.c | 129 +-
src/aig/gia/giaClp.c | 20 +-
src/aig/gia/giaDup.c | 337 +-
src/aig/gia/giaFadds.c | 4 +-
src/aig/gia/giaFanout.c | 14 +-
src/aig/gia/giaHash.c | 12 +-
src/aig/gia/giaIf.c | 34 +-
src/aig/gia/giaLf.c | 30 +-
src/aig/gia/giaMan.c | 10 +
src/aig/gia/giaMf.c | 6 +-
src/aig/gia/giaMfs.c | 113 +-
src/aig/gia/giaMuxes.c | 313 +
src/aig/gia/giaNf.c | 1688 +-
src/aig/gia/giaOf.c | 1864 ++
src/aig/gia/giaPack.c | 207 +
src/aig/gia/giaQbf.c | 92 +-
src/aig/gia/giaRex.c | 545 +
src/aig/gia/giaSatLut.c | 570 +
src/aig/gia/giaSatMap.c | 548 +
src/aig/gia/giaStr.c | 2 +-
src/aig/gia/giaSweep.c | 17 +-
src/aig/gia/giaTim.c | 36 +-
src/aig/gia/giaTruth.c | 167 +
src/aig/gia/giaUtil.c | 135 +-
src/aig/gia/module.make | 5 +
src/aig/ivy/ivyFraig.c | 4 +
src/aig/miniaig/abcapis.h | 4 +
src/aig/miniaig/miniaig.h | 456 +-
src/aig/saig/saigDup.c | 5 +
src/aig/saig/saigUnfold2.c | 2 +-
src/base/abc/abc.h | 17 +-
src/base/abc/abcBlifMv.c | 9 +-
src/base/abc/abcCheck.c | 11 +-
src/base/abc/abcDfs.c | 156 +-
src/base/abc/abcFanOrder.c | 187 +-
src/base/abc/abcFanio.c | 28 +
src/base/abc/abcFunc.c | 271 +-
src/base/abc/abcHie.c | 4 +-
src/base/abc/abcLatch.c | 11 +-
src/base/abc/abcMinBase.c | 22 +-
src/base/abc/abcNames.c | 44 +-
src/base/abc/abcNetlist.c | 12 +-
src/base/abc/abcNtk.c | 58 +-
src/base/abc/abcObj.c | 37 +-
src/base/abc/abcShow.c | 66 +-
src/base/abc/abcSop.c | 2 +-
src/base/abc/abcUtil.c | 28 +-
src/base/abci/abc.c | 23079 ++++++++++---------
src/base/abci/abcAuto.c | 17 +-
src/base/abci/abcBm.c | 6 +-
src/base/abci/abcCas.c | 17 +-
src/base/abci/abcCascade.c | 17 +-
src/base/abci/abcCollapse.c | 939 +-
src/base/abci/abcDar.c | 8 +-
src/base/abci/abcDsd.c | 21 +-
src/base/abci/abcFpga.c | 5 +-
src/base/abci/abcFxu.c | 2 +-
src/base/abci/abcGen.c | 55 +-
src/base/abci/abcIf.c | 4 +
src/base/abci/abcIvy.c | 7 +-
src/base/abci/abcLutmin.c | 17 +-
src/base/abci/abcMap.c | 113 +-
src/base/abci/abcMini.c | 14 +-
src/base/abci/abcMulti.c | 17 +-
src/base/abci/abcMv.c | 10 +-
src/base/abci/abcNtbdd.c | 22 +-
src/base/abci/abcPrint.c | 448 +-
src/base/abci/abcProve.c | 11 +-
src/base/abci/abcReach.c | 10 +-
src/base/abci/abcReconv.c | 13 +-
src/base/abci/abcRefactor.c | 399 +-
src/base/abci/abcRenode.c | 19 +-
src/base/abci/abcReorder.c | 15 +-
src/base/abci/abcRestruct.c | 17 +-
src/base/abci/abcSat.c | 14 +-
src/base/abci/abcSweep.c | 78 +-
src/base/abci/abcSymm.c | 14 +-
src/base/abci/abcTim.c | 2 +-
src/base/abci/abcUnate.c | 14 +-
src/base/abci/abcUnreach.c | 17 +-
src/base/{cba/cba.c => bac/bac.c} | 6 +-
src/base/bac/bac.h | 1017 +
src/base/{cba/cbaCba.c => bac/bacBac.c} | 120 +-
src/base/{cba/cbaBlast.c => bac/bacBlast.c} | 300 +-
src/base/{cba/cbaCom.c => bac/bacCom.c} | 225 +-
src/base/{cba/cbaLib.c => bac/bacLib.c} | 6 +-
src/base/bac/bacNtk.c | 603 +
src/base/{cba/cbaOper.c => bac/bacOper.c} | 214 +-
src/base/{cba/cbaPrs.h => bac/bacPrs.h} | 152 +-
src/base/{cba/cbaPrsBuild.c => bac/bacPrsBuild.c} | 211 +-
src/base/bac/bacPrsTrans.c | 211 +
src/base/{cba/cbaPtr.c => bac/bacPtr.c} | 138 +-
src/base/{cba/cbaPtrAbc.c => bac/bacPtrAbc.c} | 198 +-
src/base/{cba/cbaReadBlif.c => bac/bacReadBlif.c} | 288 +-
src/base/{cba/cbaReadSmt.c => bac/bacReadSmt.c} | 6 +-
src/base/{cba/cbaReadVer.c => bac/bacReadVer.c} | 530 +-
.../{cba/cbaWriteBlif.c => bac/bacWriteBlif.c} | 138 +-
src/base/{cba/cbaWriteSmt.c => bac/bacWriteSmt.c} | 6 +-
src/base/{cba/cbaWriteVer.c => bac/bacWriteVer.c} | 410 +-
src/base/bac/module.make | 15 +
src/base/cba/cba.c | 6 +-
src/base/cba/cba.h | 1635 +-
src/base/cba/cbaBlast.c | 1376 +-
src/base/cba/cbaCba.c | 278 +-
src/base/cba/cbaCom.c | 392 +-
src/base/cba/cbaNtk.c | 1400 +-
src/base/cba/cbaPrs.h | 395 +-
src/base/cba/cbaPrsTrans.c | 211 -
src/base/cba/cbaReadBlif.c | 281 +-
src/base/cba/cbaReadVer.c | 1661 +-
src/base/cba/cbaWriteBlif.c | 180 +-
src/base/cba/cbaWriteVer.c | 1343 +-
src/base/cba/module.make | 7 -
src/base/cmd/cmdPlugin.c | 130 +-
src/base/io/ioReadEqn.c | 4 +-
src/base/io/ioReadPla.c | 12 +-
src/base/io/ioWritePla.c | 12 +-
src/base/io/ioWriteVerilog.c | 37 +-
src/base/main/main.c | 18 +-
src/base/main/main.h | 67 +-
src/base/main/mainFrame.c | 166 +-
src/base/main/mainInit.c | 4 +
src/base/main/mainInt.h | 66 +-
src/base/main/mainReal.c | 101 +-
src/base/main/mainUtils.c | 21 +-
src/base/pla/plaCom.c | 14 +-
src/base/pla/plaFxch.c | 4 +-
src/base/pla/plaHash.c | 2 +-
src/base/pla/plaMan.c | 41 +
src/base/pla/plaRead.c | 8 +-
src/base/pla/plaSimple.c | 6 +-
src/base/wlc/module.make | 1 +
src/base/wlc/wlc.c | 106 +-
src/base/wlc/wlc.h | 18 +-
src/base/wlc/wlcAbc.c | 154 +
src/base/wlc/wlcBlast.c | 596 +-
src/base/wlc/wlcCom.c | 235 +-
src/base/wlc/wlcNtk.c | 111 +-
src/base/wlc/wlcReadSmt.c | 1753 +-
src/base/wlc/wlcReadVer.c | 107 +-
src/base/wlc/wlcSim.c | 4 +-
src/base/wlc/wlcWriteVer.c | 135 +-
src/{proof => bdd}/bbr/bbr.h | 0
src/{proof => bdd}/bbr/bbrCex.c | 0
src/{proof => bdd}/bbr/bbrImage.c | 0
src/{proof => bdd}/bbr/bbrNtbdd.c | 0
src/{proof => bdd}/bbr/bbrReach.c | 0
src/{proof => bdd}/bbr/bbr_.c | 0
src/bdd/bbr/module.make | 4 +
src/bdd/cas/casCore.c | 2 +-
src/bdd/cas/casDec.c | 2 +-
src/bdd/cudd/cuddAddFind.c | 8 -
src/bdd/cudd/cuddApa.c | 8 -
src/bdd/cudd/cuddBddCorr.c | 8 -
src/bdd/cudd/cuddBridge.c | 8 -
src/bdd/cudd/cuddGenCof.c | 8 -
src/bdd/cudd/cuddGenetic.c | 8 -
src/bdd/cudd/cuddGroup.c | 14 -
src/bdd/cudd/cuddSat.c | 8 -
src/bdd/cudd/cuddSubsetSP.c | 8 -
src/bdd/cudd/cuddUtil.c | 8 -
src/bdd/cudd/cuddZddCount.c | 8 -
src/bdd/cudd/cuddZddSetop.c | 8 -
src/bdd/dsd/dsdInt.h | 2 +-
src/{misc/extra => bdd/extrab}/extraBdd.h | 0
src/{misc/extra => bdd/extrab}/extraBddAuto.c | 0
src/{misc/extra => bdd/extrab}/extraBddCas.c | 0
src/{misc/extra => bdd/extrab}/extraBddImage.c | 0
src/{misc/extra => bdd/extrab}/extraBddKmap.c | 0
src/{misc/extra => bdd/extrab}/extraBddMisc.c | 0
src/{misc/extra => bdd/extrab}/extraBddSymm.c | 0
src/bdd/extrab/extraBddThresh.c | 693 +
src/{misc/extra => bdd/extrab}/extraBddTime.c | 0
src/{misc/extra => bdd/extrab}/extraBddUnate.c | 0
src/bdd/extrab/module.make | 9 +
src/{proof => bdd}/llb/llb.c | 0
src/{proof => bdd}/llb/llb.h | 0
src/{proof => bdd}/llb/llb1Cluster.c | 0
src/{proof => bdd}/llb/llb1Constr.c | 0
src/{proof => bdd}/llb/llb1Core.c | 0
src/{proof => bdd}/llb/llb1Group.c | 0
src/{proof => bdd}/llb/llb1Hint.c | 0
src/{proof => bdd}/llb/llb1Man.c | 0
src/{proof => bdd}/llb/llb1Matrix.c | 0
src/{proof => bdd}/llb/llb1Pivot.c | 0
src/{proof => bdd}/llb/llb1Reach.c | 0
src/{proof => bdd}/llb/llb1Sched.c | 0
src/{proof => bdd}/llb/llb2Bad.c | 0
src/{proof => bdd}/llb/llb2Core.c | 0
src/{proof => bdd}/llb/llb2Driver.c | 0
src/{proof => bdd}/llb/llb2Dump.c | 0
src/{proof => bdd}/llb/llb2Flow.c | 0
src/{proof => bdd}/llb/llb2Image.c | 0
src/{proof => bdd}/llb/llb3Image.c | 0
src/{proof => bdd}/llb/llb3Nonlin.c | 0
src/{proof => bdd}/llb/llb4Cex.c | 0
src/{proof => bdd}/llb/llb4Cluster.c | 0
src/{proof => bdd}/llb/llb4Image.c | 0
src/{proof => bdd}/llb/llb4Map.c | 0
src/{proof => bdd}/llb/llb4Nonlin.c | 0
src/{proof => bdd}/llb/llb4Sweep.c | 0
src/{proof => bdd}/llb/llbInt.h | 5 +-
src/bdd/llb/module.make | 22 +
src/bdd/parse/module.make | 3 -
src/bdd/reo/reo.h | 2 +-
src/bool/bdc/bdcSpfd.c | 1 +
src/bool/dec/decFactor.c | 12 +-
src/bool/dec/decUtil.c | 13 +-
src/bool/kit/kit.h | 9 +-
src/bool/kit/kitBdd.c | 13 +-
src/bool/kit/kitDsd.c | 1 +
src/map/amap/amapInt.h | 2 +-
src/map/amap/amapParse.c | 6 +-
src/map/amap/amapRead.c | 3 +-
src/map/if/if.h | 327 +-
src/map/if/ifCore.c | 1 +
src/map/if/ifCount.h | 6 +-
src/map/if/ifCut.c | 2 +-
src/map/if/ifDsd.c | 19 +-
src/map/if/ifMap.c | 10 +-
src/map/if/ifTune.c | 5 +-
src/map/mapper/mapper.h | 1 +
src/map/mapper/mapperCreate.c | 1 +
src/map/mapper/mapperInt.h | 8 +-
src/map/mapper/mapperMatch.c | 46 +-
src/map/mapper/mapperRefs.c | 49 +-
src/map/mapper/mapperTime.c | 43 +-
src/map/mio/exp.h | 59 +
src/map/mio/mio.c | 243 +-
src/map/mio/mio.h | 45 +-
src/map/mio/mioApi.c | 44 +-
src/map/mio/mioFunc.c | 8 +-
src/map/mio/mioInt.h | 3 +
src/map/mio/mioRead.c | 36 +-
src/map/mio/mioUtils.c | 411 +-
src/map/mpm/mpmGates.c | 2 +-
src/map/mpm/mpmMan.c | 2 +-
src/map/scl/scl.c | 128 +-
src/map/scl/sclCon.h | 293 +
src/map/scl/sclLib.h | 348 +-
src/map/scl/sclLibScl.c | 195 +-
src/map/scl/sclLibUtil.c | 270 +-
src/map/scl/sclLiberty.c | 2 +
src/map/scl/sclLoad.c | 6 +-
src/map/scl/sclSize.c | 2 +-
src/map/scl/sclUtil.c | 15 +-
src/misc/extra/extraUtilEnum.c | 2 +-
src/misc/extra/extraUtilMisc.c | 7 +-
src/misc/extra/extraUtilPrime.c | 1 +
src/misc/extra/extraUtilThresh.c | 333 -
src/misc/extra/module.make | 11 +-
src/misc/mvc/mvc.h | 2 +-
src/misc/parse/module.make | 2 +
src/{bdd => misc}/parse/parse.h | 0
src/{bdd => misc}/parse/parseCore.c | 0
src/{bdd => misc}/parse/parseEqn.c | 5 +-
src/{bdd => misc}/parse/parseInt.h | 6 +-
src/{bdd => misc}/parse/parseStack.c | 0
src/misc/tim/tim.h | 3 +-
src/misc/tim/timBox.c | 3 +-
src/misc/tim/timDump.c | 6 +-
src/misc/tim/timMan.c | 20 +-
src/misc/util/abc_global.h | 134 +-
src/misc/util/abc_namespaces.h | 58 +
src/misc/util/utilIsop.c | 4 +-
src/misc/util/utilNam.c | 114 +-
src/misc/util/utilNam.h | 2 +
src/misc/util/utilSignal.c | 4 -
src/misc/util/utilTruth.h | 163 +-
src/misc/vec/vecHash.h | 18 +-
src/misc/vec/vecInt.h | 86 +-
src/misc/vec/vecPtr.h | 27 +
src/misc/vec/vecStr.h | 61 +
src/misc/vec/vecVec.h | 8 +
src/misc/vec/vecWec.h | 2 +-
src/opt/fret/fretFlow.c | 700 +
src/opt/fret/fretInit.c | 1343 ++
src/opt/fret/fretMain.c | 1383 ++
src/opt/fret/fretTime.c | 766 +
src/opt/fret/fretime.h | 212 +
src/opt/fret/module.make | 5 +
src/opt/ret/retArea.c | 5 +-
src/opt/ret/retIncrem.c | 1 +
src/opt/sfm/module.make | 4 +
src/opt/sfm/sfm.h | 16 +
src/opt/sfm/sfmDec.c | 2163 ++
src/opt/sfm/sfmInt.h | 51 +
src/opt/sfm/sfmLib.c | 766 +
src/opt/sfm/sfmMit.c | 73 +
src/opt/sfm/sfmTim.c | 458 +
src/phys/place/place_qpsolver.h | 9 -
src/proof/abs/absOldRef.c | 2 +-
src/proof/abs/absRpm.c | 81 +
src/proof/bbr/module.make | 4 -
src/proof/cec/cec.h | 3 +-
src/proof/cec/cecCec.c | 21 +
src/proof/cec/cecSplit.c | 2 +-
src/proof/dch/dchChoice.c | 9 +-
src/proof/fra/fraCec.c | 2 +-
src/proof/fra/fraSec.c | 2 +-
src/proof/llb/module.make | 22 -
src/proof/pdr/pdr.h | 1 +
src/proof/pdr/pdrCore.c | 51 +-
src/proof/pdr/pdrInt.h | 21 +-
src/proof/pdr/pdrInv.c | 409 +-
src/proof/pdr/pdrMan.c | 3 +-
src/proof/pdr/pdrSat.c | 13 +-
src/proof/pdr/pdrUtil.c | 40 +
src/proof/ssc/sscClass.c | 78 +-
src/python/abc.sh | 78 -
src/python/abcpy_test.py | 54 -
src/python/build.txt | 32 -
src/python/getch.py | 37 -
src/python/module.make | 92 -
src/python/package.py | 176 -
src/python/pyabc.i | 1265 -
src/python/pyabc_split.py | 412 -
src/python/reachx_cmd.py | 108 -
src/python/redirect.py | 111 -
src/python/setup.py | 67 -
src/sat/bmc/bmc.h | 1 +
src/sat/bmc/bmcBmcAnd.c | 17 +-
src/sat/bmc/bmcCexTools.c | 2 +-
src/sat/bmc/bmcClp.c | 1514 ++
src/sat/bmc/bmcFault.c | 93 +-
src/sat/bmc/module.make | 1 +
src/sat/bsat/satSolver.c | 115 +-
src/sat/bsat/satSolver.h | 65 +-
src/sat/bsat/satUtil.c | 19 +-
src/sat/cnf/cnfUtil.c | 35 +-
358 files changed, 47443 insertions(+), 34286 deletions(-)
create mode 100644 CMakeLists.txt
delete mode 100644 scripts/abc.rc
delete mode 100644 scripts/abc_common.py
delete mode 100644 scripts/main.py
delete mode 100644 scripts/multi_prove.sh
delete mode 100644 scripts/new_abc_commands.py
delete mode 100644 scripts/niklas.py
delete mode 100644 scripts/par.py
delete mode 100644 scripts/simple.sh
delete mode 100644 scripts/simple_bip.sh
delete mode 100644 scripts/simple_liveness.sh
delete mode 100644 scripts/simple_sat.sh
delete mode 100644 scripts/super_prove.sh
create mode 100644 src/aig/gia/giaOf.c
create mode 100644 src/aig/gia/giaPack.c
create mode 100644 src/aig/gia/giaRex.c
create mode 100644 src/aig/gia/giaSatLut.c
create mode 100644 src/aig/gia/giaSatMap.c
copy src/base/{cba/cba.c => bac/bac.c} (93%)
create mode 100644 src/base/bac/bac.h
copy src/base/{cba/cbaCba.c => bac/bacBac.c} (66%)
copy src/base/{cba/cbaBlast.c => bac/bacBlast.c} (62%)
copy src/base/{cba/cbaCom.c => bac/bacCom.c} (70%)
rename src/base/{cba/cbaLib.c => bac/bacLib.c} (92%)
create mode 100644 src/base/bac/bacNtk.c
rename src/base/{cba/cbaOper.c => bac/bacOper.c} (52%)
copy src/base/{cba/cbaPrs.h => bac/bacPrs.h} (62%)
rename src/base/{cba/cbaPrsBuild.c => bac/bacPrsBuild.c} (56%)
create mode 100644 src/base/bac/bacPrsTrans.c
rename src/base/{cba/cbaPtr.c => bac/bacPtr.c} (76%)
rename src/base/{cba/cbaPtrAbc.c => bac/bacPtrAbc.c} (68%)
copy src/base/{cba/cbaReadBlif.c => bac/bacReadBlif.c} (54%)
rename src/base/{cba/cbaReadSmt.c => bac/bacReadSmt.c} (90%)
copy src/base/{cba/cbaReadVer.c => bac/bacReadVer.c} (56%)
copy src/base/{cba/cbaWriteBlif.c => bac/bacWriteBlif.c} (54%)
rename src/base/{cba/cbaWriteSmt.c => bac/bacWriteSmt.c} (91%)
copy src/base/{cba/cbaWriteVer.c => bac/bacWriteVer.c} (55%)
create mode 100644 src/base/bac/module.make
delete mode 100644 src/base/cba/cbaPrsTrans.c
create mode 100644 src/base/wlc/wlcAbc.c
rename src/{proof => bdd}/bbr/bbr.h (100%)
rename src/{proof => bdd}/bbr/bbrCex.c (100%)
rename src/{proof => bdd}/bbr/bbrImage.c (100%)
rename src/{proof => bdd}/bbr/bbrNtbdd.c (100%)
rename src/{proof => bdd}/bbr/bbrReach.c (100%)
rename src/{proof => bdd}/bbr/bbr_.c (100%)
create mode 100644 src/bdd/bbr/module.make
rename src/{misc/extra => bdd/extrab}/extraBdd.h (100%)
rename src/{misc/extra => bdd/extrab}/extraBddAuto.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddCas.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddImage.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddKmap.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddMisc.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddSymm.c (100%)
create mode 100644 src/bdd/extrab/extraBddThresh.c
rename src/{misc/extra => bdd/extrab}/extraBddTime.c (100%)
rename src/{misc/extra => bdd/extrab}/extraBddUnate.c (100%)
create mode 100644 src/bdd/extrab/module.make
rename src/{proof => bdd}/llb/llb.c (100%)
rename src/{proof => bdd}/llb/llb.h (100%)
rename src/{proof => bdd}/llb/llb1Cluster.c (100%)
rename src/{proof => bdd}/llb/llb1Constr.c (100%)
rename src/{proof => bdd}/llb/llb1Core.c (100%)
rename src/{proof => bdd}/llb/llb1Group.c (100%)
rename src/{proof => bdd}/llb/llb1Hint.c (100%)
rename src/{proof => bdd}/llb/llb1Man.c (100%)
rename src/{proof => bdd}/llb/llb1Matrix.c (100%)
rename src/{proof => bdd}/llb/llb1Pivot.c (100%)
rename src/{proof => bdd}/llb/llb1Reach.c (100%)
rename src/{proof => bdd}/llb/llb1Sched.c (100%)
rename src/{proof => bdd}/llb/llb2Bad.c (100%)
rename src/{proof => bdd}/llb/llb2Core.c (100%)
rename src/{proof => bdd}/llb/llb2Driver.c (100%)
rename src/{proof => bdd}/llb/llb2Dump.c (100%)
rename src/{proof => bdd}/llb/llb2Flow.c (100%)
rename src/{proof => bdd}/llb/llb2Image.c (100%)
rename src/{proof => bdd}/llb/llb3Image.c (100%)
rename src/{proof => bdd}/llb/llb3Nonlin.c (100%)
rename src/{proof => bdd}/llb/llb4Cex.c (100%)
rename src/{proof => bdd}/llb/llb4Cluster.c (100%)
rename src/{proof => bdd}/llb/llb4Image.c (100%)
rename src/{proof => bdd}/llb/llb4Map.c (100%)
rename src/{proof => bdd}/llb/llb4Nonlin.c (100%)
rename src/{proof => bdd}/llb/llb4Sweep.c (100%)
rename src/{proof => bdd}/llb/llbInt.h (99%)
create mode 100644 src/bdd/llb/module.make
delete mode 100644 src/bdd/parse/module.make
create mode 100644 src/map/scl/sclCon.h
delete mode 100644 src/misc/extra/extraUtilThresh.c
create mode 100644 src/misc/parse/module.make
rename src/{bdd => misc}/parse/parse.h (100%)
rename src/{bdd => misc}/parse/parseCore.c (100%)
rename src/{bdd => misc}/parse/parseEqn.c (99%)
rename src/{bdd => misc}/parse/parseInt.h (97%)
rename src/{bdd => misc}/parse/parseStack.c (100%)
create mode 100644 src/misc/util/abc_namespaces.h
create mode 100644 src/opt/fret/fretFlow.c
create mode 100644 src/opt/fret/fretInit.c
create mode 100644 src/opt/fret/fretMain.c
create mode 100644 src/opt/fret/fretTime.c
create mode 100644 src/opt/fret/fretime.h
create mode 100644 src/opt/fret/module.make
create mode 100644 src/opt/sfm/sfmDec.c
create mode 100644 src/opt/sfm/sfmLib.c
create mode 100644 src/opt/sfm/sfmMit.c
create mode 100644 src/opt/sfm/sfmTim.c
delete mode 100644 src/proof/bbr/module.make
delete mode 100644 src/proof/llb/module.make
delete mode 100644 src/python/abc.sh
delete mode 100644 src/python/abcpy_test.py
delete mode 100644 src/python/build.txt
delete mode 100644 src/python/getch.py
delete mode 100644 src/python/module.make
delete mode 100644 src/python/package.py
delete mode 100644 src/python/pyabc.i
delete mode 100644 src/python/pyabc_split.py
delete mode 100644 src/python/reachx_cmd.py
delete mode 100644 src/python/redirect.py
delete mode 100644 src/python/setup.py
create mode 100644 src/sat/bmc/bmcClp.c
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git
More information about the debian-science-commits
mailing list