src/bdd/cudd · daad9ede0137dc58487a0abc126253e671a85b14 · lvzhengyang / abc

treewide: Fix spelling mistakes · b7d1435d

A particularly pedantic set of changes currently used in Debian

Authored-By: Ruben Undheim <ruben.undheim@gmail.com>

committed Aug 27, 2023

b7d1435d

Name	Last commit	Last update
..
Makefile		Loading commit data...
cuBdd.make		Loading commit data...
cudd.h		Loading commit data...
cudd.make		Loading commit data...
cuddAPI.c		Loading commit data...
cuddAddAbs.c		Loading commit data...
cuddAddApply.c		Loading commit data...
cuddAddFind.c		Loading commit data...
cuddAddInv.c		Loading commit data...
cuddAddIte.c		Loading commit data...
cuddAddNeg.c		Loading commit data...
cuddAddWalsh.c		Loading commit data...
cuddAndAbs.c		Loading commit data...
cuddAnneal.c		Loading commit data...
cuddApa.c		Loading commit data...
cuddApprox.c		Loading commit data...
cuddBddAbs.c		Loading commit data...
cuddBddCorr.c		Loading commit data...
cuddBddIte.c		Loading commit data...
cuddBridge.c		Loading commit data...
cuddCache.c		Loading commit data...
cuddCheck.c		Loading commit data...
cuddClip.c		Loading commit data...
cuddCof.c		Loading commit data...
cuddCompose.c		Loading commit data...
cuddDecomp.c		Loading commit data...
cuddEssent.c		Loading commit data...
cuddExact.c		Loading commit data...
cuddExport.c		Loading commit data...
cuddGenCof.c		Loading commit data...
cuddGenetic.c		Loading commit data...
cuddGroup.c		Loading commit data...
cuddHarwell.c		Loading commit data...
cuddInit.c		Loading commit data...
cuddInt.h		Loading commit data...
cuddInteract.c		Loading commit data...
cuddLCache.c		Loading commit data...
cuddLevelQ.c		Loading commit data...
cuddLinear.c		Loading commit data...
cuddLiteral.c		Loading commit data...
cuddMatMult.c		Loading commit data...
cuddPriority.c		Loading commit data...
cuddRead.c		Loading commit data...
cuddRef.c		Loading commit data...
cuddReorder.c		Loading commit data...
cuddSat.c		Loading commit data...
cuddSign.c		Loading commit data...
cuddSolve.c		Loading commit data...
cuddSplit.c		Loading commit data...
cuddSubsetHB.c		Loading commit data...
cuddSubsetSP.c		Loading commit data...
cuddSymmetry.c		Loading commit data...
cuddTable.c		Loading commit data...
cuddUtil.c		Loading commit data...
cuddWindow.c		Loading commit data...
cuddZddCount.c		Loading commit data...
cuddZddFuncs.c		Loading commit data...
cuddZddGroup.c		Loading commit data...
cuddZddIsop.c		Loading commit data...
cuddZddLin.c		Loading commit data...
cuddZddMisc.c		Loading commit data...
cuddZddPort.c		Loading commit data...
cuddZddReord.c		Loading commit data...
cuddZddSetop.c		Loading commit data...
cuddZddSymm.c		Loading commit data...
cuddZddUtil.c		Loading commit data...
license		Loading commit data...
module.make		Loading commit data...
r7x8.1.mat		Loading commit data...
r7x8.1.out		Loading commit data...
testcudd.c		Loading commit data...