aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/package-metadata.pl
Commit message (Expand)AuthorAgeFilesLines
* scripts: package-metadata add pkgmanifestjson callPaul Spooren2021-09-231-0/+36
* build: drop ABI version from metadataFelix Fietkau2021-02-141-15/+0
* metadata: handle ABI version rebuild tracking for transient dependenciesJo-Philipp Wich2019-06-211-0/+12
* metadata: ensure one dependency provider to be y if a package is yJonas Gorski2019-06-201-2/+2
* build: add support to && in DEPENDSEneas U de Queiroz2019-05-311-2/+18
* build: extend ABI_VERSION suffixing to providesJo-Philipp Wich2019-01-241-4/+10
* build: expose ABI version in .packageauxvarsJo-Philipp Wich2019-01-191-0/+9
* build: rename .packagesubdirs to .packageauxvarsJo-Philipp Wich2019-01-191-3/+3
* metadata: do not emit broken kconfig dependency statementsJo-Philipp Wich2018-01-141-1/+1
* metadata: improve code readability by using (s)printf instead of string inter...Matthias Schiffer2018-01-131-13/+13
* build: remove obsolete "package feature" featureMatthias Schiffer2018-01-131-26/+0
* metadata: always resolve dependencies through provides listMatthias Schiffer2018-01-131-36/+26
* metadata: simplify generation of build depends from runtime dependsMatthias Schiffer2018-01-131-71/+41
* metadata: handle target build depends together with host build dependsMatthias Schiffer2018-01-131-32/+28
* build: remove package preconfig featureMatthias Schiffer2018-01-131-36/+0
* metadata: remove redundant fields from package hashMatthias Schiffer2018-01-131-4/+4
* metadata: replace %subdir hash with a path field in source packagesMatthias Schiffer2018-01-131-13/+12
* metadata: change pkg->{src} field to hold a referenceMatthias Schiffer2018-01-131-7/+7
* metadata: interate over source packages when generating MakefileMatthias Schiffer2018-01-131-26/+35
* metadata: move 'builddepends' from binary to source packagesMatthias Schiffer2018-01-131-9/+7
* metadata: move 'buildtypes' from binary to source packagesMatthias Schiffer2018-01-131-6/+7
* metadata: make srcpackage extensibleMatthias Schiffer2018-01-131-1/+1
* metadata: remove 'base-files' special caseMatthias Schiffer2018-01-131-1/+1
* scripts/package-metadata.pl: remove broken detection of self-dependenciesMatthias Schiffer2018-01-041-5/+0
* scripts/package-metadata.pl: inhibit compile deps on missing build typesJo-Philipp Wich2017-07-271-6/+25
* scripts/package-metadata.pl: parse and validate field Require-UserYousong Zhou2017-06-181-0/+12
* scripts/package-metadata.pl: fix overriding conditional dependencies with con...Felix Fietkau2017-01-111-0/+2
* scripts/package-metadata.pl: honour DEFAULT_VARIANTJo-Philipp Wich2016-11-021-2/+15
* scripts/package-metadata.pl: fix handling of virtual (PROVIDES) dependsJo-Philipp Wich2016-11-021-2/+2
* scripts: fix build warning when overriding packagesZefir Kurtisi2016-10-151-1/+1
* scripts/package-metadata.pl: fix generation of dependencies on virtual packagesMatthias Schiffer2016-09-231-1/+4
* scripts/package-metadata.pl: fix kmod pakage dependencies within the SDKFelix Fietkau2016-07-071-0/+1
* build: split scripts/metadata.pl into target-metadata.pl and package-metadata.plFelix Fietkau2016-06-071-0/+645
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 01:24:00 +0000
abc_global.h" #include "xsatClause.h" ABC_NAMESPACE_HEADER_START //////////////////////////////////////////////////////////////////////// /// STRUCTURE DEFINITIONS /// //////////////////////////////////////////////////////////////////////// typedef struct xSAT_Mem_t_ xSAT_Mem_t; struct xSAT_Mem_t_ { unsigned nSize; unsigned nCap; unsigned nWasted; unsigned * pData; }; //////////////////////////////////////////////////////////////////////// /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline xSAT_Clause_t * xSAT_MemClauseHand( xSAT_Mem_t * p, int h ) { return h != 0xFFFFFFFF ? ( xSAT_Clause_t * )( p->pData + h ) : NULL; } /**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline void xSAT_MemGrow( xSAT_Mem_t * p, unsigned nCap ) { unsigned nPrevCap = p->nCap; if ( p->nCap >= nCap ) return; while (p->nCap < nCap) { unsigned delta = ( ( p->nCap >> 1 ) + ( p->nCap >> 3 ) + 2 ) & ~1; p->nCap += delta; assert(p->nCap >= nPrevCap); } assert(p->nCap > 0); p->pData = ABC_REALLOC( unsigned, p->pData, p->nCap ); } /**Function************************************************************* Synopsis [Allocating vector.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline xSAT_Mem_t * xSAT_MemAlloc( int nCap ) { xSAT_Mem_t * p; p = ABC_CALLOC( xSAT_Mem_t, 1 ); if (nCap <= 0) nCap = 1024*1024; xSAT_MemGrow(p, nCap); return p; } /**Function************************************************************* Synopsis [Resetting vector.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline void xSAT_MemRestart( xSAT_Mem_t * p ) { p->nSize = 0; p->nWasted = 0; } /**Function************************************************************* Synopsis [Freeing vector.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline void xSAT_MemFree( xSAT_Mem_t * p ) { ABC_FREE( p->pData ); ABC_FREE( p ); } /**Function************************************************************* Synopsis [Creates new clause.] Description [The resulting clause is fully initialized.] SideEffects [] SeeAlso [] ***********************************************************************/ static inline unsigned xSAT_MemAppend( xSAT_Mem_t * p, int nSize ) { unsigned nPrevSize; assert(nSize > 0); xSAT_MemGrow( p, p->nSize + nSize ); nPrevSize = p->nSize; p->nSize += nSize; assert(p->nSize > nPrevSize); return nPrevSize; } /**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline unsigned xSAT_MemCRef( xSAT_Mem_t * p, unsigned * pC ) { return ( unsigned )( pC - &(p->pData[0]) ); } /**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline unsigned xSAT_MemCap( xSAT_Mem_t * p ) { return p->nCap; } /**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ static inline unsigned xSAT_MemWastedCap( xSAT_Mem_t * p ) { return p->nWasted; } ABC_NAMESPACE_HEADER_END #endif //////////////////////////////////////////////////////////////////////// /// END OF FILE /// ////////////////////////////////////////////////////////////////////////
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 01:23:59 +0000