diff --git a/tools/essence-feature-usage-stats/data.csv b/tools/essence-feature-usage-stats/data.csv index 1c651a0597..72607f184c 100755 --- a/tools/essence-feature-usage-stats/data.csv +++ b/tools/essence-feature-usage-stats/data.csv @@ -1,4 +1,4 @@ -EssenceFile,LOC,Repo,TagInt,ConstantInt,Constant,Reference,DomainInt,RangeBounded,FindOrGiven,Single,AbstractLiteral,Generator,AbsLitMatrix,Comprehension,MkOpSum,SuchThat,SizeAttr_None,MkOpAnd,MkOpEq,DomainReference,DomainSet,GenInExpr,MkOpIndexing,SizeAttr_Size,GenDomainNoRepr,Letting,MkOpImage,DomainMSet,DomainBool,MkOpTwoBars,DomainFunction,Domain,ConstantAbstract,OccurAttr_None,SizeAttr_MaxSize,MkOpLeq,DomainTuple,RangeLowerBounded,OccurAttr_MaxOccur,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,partsSize,DomainPartition,isRegular,partsNum,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,DomainSequence,LettingDomainDefnEnum,MkOpFreq,MkOpDefined,MkOpLt,MkOpOr,MkOpMax,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpPow,MkOpAttributeAsConstraint,DomainRecord,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,MkOpPred,AbsLitRecord,TypeInt,MkOpApart,SearchOrder,MkOpFactorial,MkOpTogether,MkOpTildeLt,MkOpSucc,MkOpSubsequence,MkOpSubstring,DomainIntE,MkOpParticipants,MkOpAllDiffExcept,MkOpToMSet,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,MkOpImageSet,RangeUpperBounded,TypeMatrix,Cut,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,TypeBool,TypeFunction,MkOpCatchUndef,MkOpTrue,MkOpToRelation,MkOpSupsetEq,MkOpSupset,MkOpLexLt,MkOpAtMost,MkOpAtLeast,TypeSet,DefinednessConstraints,WithLocals,OccurAttr_MinOccur,RangeOpen +EssenceFile,LOC,Repo,TagInt,ConstantInt,Constant,Reference,DomainInt,RangeBounded,FindOrGiven,Single,AbstractLiteral,Generator,AbsLitMatrix,Comprehension,MkOpSum,SuchThat,SizeAttr_None,MkOpAnd,MkOpEq,DomainReference,DomainSet,GenInExpr,MkOpIndexing,SizeAttr_Size,GenDomainNoRepr,Letting,MkOpImage,DomainMSet,DomainBool,MkOpTwoBars,DomainFunction,Domain,ConstantAbstract,OccurAttr_None,SizeAttr_MaxSize,MkOpLeq,DomainTuple,RangeLowerBounded,OccurAttr_MaxOccur,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,isRegular,partsSize,partsNum,DomainPartition,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,DomainSequence,LettingDomainDefnEnum,MkOpFreq,MkOpDefined,MkOpLt,MkOpOr,MkOpMax,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpPow,MkOpAttributeAsConstraint,DomainRecord,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,MkOpPred,AbsLitRecord,TypeInt,MkOpApart,SearchOrder,MkOpFactorial,MkOpTogether,MkOpTildeLt,MkOpSucc,MkOpSubsequence,MkOpSubstring,DomainIntE,MkOpParticipants,MkOpAllDiffExcept,MkOpToMSet,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,MkOpImageSet,RangeUpperBounded,TypeMatrix,Cut,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,TypeBool,TypeFunction,MkOpCatchUndef,MkOpTrue,MkOpToRelation,MkOpSupsetEq,MkOpSupset,MkOpLexLt,MkOpAtLeast,MkOpAtMost,TypeSet,DefinednessConstraints,WithLocals,OccurAttr_MinOccur,RangeOpen custom/basic/solutionsInOneFile/test.essence,1,conjure-cp/conjure,3,2,2,0,1,1,1,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 custom/basic/function-literal-suggestion/func.essence,1,conjure-cp/conjure,6,4,4,0,2,2,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 STARIS_2022/basic/set-with-attributes/set.essence,1,conjure-cp/conjure,4,3,3,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 diff --git a/tools/essence-feature-usage-stats/index.html b/tools/essence-feature-usage-stats/index.html index 942e04e6b7..385af655bc 100755 --- a/tools/essence-feature-usage-stats/index.html +++ b/tools/essence-feature-usage-stats/index.html @@ -38,7 +38,7 @@
Please, use the link bellow to download the data: