Actions: Deploy the essence features usage table 🚀

conjure-cp · Apr 1, 2024 · 89447ad · 89447ad
1 parent dc05c6f
commit 89447ad
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 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,OccurAttr_MaxOccur,RangeLowerBounded,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,DomainPartition,isRegular,partsSize,partsNum,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,LettingDomainDefnEnum,DomainSequence,MkOpFreq,MkOpDefined,MkOpMax,MkOpOr,MkOpLt,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpAttributeAsConstraint,DomainRecord,MkOpPow,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,AbsLitRecord,MkOpPred,TypeInt,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpSucc,MkOpTildeLt,MkOpSubstring,MkOpSubsequence,DomainIntE,MkOpParticipants,MkOpAllDiffExcept,MkOpToMSet,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,RangeUpperBounded,Cut,MkOpImageSet,TypeMatrix,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,MkOpCatchUndef,TypeFunction,TypeBool,MkOpTrue,OccurAttr_MinOccur,RangeOpen,MkOpToRelation,MkOpSupset,MkOpSupsetEq,MkOpLexLt,WithLocals,DefinednessConstraints,TypeSet,MkOpAtMost,MkOpAtLeast
+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,OccurAttr_MaxOccur,RangeLowerBounded,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,DomainPartition,partsNum,partsSize,isRegular,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,LettingDomainDefnEnum,DomainSequence,MkOpFreq,MkOpDefined,MkOpMax,MkOpOr,MkOpLt,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpAttributeAsConstraint,DomainRecord,MkOpPow,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,AbsLitRecord,MkOpPred,TypeInt,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpSucc,MkOpTildeLt,MkOpSubstring,MkOpSubsequence,DomainIntE,MkOpParticipants,MkOpAllDiffExcept,MkOpToMSet,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,RangeUpperBounded,Cut,MkOpImageSet,TypeMatrix,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,MkOpCatchUndef,TypeFunction,TypeBool,MkOpTrue,OccurAttr_MinOccur,RangeOpen,MkOpToRelation,MkOpSupset,MkOpSupsetEq,MkOpLexLt,WithLocals,DefinednessConstraints,TypeSet,MkOpAtMost,MkOpAtLeast
 syntax_test/domains/record/record.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,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,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
 syntax_test/domains/bool/bool.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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
 syntax_test/domains/variant/variant.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,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,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

diff --git a/tools/essence-feature-usage-stats/index.html b/tools/essence-feature-usage-stats/index.html
@@ -155,11 +155,11 @@ <h2>Essence feature table</h2>
 
             <th>DomainPartition</th>
 
-            <th>isRegular</th>
+            <th>partsNum</th>
 
             <th>partsSize</th>
 
-            <th>partsNum</th>
+            <th>isRegular</th>
 
             <th>MkOpIn</th>