Skip to main content

Proto j k backward compatibility

Gitlab

Script_interpreter.v

Proofs

91%

  1. IDrop 🟢
  2. IDup 🟢
  3. ISwap 🟢
  4. IConst 🟢
  5. ICons_pair 🟢
  6. ICar 🟢
  7. ICdr 🟢
  8. IUnpair 🟢
  9. ICons_some 🟢
  10. ICons_none 🟢
  11. IIf_none 🟢
  12. IOpt_map 🟢
  13. ICons_left 🟢
  14. ICons_right 🟢
  15. IIf_left 🟢
  16. ICons_list 🟢
  17. INil 🟢
  18. IIf_cons 🟢
  19. IList_map 🟢
  20. IList_iter 🟢
  21. IList_size 🟢
  22. IEmpty_set 🟢
  23. ISet_iter 🔴
  24. ISet_mem 🔴
  25. ISet_update 🔴
  26. ISet_size 🟢
  27. IEmpty_map 🟢
  28. IMap_map 🔴
  29. IMap_iter 🔴
  30. IMap_mem 🔴
  31. IMap_get 🔴
  32. IMap_update 🔴
  33. IMap_get_and_update 🔴
  34. IMap_size 🔴
  35. IEmpty_big_map 🟢
  36. IBig_map_mem 🟢
  37. IBig_map_get 🟢
  38. IBig_map_update 🟢
  39. IBig_map_get_and_update 🟢
  40. IConcat_string 🟢
  41. IConcat_string_pair 🟢
  42. ISlice_string 🟢
  43. IString_size 🟢
  44. IConcat_bytes 🟢
  45. IConcat_bytes_pair 🟢
  46. ISlice_bytes 🟢
  47. IBytes_size 🟢
  48. IAdd_seconds_to_timestamp 🟢
  49. IAdd_timestamp_to_seconds 🟢
  50. ISub_timestamp_seconds 🟢
  51. IDiff_timestamps 🟢
  52. IAdd_tez 🟢
  53. ISub_tez 🟢
  54. ISub_tez_legacy 🟢
  55. IMul_teznat 🟢
  56. IMul_nattez 🟢
  57. IEdiv_teznat 🟢
  58. IEdiv_tez 🟢
  59. IOr 🟢
  60. IAnd 🟢
  61. IXor 🟢
  62. INot 🟢
  63. IIs_nat 🟢
  64. INeg 🟢
  65. IAbs_int 🟢
  66. IInt_nat 🟢
  67. IAdd_int 🟢
  68. IAdd_nat 🟢
  69. ISub_int 🟢
  70. IMul_int 🟢
  71. IMul_nat 🟢
  72. IEdiv_int 🟢
  73. IEdiv_nat 🟢
  74. ILsl_nat 🟢
  75. ILsr_nat 🟢
  76. IOr_nat 🟢
  77. IAnd_nat 🟢
  78. IAnd_int_nat 🟢
  79. IXor_nat 🟢
  80. INot_int 🟢
  81. IIf 🟢
  82. ILoop 🟢
  83. ILoop_left 🟢
  84. IDip 🟢
  85. IExec 🟢
  86. IApply 🔴
  87. ILambda 🟢
  88. IFailwith 🟢
  89. ICompare 🟢
  90. IEq 🟢
  91. INeq 🟢
  92. ILt 🟢
  93. IGt 🟢
  94. ILe 🟢
  95. IGe 🟢
  96. IAddress 🟢
  97. IContract 🟢
  98. IView 🔴
  99. ITransfer_tokens 🟢
  100. IImplicit_account 🟢
  101. ICreate_contract 🔴
  102. ISet_delegate 🔴
  103. INow 🟢
  104. IMin_block_time 🟢
  105. IBalance 🟢
  106. ILevel 🟢
  107. ICheck_signature 🟢
  108. IHash_key 🟢
  109. IPack 🟢
  110. IUnpack 🟢
  111. IBlake2b 🟢
  112. ISha256 🟢
  113. ISha512 🟢
  114. ISource 🟢
  115. ISender 🟢
  116. ISelf 🟢
  117. ISelf_address 🟢
  118. IAmount 🟢
  119. ISapling_empty_state 🟢
  120. ISapling_verify_update 🟢
  121. ISapling_verify_update_deprecated 🟢
  122. IDig 🟢
  123. IDug 🟢
  124. IDipn 🟢
  125. IDropn 🟢
  126. IChainId 🟢
  127. INever 🟢
  128. IVoting_power 🟢
  129. ITotal_voting_power 🟢
  130. IKeccak 🟢
  131. ISha3 🟢
  132. IAdd_bls12_381_g1 🟢
  133. IAdd_bls12_381_g2 🟢
  134. IAdd_bls12_381_fr 🟢
  135. IMul_bls12_381_g1 🟢
  136. IMul_bls12_381_g2 🟢
  137. IMul_bls12_381_fr 🟢
  138. IMul_bls12_381_z_fr 🟢
  139. IMul_bls12_381_fr_z 🟢
  140. IInt_bls12_381_fr 🟢
  141. INeg_bls12_381_g1 🟢
  142. INeg_bls12_381_g2 🟢
  143. INeg_bls12_381_fr 🟢
  144. IPairing_check_bls12_381 🟢
  145. IComb 🟢
  146. IUncomb 🟢
  147. IComb_get 🟢
  148. IComb_set 🟢
  149. IDup_n 🟢
  150. ITicket 🟢
  151. IRead_ticket 🟢
  152. ISplit_ticket 🟢
  153. IJoin_tickets 🟢
  154. IOpen_chest 🟢
  155. IHalt 🟢
  156. KLoop_in 🟢
  157. KLoop_in_left 🟢
  158. KIter 🟢
  159. KList_exit_body 🟢
  160. KMap_enter_body 🟢
  161. KMap_exit_body 🟢