Actions: Deploy the essence features usage table 🚀

conjure-cp · Jan 6, 2025 · 6f59124 · 6f59124
1 parent acbf66a
commit 6f59124
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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,isRegular,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,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,partsSize,DomainPartition,partsNum,isRegular,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
 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
@@ -38,7 +38,7 @@ <h2>How to use this tool</h2>
         <h2>Data</h2>
         <p>Please, use the link bellow to download the data:</p>
         <ul>
-            <li><a href="data.csv">CSV Table</a> (Updated: 06.01.2025 - 10:50)</li>
+            <li><a href="data.csv">CSV Table</a> (Updated: 06.01.2025 - 12:02)</li>
         </ul>
     </section>
     <section>
@@ -155,11 +155,11 @@ <h2>Essence feature table</h2>
 
             <th>partsSize</th>
 
-            <th>isRegular</th>
+            <th>DomainPartition</th>
 
             <th>partsNum</th>
 
-            <th>DomainPartition</th>
+            <th>isRegular</th>
 
             <th>MkOpIn</th>
 
@@ -777335,7 +777335,7 @@ <h2>Essence feature table</h2>
     <div id="footer">
 
     <br/>
-    Generated on: 06.01.2025 - 10:50
+    Generated on: 06.01.2025 - 12:02
 
     </div>