Actions: Deploy the essence features usage table 🚀

conjure-cp · Jun 1, 2024 · efef7c7 · efef7c7
1 parent f27a203
commit efef7c7
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 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,isRegular,partsSize,partsNum,DomainPartition,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,DomainSequence,LettingDomainDefnEnum,MkOpFreq,MkOpDefined,MkOpOr,MkOpLt,MkOpMax,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpPow,MkOpAttributeAsConstraint,DomainRecord,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,OccurAttr_MinMaxOccur,AbsLitSequence,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,AbsLitRecord,TypeInt,MkOpPred,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpSubsequence,MkOpSubstring,MkOpTildeLt,MkOpSucc,DomainIntE,MkOpParticipants,MkOpToMSet,MkOpAllDiffExcept,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,RangeUpperBounded,Cut,TypeMatrix,MkOpImageSet,MkOpTrue,TypeBool,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,TypeFunction,MkOpCatchUndef,OccurAttr_MinOccur,RangeOpen,MkOpAtLeast,MkOpAtMost,TypeSet,DefinednessConstraints,WithLocals,MkOpLexLt,MkOpSupset,MkOpToRelation,MkOpSupsetEq
+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,DomainPartition,partsSize,partsNum,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,DomainSequence,LettingDomainDefnEnum,MkOpFreq,MkOpDefined,MkOpOr,MkOpLt,MkOpMax,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpPow,MkOpAttributeAsConstraint,DomainRecord,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,OccurAttr_MinMaxOccur,AbsLitSequence,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,AbsLitRecord,TypeInt,MkOpPred,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpSubsequence,MkOpSubstring,MkOpTildeLt,MkOpSucc,DomainIntE,MkOpParticipants,MkOpToMSet,MkOpAllDiffExcept,Typed,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,RangeUpperBounded,Cut,TypeMatrix,MkOpImageSet,MkOpTrue,TypeBool,MkOpInverse,MkOpSubset,MkOpXor,AbsLitRelation,TypeFunction,MkOpCatchUndef,OccurAttr_MinOccur,RangeOpen,MkOpAtMost,MkOpAtLeast,TypeSet,WithLocals,DefinednessConstraints,MkOpLexLt,MkOpSupset,MkOpToRelation,MkOpSupsetEq
 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,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
 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
@@ -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: 27.05.2024 - 10:36)</li>
+ <li><a href="data.csv">CSV Table</a> (Updated: 01.06.2024 - 09:29)</li>
  </ul>
  </section>
  <section>
@@ -155,12 +155,12 @@ <h2>Essence feature table</h2>
 
  <th>isRegular</th>
 
+ <th>DomainPartition</th>
+
  <th>partsSize</th>
 
  <th>partsNum</th>
 
- <th>DomainPartition</th>
-
  <th>MkOpIn</th>
 
  <th>MkOpImply</th>
@@ -337,16 +337,16 @@ <h2>Essence feature table</h2>
 
  <th>RangeOpen</th>
 
- <th>MkOpAtLeast</th>
-
  <th>MkOpAtMost</th>
 
- <th>TypeSet</th>
+ <th>MkOpAtLeast</th>
 
- <th>DefinednessConstraints</th>
+ <th>TypeSet</th>
 
  <th>WithLocals</th>
 
+ <th>DefinednessConstraints</th>
+
  <th>MkOpLexLt</th>
 
  <th>MkOpSupset</th>
@@ -776728,7 +776728,7 @@ <h2>Essence feature table</h2>
  <div id="footer">
 
  <br/>
- Generated on: 27.05.2024 - 10:36
+ Generated on: 01.06.2024 - 09:29
 
  </div>