Skip to content

Added signatures, inputs, rules and invariants for the new apis #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
manideepika21 wants to merge 2 commits into
base: invariants
Choose a base branch
from
Open

Added signatures, inputs, rules and invariants for the new apis #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1e2db3f
Added signatures, inputs, rules and invariants for the new apis
manideepika21 Apr 7, 2026
8ff6687
Updated Rules and invariants
manideepika21 Apr 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
14 changes: 14 additions & 0 deletions invariants_tf/tf.argsort
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
tf.argsort,1,rule_11,values
tf.argsort,1,rule_16,values
tf.argsort,1,rule_19,values
tf.argsort,1,rule_22,values
tf.argsort,1,rule_25,values
tf.argsort,1,rule_35,stable
tf.argsort,1,rule_56,values
tf.argsort,1,rule_71,values
tf.argsort,1,rule_8,values
tf.argsort,2,rule_13,values,axis
tf.argsort,2,rule_24,values,axis
tf.argsort,2,rule_27,values,axis
tf.argsort,2,rule_41,values,axis
tf.argsort,2,rule_74,values,axis
37 changes: 37 additions & 0 deletions invariants_tf/tf.bitwise.bitwise_and
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
tf.bitwise.bitwise_and,1,rule_10,x
tf.bitwise.bitwise_and,1,rule_10,y
tf.bitwise.bitwise_and,1,rule_11,x
tf.bitwise.bitwise_and,1,rule_11,y
tf.bitwise.bitwise_and,1,rule_14,x
tf.bitwise.bitwise_and,1,rule_14,y
tf.bitwise.bitwise_and,1,rule_15,x
tf.bitwise.bitwise_and,1,rule_15,y
tf.bitwise.bitwise_and,1,rule_3,x
tf.bitwise.bitwise_and,1,rule_3,y
tf.bitwise.bitwise_and,1,rule_4,x
tf.bitwise.bitwise_and,1,rule_4,y
tf.bitwise.bitwise_and,2,rule_1,x,y
tf.bitwise.bitwise_and,2,rule_16,x,y
tf.bitwise.bitwise_and,2,rule_19,x,y
tf.bitwise.bitwise_and,2,rule_2,x,y
tf.bitwise.bitwise_and,2,rule_20,x,y
tf.bitwise.bitwise_and,2,rule_22,x,y
tf.bitwise.bitwise_and,2,rule_24,x,y
tf.bitwise.bitwise_and,2,rule_27,x,y
tf.bitwise.bitwise_and,2,rule_28,x,y
tf.bitwise.bitwise_and,2,rule_31,x,y
tf.bitwise.bitwise_and,2,rule_32,x,y
tf.bitwise.bitwise_and,2,rule_33,x,y
tf.bitwise.bitwise_and,2,rule_34,x,y
tf.bitwise.bitwise_and,2,rule_35,x,y
tf.bitwise.bitwise_and,2,rule_37,x,y
tf.bitwise.bitwise_and,2,rule_40,x,y
tf.bitwise.bitwise_and,2,rule_42,x,y
tf.bitwise.bitwise_and,2,rule_47,x,y
tf.bitwise.bitwise_and,2,rule_48,x,y
tf.bitwise.bitwise_and,2,rule_5,x,y
tf.bitwise.bitwise_and,2,rule_51,x,y
tf.bitwise.bitwise_and,2,rule_54,x,y
tf.bitwise.bitwise_and,2,rule_55,x,y
tf.bitwise.bitwise_and,2,rule_7,x,y
tf.bitwise.bitwise_and,2,rule_8,x,y
10 changes: 10 additions & 0 deletions invariants_tf/tf.dtypes.complex
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
tf.dtypes.complex,2,rule_1,real,imag
tf.dtypes.complex,2,rule_14,real,imag
tf.dtypes.complex,2,rule_16,real,imag
tf.dtypes.complex,2,rule_17,real,imag
tf.dtypes.complex,2,rule_36,real,imag
tf.dtypes.complex,2,rule_38,real,imag
tf.dtypes.complex,2,rule_40,real,imag
tf.dtypes.complex,2,rule_42,real,imag
tf.dtypes.complex,2,rule_8,real,imag
tf.dtypes.complex,2,rule_9,real,imag
3 changes: 3 additions & 0 deletions invariants_tf/tf.math.approx_max_k
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
tf.math.approx_max_k,1,rule_5,k
tf.math.approx_max_k,2,rule_15,k,reduction_dimension
tf.math.approx_max_k,2,rule_15,reduction_dimension,reduction_input_size_override
10 changes: 10 additions & 0 deletions invariants_tf/tf.math.zeta
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
tf.math.zeta,1,rule_1,q
tf.math.zeta,1,rule_1,x
tf.math.zeta,2,rule_11,x,q
tf.math.zeta,2,rule_13,x,q
tf.math.zeta,2,rule_16,x,q
tf.math.zeta,2,rule_19,x,q
tf.math.zeta,2,rule_2,x,q
tf.math.zeta,2,rule_23,x,q
tf.math.zeta,2,rule_25,x,q
tf.math.zeta,2,rule_8,x,q
14 changes: 14 additions & 0 deletions invariants_tf/tf.nn.softplus
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
tf.nn.softplus,1,rule_17,features
tf.nn.softplus,1,rule_18,features
tf.nn.softplus,1,rule_19,features
tf.nn.softplus,1,rule_24,features
tf.nn.softplus,1,rule_3,features
tf.nn.softplus,1,rule_31,features
tf.nn.softplus,1,rule_32,features
tf.nn.softplus,1,rule_33,features
tf.nn.softplus,1,rule_36,features
tf.nn.softplus,1,rule_39,features
tf.nn.softplus,1,rule_4,features
tf.nn.softplus,1,rule_42,features
tf.nn.softplus,1,rule_43,features
tf.nn.softplus,1,rule_6,features
5 changes: 5 additions & 0 deletions invariants_tf/tf.raw_ops.BiasAddGrad
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
tf.raw_ops.BiasAddGrad,1,rule_1,out_backprop
tf.raw_ops.BiasAddGrad,1,rule_13,out_backprop
tf.raw_ops.BiasAddGrad,1,rule_25,out_backprop
tf.raw_ops.BiasAddGrad,1,rule_62,out_backprop
tf.raw_ops.BiasAddGrad,1,rule_77,out_backprop
131 changes: 131 additions & 0 deletions invariants_tf/tf.raw_ops.Conv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,131 @@
tf.raw_ops.Conv,1,rule_11,filter
tf.raw_ops.Conv,1,rule_11,input
tf.raw_ops.Conv,1,rule_18,filter
tf.raw_ops.Conv,1,rule_18,input
tf.raw_ops.Conv,1,rule_19,filter
tf.raw_ops.Conv,1,rule_19,input
tf.raw_ops.Conv,1,rule_34,filter
tf.raw_ops.Conv,1,rule_34,input
tf.raw_ops.Conv,1,rule_35,batch_dims
tf.raw_ops.Conv,1,rule_35,groups
tf.raw_ops.Conv,1,rule_39,filter
tf.raw_ops.Conv,1,rule_39,input
tf.raw_ops.Conv,1,rule_43,filter
tf.raw_ops.Conv,1,rule_43,input
tf.raw_ops.Conv,1,rule_50,filter
tf.raw_ops.Conv,1,rule_50,input
tf.raw_ops.Conv,1,rule_59,filter
tf.raw_ops.Conv,1,rule_59,input
tf.raw_ops.Conv,1,rule_63,dilations
tf.raw_ops.Conv,1,rule_63,explicit_paddings
tf.raw_ops.Conv,1,rule_63,strides
tf.raw_ops.Conv,1,rule_64,dilations
tf.raw_ops.Conv,1,rule_64,strides
tf.raw_ops.Conv,1,rule_67,batch_dims
tf.raw_ops.Conv,1,rule_67,groups
tf.raw_ops.Conv,1,rule_71,batch_dims
tf.raw_ops.Conv,1,rule_71,groups
tf.raw_ops.Conv,1,rule_74,filter
tf.raw_ops.Conv,1,rule_74,input
tf.raw_ops.Conv,1,rule_8,batch_dims
tf.raw_ops.Conv,1,rule_8,groups
tf.raw_ops.Conv,2,rule_1,input,filter
tf.raw_ops.Conv,2,rule_10,dilations,filter
tf.raw_ops.Conv,2,rule_10,dilations,input
tf.raw_ops.Conv,2,rule_10,strides,filter
tf.raw_ops.Conv,2,rule_10,strides,input
tf.raw_ops.Conv,2,rule_13,input,filter
tf.raw_ops.Conv,2,rule_22,filter,batch_dims
tf.raw_ops.Conv,2,rule_22,filter,groups
tf.raw_ops.Conv,2,rule_22,input,batch_dims
tf.raw_ops.Conv,2,rule_22,input,groups
tf.raw_ops.Conv,2,rule_24,filter,batch_dims
tf.raw_ops.Conv,2,rule_24,filter,groups
tf.raw_ops.Conv,2,rule_24,input,batch_dims
tf.raw_ops.Conv,2,rule_24,input,groups
tf.raw_ops.Conv,2,rule_26,input,filter
tf.raw_ops.Conv,2,rule_32,batch_dims,filter
tf.raw_ops.Conv,2,rule_32,batch_dims,input
tf.raw_ops.Conv,2,rule_32,groups,filter
tf.raw_ops.Conv,2,rule_32,groups,input
tf.raw_ops.Conv,2,rule_37,strides,dilations
tf.raw_ops.Conv,2,rule_38,batch_dims,filter
tf.raw_ops.Conv,2,rule_38,batch_dims,input
tf.raw_ops.Conv,2,rule_38,groups,filter
tf.raw_ops.Conv,2,rule_38,groups,input
tf.raw_ops.Conv,2,rule_44,filter,batch_dims
tf.raw_ops.Conv,2,rule_44,filter,groups
tf.raw_ops.Conv,2,rule_44,input,batch_dims
tf.raw_ops.Conv,2,rule_44,input,groups
tf.raw_ops.Conv,2,rule_46,input,filter
tf.raw_ops.Conv,2,rule_48,filter,batch_dims
tf.raw_ops.Conv,2,rule_48,filter,groups
tf.raw_ops.Conv,2,rule_48,input,batch_dims
tf.raw_ops.Conv,2,rule_48,input,groups
tf.raw_ops.Conv,2,rule_49,filter,batch_dims
tf.raw_ops.Conv,2,rule_49,filter,groups
tf.raw_ops.Conv,2,rule_49,input,batch_dims
tf.raw_ops.Conv,2,rule_49,input,groups
tf.raw_ops.Conv,2,rule_54,filter,batch_dims
tf.raw_ops.Conv,2,rule_54,filter,groups
tf.raw_ops.Conv,2,rule_54,input,batch_dims
tf.raw_ops.Conv,2,rule_54,input,groups
tf.raw_ops.Conv,2,rule_55,strides,dilations
tf.raw_ops.Conv,2,rule_57,filter,batch_dims
tf.raw_ops.Conv,2,rule_57,filter,groups
tf.raw_ops.Conv,2,rule_57,input,batch_dims
tf.raw_ops.Conv,2,rule_57,input,groups
tf.raw_ops.Conv,2,rule_60,dilations,filter
tf.raw_ops.Conv,2,rule_60,dilations,input
tf.raw_ops.Conv,2,rule_60,strides,filter
tf.raw_ops.Conv,2,rule_60,strides,input
tf.raw_ops.Conv,2,rule_61,filter,batch_dims
tf.raw_ops.Conv,2,rule_61,filter,groups
tf.raw_ops.Conv,2,rule_61,input,batch_dims
tf.raw_ops.Conv,2,rule_61,input,groups
tf.raw_ops.Conv,2,rule_7,batch_dims,filter
tf.raw_ops.Conv,2,rule_7,batch_dims,input
tf.raw_ops.Conv,2,rule_7,groups,filter
tf.raw_ops.Conv,2,rule_7,groups,input
tf.raw_ops.Conv,2,rule_72,dilations,filter
tf.raw_ops.Conv,2,rule_72,dilations,input
tf.raw_ops.Conv,2,rule_72,strides,filter
tf.raw_ops.Conv,2,rule_72,strides,input
tf.raw_ops.Conv,2,rule_9,dilations,filter
tf.raw_ops.Conv,2,rule_9,dilations,input
tf.raw_ops.Conv,2,rule_9,strides,filter
tf.raw_ops.Conv,2,rule_9,strides,input
tf.raw_ops.Conv,3,rule_12,batch_dims,input,filter
tf.raw_ops.Conv,3,rule_12,groups,input,filter
tf.raw_ops.Conv,3,rule_16,batch_dims,input,filter
tf.raw_ops.Conv,3,rule_16,groups,input,filter
tf.raw_ops.Conv,3,rule_17,input,filter,batch_dims
tf.raw_ops.Conv,3,rule_17,input,filter,groups
tf.raw_ops.Conv,3,rule_29,batch_dims,input,filter
tf.raw_ops.Conv,3,rule_29,groups,input,filter
tf.raw_ops.Conv,3,rule_40,input,filter,batch_dims
tf.raw_ops.Conv,3,rule_40,input,filter,groups
tf.raw_ops.Conv,3,rule_41,input,filter,batch_dims
tf.raw_ops.Conv,3,rule_41,input,filter,groups
tf.raw_ops.Conv,3,rule_66,input,filter,batch_dims
tf.raw_ops.Conv,3,rule_66,input,filter,groups
tf.raw_ops.Conv,4,rule_52,filter,strides,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_52,input,strides,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_56,filter,batch_dims,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_56,filter,batch_dims,strides,dilations
tf.raw_ops.Conv,4,rule_56,filter,batch_dims,strides,explicit_paddings
tf.raw_ops.Conv,4,rule_56,filter,groups,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_56,filter,groups,strides,dilations
tf.raw_ops.Conv,4,rule_56,filter,groups,strides,explicit_paddings
tf.raw_ops.Conv,4,rule_56,input,batch_dims,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_56,input,batch_dims,strides,dilations
tf.raw_ops.Conv,4,rule_56,input,batch_dims,strides,explicit_paddings
tf.raw_ops.Conv,4,rule_56,input,groups,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_56,input,groups,strides,dilations
tf.raw_ops.Conv,4,rule_56,input,groups,strides,explicit_paddings
tf.raw_ops.Conv,4,rule_62,strides,dilations,filter,batch_dims
tf.raw_ops.Conv,4,rule_62,strides,dilations,filter,groups
tf.raw_ops.Conv,4,rule_62,strides,dilations,input,batch_dims
tf.raw_ops.Conv,4,rule_62,strides,dilations,input,groups
tf.raw_ops.Conv,4,rule_70,filter,strides,explicit_paddings,dilations
tf.raw_ops.Conv,4,rule_70,input,strides,explicit_paddings,dilations
39 changes: 39 additions & 0 deletions invariants_tf/tf.raw_ops.RandomGammaGrad
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
tf.raw_ops.RandomGammaGrad,1,rule_10,alpha
tf.raw_ops.RandomGammaGrad,1,rule_10,sample
tf.raw_ops.RandomGammaGrad,1,rule_11,alpha
tf.raw_ops.RandomGammaGrad,1,rule_11,sample
tf.raw_ops.RandomGammaGrad,1,rule_16,alpha
tf.raw_ops.RandomGammaGrad,1,rule_16,sample
tf.raw_ops.RandomGammaGrad,1,rule_17,alpha
tf.raw_ops.RandomGammaGrad,1,rule_17,sample
tf.raw_ops.RandomGammaGrad,1,rule_2,alpha
tf.raw_ops.RandomGammaGrad,1,rule_2,sample
tf.raw_ops.RandomGammaGrad,1,rule_20,alpha
tf.raw_ops.RandomGammaGrad,1,rule_20,sample
tf.raw_ops.RandomGammaGrad,1,rule_21,alpha
tf.raw_ops.RandomGammaGrad,1,rule_21,sample
tf.raw_ops.RandomGammaGrad,1,rule_51,alpha
tf.raw_ops.RandomGammaGrad,1,rule_51,sample
tf.raw_ops.RandomGammaGrad,1,rule_63,alpha
tf.raw_ops.RandomGammaGrad,1,rule_63,sample
tf.raw_ops.RandomGammaGrad,1,rule_9,alpha
tf.raw_ops.RandomGammaGrad,1,rule_9,sample
tf.raw_ops.RandomGammaGrad,2,rule_1,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_12,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_15,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_18,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_19,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_23,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_3,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_35,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_38,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_39,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_40,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_46,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_49,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_56,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_59,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_62,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_65,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_66,alpha,sample
tf.raw_ops.RandomGammaGrad,2,rule_67,alpha,sample
44 changes: 44 additions & 0 deletions invariants_tf/tf.raw_ops.SigmoidGrad
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
tf.raw_ops.SigmoidGrad,1,rule_10,dy
tf.raw_ops.SigmoidGrad,1,rule_10,y
tf.raw_ops.SigmoidGrad,1,rule_15,dy
tf.raw_ops.SigmoidGrad,1,rule_15,y
tf.raw_ops.SigmoidGrad,1,rule_16,dy
tf.raw_ops.SigmoidGrad,1,rule_16,y
tf.raw_ops.SigmoidGrad,1,rule_3,dy
tf.raw_ops.SigmoidGrad,1,rule_3,y
tf.raw_ops.SigmoidGrad,1,rule_6,dy
tf.raw_ops.SigmoidGrad,1,rule_6,y
tf.raw_ops.SigmoidGrad,1,rule_7,dy
tf.raw_ops.SigmoidGrad,1,rule_7,y
tf.raw_ops.SigmoidGrad,2,rule_1,y,dy
tf.raw_ops.SigmoidGrad,2,rule_12,y,dy
tf.raw_ops.SigmoidGrad,2,rule_13,y,dy
tf.raw_ops.SigmoidGrad,2,rule_17,y,dy
tf.raw_ops.SigmoidGrad,2,rule_18,y,dy
tf.raw_ops.SigmoidGrad,2,rule_19,y,dy
tf.raw_ops.SigmoidGrad,2,rule_2,y,dy
tf.raw_ops.SigmoidGrad,2,rule_20,y,dy
tf.raw_ops.SigmoidGrad,2,rule_21,y,dy
tf.raw_ops.SigmoidGrad,2,rule_22,y,dy
tf.raw_ops.SigmoidGrad,2,rule_23,y,dy
tf.raw_ops.SigmoidGrad,2,rule_25,y,dy
tf.raw_ops.SigmoidGrad,2,rule_28,y,dy
tf.raw_ops.SigmoidGrad,2,rule_29,y,dy
tf.raw_ops.SigmoidGrad,2,rule_33,y,dy
tf.raw_ops.SigmoidGrad,2,rule_34,y,dy
tf.raw_ops.SigmoidGrad,2,rule_35,y,dy
tf.raw_ops.SigmoidGrad,2,rule_36,y,dy
tf.raw_ops.SigmoidGrad,2,rule_37,y,dy
tf.raw_ops.SigmoidGrad,2,rule_38,y,dy
tf.raw_ops.SigmoidGrad,2,rule_39,y,dy
tf.raw_ops.SigmoidGrad,2,rule_4,y,dy
tf.raw_ops.SigmoidGrad,2,rule_41,y,dy
tf.raw_ops.SigmoidGrad,2,rule_42,y,dy
tf.raw_ops.SigmoidGrad,2,rule_43,y,dy
tf.raw_ops.SigmoidGrad,2,rule_44,y,dy
tf.raw_ops.SigmoidGrad,2,rule_45,y,dy
tf.raw_ops.SigmoidGrad,2,rule_46,y,dy
tf.raw_ops.SigmoidGrad,2,rule_47,y,dy
tf.raw_ops.SigmoidGrad,2,rule_48,y,dy
tf.raw_ops.SigmoidGrad,2,rule_8,y,dy
tf.raw_ops.SigmoidGrad,2,rule_9,y,dy
33 changes: 33 additions & 0 deletions invariants_tf/tf.tile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
tf.tile,1,rule_1,multiples
tf.tile,1,rule_10,multiples
tf.tile,1,rule_11,input
tf.tile,1,rule_11,multiples
tf.tile,1,rule_2,multiples
tf.tile,1,rule_21,input
tf.tile,1,rule_21,multiples
tf.tile,1,rule_24,multiples
tf.tile,1,rule_30,multiples
tf.tile,1,rule_33,multiples
tf.tile,1,rule_37,multiples
tf.tile,1,rule_4,multiples
tf.tile,1,rule_43,multiples
tf.tile,1,rule_46,multiples
tf.tile,1,rule_49,multiples
tf.tile,1,rule_52,multiples
tf.tile,1,rule_55,multiples
tf.tile,1,rule_6,multiples
tf.tile,1,rule_60,multiples
tf.tile,1,rule_63,multiples
tf.tile,1,rule_72,multiples
tf.tile,1,rule_76,multiples
tf.tile,1,rule_84,multiples
tf.tile,1,rule_92,multiples
tf.tile,2,rule_15,input,multiples
tf.tile,2,rule_22,input,multiples
tf.tile,2,rule_25,input,multiples
tf.tile,2,rule_28,input,multiples
tf.tile,2,rule_3,input,multiples
tf.tile,2,rule_35,input,multiples
tf.tile,2,rule_50,input,multiples
tf.tile,2,rule_81,input,multiples
tf.tile,2,rule_91,input,multiples
Loading