Skip to content
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

Jump to bottom

[EXPERIMENT] [Builtins] 10x more builtins #6502

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from
Draft

[EXPERIMENT] [Builtins] 10x more builtins #6502

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
9fbb994
[EXPERIMENT] [Builtins] 10x more builtins
effectfully Sep 18, 2024
160c7ff
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Sep 24, 2024
9de1bf5
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Nov 12, 2024
af3f2ca
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Nov 12, 2024
b3d1e36
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Nov 18, 2024
68ee184
Fix 'writeBits*'
effectfully Nov 18, 2024
33e91fd
Add the builtins to 'builtinsIntroducedIn'
effectfully Nov 19, 2024
c7c5a38
Revert "Add the builtins to 'builtinsIntroducedIn'"
effectfully Nov 19, 2024
4847cfe
Add forgotten golden tests
effectfully Nov 19, 2024
ee99fd7
Revert "Revert "Add the builtins to 'builtinsIntroducedIn'""
effectfully Nov 19, 2024
ac8403a
Revert "Revert "Revert "Add the builtins to 'builtinsIntroducedIn'"""
effectfully Nov 19, 2024
c5bb3ac
Revert "Revert "Revert "Revert "Add the builtins to 'builtinsIntroduc…
effectfully Nov 19, 2024
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
  •  
  •  
  •  
8,902 changes: 8,902 additions & 0 deletions plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
View file
Open in desktop

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> integer -> integer
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bool -> bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
string -> string -> string
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> data
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2241.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2242.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2243.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2244.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2245.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2246.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2247.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2248.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2249.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2561.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2562.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2563.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2564.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2565.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2566.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2567.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2568.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_2569.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions ...s-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bytestring
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element -> bool
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...ore/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
integer -> bls12_381_G1_element -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress8.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions ...core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress9.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bytestring -> bls12_381_G1_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add1.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add2.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add3.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add4.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add5.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add6.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
1 change: 1 addition & 0 deletions plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add7.plc.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element
Loading
Loading