sbuilder-ethereum-0.0.6

https://rubygems.org

id: 1001169

number: 0.0.6

platform: ruby

spec_sha256: 7854f032a6f5cd38adb135e311b3df6e2b5e4941cd76bc61a3f30c64ab2f81ba

sha256: d1ab2f0e04af9e55cf9815c707fd565ef13e44af1ee16171e0d7eed24856c982

created_at: 2024-05-13 08:29:13 UTC

updated_at: 2024-06-12 02:35:29 UTC

position: 0

version_data_entries_count: 64

uploaded_at: 2016-12-05 12:56:25 UTC

indexed: true

has_extensions:

extensions:

Gem size: 73.5 KB

Version Data Entries

Total: 64

Unpacked size: 319 KB

Full Name	Mode	Size	SHA
VERSION	100664	6 Bytes	1ad42263137b3f2736f1e9358a51fa2a9affc2e4431846423aaae730107bc5fb
lib/mixer/decl_ref.rb	100664	423 Bytes	25d8fe352c09d3b2419aca744eeb848a0dce5a24a498e33cc7b56bb98308c2eb
lib/mixer/domain_ref.rb	100664	260 Bytes	8fb5fd26117439f5701920e28b1b3f90c5151f7dd2e85a7d3ac0ee3088ea6319
lib/mixer/scope.rb	100664	1.99 KB	17e91643efcc2641e7f8cfb3f5dacb8cfb35d41bc5e68dd1e5e7f0eb3f754fe2
lib/mixer/scoped.rb	100664	299 Bytes	d63a27e1c0d36cb7cd589cb2dc06974916357a4dae6628d5e87b65220f08bf60
lib/mixer/symbol_ref.rb	100664	387 Bytes	67a79c745cbcfe699cbee7717401a931b88b59102925e3533e4fe898268082d6
lib/mixer/type_symbol.rb	100664	2.13 KB	ae3cae6ddcee7cb95335edda73c3e3f4f9cccc87db571d3f81324f36ec9f100b
lib/plugin/plugin.rb	100664	11.3 KB	e345b17641c6fb1fbcf779fdd09bad61cd5e1f173ce9ccfbb24db8355e9658dd
lib/resources/correctness/accouns_type.tla	100664	123 Bytes	f57df65f76057bc90451ae7f9c298af6b9200e2c98fe588b844b0736b7870f11
lib/resources/correctness/accounts_unique.tla	100664	144 Bytes	74996aaf782e717e8f8e8b4184238436c799b10a7497ea28da882e2f7ff0655d
lib/resources/correctness/accounts_valid.tla	100664	160 Bytes	2c39aac40c5772e76f025afa086248fd343ab1262fb2a5779397d5c2414528a4
lib/resources/correctness/storage_root_unique.tla	100664	154 Bytes	e16acc129d76f533cff8e5cd1c12e0ae5032b5300f7f6546827cac713717cdaf
lib/resources/correctness/total_value.tla	100664	145 Bytes	3a9953cfe3001c8b4533ae554b8e5747a84a798ebc59a49f9dee4acfdd3e68c2
lib/resources/eth/accounts_state.tla	100664	66 Bytes	873239900c438e76b65ce347a39aeb5f186b456d194a40f38087e03c3cb085b6
lib/resources/eth/accounts_temp.tla	100664	81 Bytes	d7dd11a3010965603bdb37a30d652cbdc1eeae7de06aab598083d618392d8c59
lib/resources/eth/address_free.tla	100664	130 Bytes	33bdfce4636eae0841cd925cc29c40993f9d18e33695fc454d12ba294cd3ac1c
lib/resources/eth/mined_state.tla	100664	43 Bytes	3efc4457d2e1cff3ecc50dfc068d9b316389e9a0d5fe1869c02969c7efceddbd
lib/resources/eth/storageRoot.tla	100664	50 Bytes	333162b11c917abc891c35e441896386f3f4b43bf1fae855a590013f7be55761
lib/resources/eth/storageRoot_temp.tla	100664	57 Bytes	0cc57f4cf33f5100c75f8e9a09133ac3b6c11a949e3c382f1e0304477fba5380
lib/resources/mine/mine_entry.tla	100664	141 Bytes	059622f6d82474388b3a5e90f72b87333adb474edc2fc1456eb74c167be8a0e4
lib/resources/mine/mine_service.tla	100664	792 Bytes	eecbeb07e1c6f6af8b05a8ff7f73db554d603a2ba7d6cbc0fbe4b127b4251c55
lib/resources/operators/elementExists.tla	100664	112 Bytes	47fcbcd172a40d9b7f3f27a651e38e5cf406fb563d39c5b784d1eb2fba064674
lib/resources/operators/gasPrice.tla	100664	58 Bytes	0d52a781a74835a41ebe5d86e3ecbc38157f64e3164d5cfa992346d838ad776e
lib/resources/operators/gasValue.tla	100664	70 Bytes	22e535fc11e0fcf92445c3e82e28bdbeb07e22bbc585f6411ed4630e0d124587
lib/resources/operators/getElement.tla	100664	192 Bytes	96a6136bca7ade059fdf58e0f9d539c105d41fe5f76eb35b01cd277f1d600691
lib/resources/operators/intrinsicGas.tla	100664	136 Bytes	93d38edd4e149646c111e2bda7429ea4f1d94f5a22e769810d03d9c1e76c5124
lib/resources/operators/transactionGas.tla	100664	81 Bytes	a15a27ef5db620e879b327ebdb1e5e4374704ec1f933dbc1e81e72431fcb46d9
lib/resources/operators/upFrontCost.tla	100664	200 Bytes	0bb418eef1a83bca58fb6d1f425e37ab01564320d256edba7530f3b097429f14
lib/resources/personal_newAccount/personal_newAccount_done.tla	100664	475 Bytes	f9ac54279125785dced922a453dd302cedcc07b9b074387e04fca5543cde7f30
lib/resources/personal_newAccount/personal_newAccount_entry.tla	100664	376 Bytes	0558998d6dcc4ffcc60ac8b659920dacfc4e0f4dbbda85d254f5f760271a9696
lib/resources/personal_newAccount/personal_newAccount_service.tla	100664	1.22 KB	5c826e5f1692678f743676f9a5728d3f81369272e99ad71f52ddab4b1f4cd384
lib/resources/removed/sendTransaction_entry.tla	100664	127 Bytes	22b5482951e0f80286746872c6d0a1d7c3cf42d66d2eed1051ef3551dad9c628
lib/resources/removed/sendTransaction_service.tla	100664	991 Bytes	b09fbe58dc82007b941d60a438c261c9c8d02f69af39592d3c05340c65aa83ce
lib/resources/removed/tst.tla	100664	12 Bytes	f1a22f66aed20f6fe1b393d0a4c2e7b4a8010e7c19c7d6901c0fcbe38a1cc4e7
lib/resources/transaction/ethereum_service_done.tla	100664	1.12 KB	eb110f2abe365943a4c037dfdab3739a0ba4f70d8d7ee858a367f15b99e9c17d
lib/resources/transaction/ethereum_service_pop.tla	100664	803 Bytes	0590803084938512e9d8f0b10ef0a09996d503a89e048dda322ff65d30adc4b7
lib/resources/transaction/ethereum_service_push.tla	100664	480 Bytes	76f4b7c3d8dee0f35cffc9539c7d4e08abd76b7dea2524106159a0a30bd67ee6
lib/resources/transaction/ethereum_service_start.tla	100664	380 Bytes	159b7de9bcfb369ce0c77fd47fde18b4ecaa3ab6f3c15b031a14320fb8a1ac13
lib/resources/transaction/status_fail.tla	100664	21 Bytes	a7933ff81752161528b02546b96c410126b7990c9b0c7ae5ff3c99132d85a641
lib/resources/transaction/status_ok.tla	100664	18 Bytes	674110d9f74b53036de9269be12de7d18d638dff32072f6da071d36aa20e9d8b
lib/sbuilder-ethereum.rb	100664	1.38 KB	bf73a9948c8fc340367e3dd2154901554dfa96c287faf4e9586e6bc67f72b9f1
lib/sbuilder/compile.rb	100664	4.84 KB	26ed0422dcd8bde6a70200970f7505a30683e3078f037d822c933bfaae8de05e
lib/sbuilder/constants.rb	100664	2.44 KB	bb9055aee7138f329eee05d0c4ed6cfda77755100cdac8c90a3c0cfe17d1fd13
lib/sbuilder/exception.rb	100664	551 Bytes	1467ade81545b3463af4b338741bb2ae7be3c243b037690ac20510929736c99b
lib/sbuilder/generate/sexp_processor_tla.rb	100664	101 KB	a415a87d2dcdbf819b43f419e2357278f7bb237905c44ae4233dca69531107e2
lib/sbuilder/generate/tla_element_generator.rb	100664	38 KB	f40ff98c4ac0ee549a8ff5971066e8e80accd1072d5a31666e95ea0beab1fb5a
lib/sbuilder/generate/tla_element_text.rb	100664	25.1 KB	73aea21a83c32675520b2577ff6efc4352168413bd691a368ba766f5f2c7042f
lib/sbuilder/load.rb	100664	3.52 KB	0c3e2a582e1539516874396c864b6b5e99a4d7be3beb8ccd11ddc70bc786b281
lib/sbuilder/mustache/renderer.rb	100664	3.74 KB	8ea513d907b898c49564ea25682b063c4f74cec7cad25671eec16aa6f877a146
lib/sbuilder/render.rb	100664	3.94 KB	a046e269e22a8e47160cce827b8153c68f618bd40d1782cbe059c4c6b9190b47
lib/sbuilder/s.rb	100664	295 Bytes	8869f81cbf75d457ec0158310d1ced87000e48f851b266724b63b766cc83e892
lib/sbuilder/sexp_ast.rb	100664	24.8 KB	d03e28b9e95bd3ecb7ac6a060a860777a4befd6d4f3b911850f1aa403a6c9e5b
lib/sbuilder/sexp_processor_api.rb	100664	6.03 KB	6f7b68a9fa80476ca54dc7900e26a3a33b199b113cf63f3791b227e0bdcf4bcb
lib/sbuilder/sexp_processor_canonize.rb	100664	10.4 KB	8051d0d7c39d1887ca16a9f3e693c85c2039504e6ea2bacba6ddf34b3cb71b28
lib/sbuilder/sexp_processor_dataflow.rb	100664	14.9 KB	14b980c372e2c68761b3d011bacf41fd13825de4e1b886eb694e88ca0f523ca8
lib/sbuilder/sexp_processor_ethereum.rb	100664	2.57 KB	c15f34b00b24f8b9fc7023ea9618ea54d8c8ee72cc13e8ed9f89175331f7c36d
lib/sbuilder/sexp_processor_need_to_canonize.rb	100664	16.6 KB	2c1adddebc19d55487741b29611d4eda878c8b2cf537d37f01e85a1a9034ac9a
lib/sbuilder/sexp_processor_snippet.rb	100664	4.81 KB	30a0f5cbf3a8fa5c593e244d9873527d5bf8e8468bc8f59af943a203de3da84a
lib/sbuilder/sexp_processor_symboltable1.rb	100664	8.61 KB	2991410a7f05d27590d90400297ca1558093bd909d70a7072be9012ca0990922
lib/sbuilder/sexp_processor_symboltable2.rb	100664	6.3 KB	40701edd8f71e7f35371e47e051a7b0413ab503d890055161acd59a25bfc979c
lib/sbuilder/sexp_utils.rb	100664	11.6 KB	92e68e449e137c6468ec7805b30cb7d463afa091982327f9e24ce414c912f8b3
lib/utils/logger.rb	100664	1.42 KB	b7f58c2f7f7f5dd81f45bc5b7f3fe6e462d2a548f0097fd1e1a94b25d3a5c879
lib/utils/string_inject.rb	100664	326 Bytes	9eac18fb73b939318dd8b8621395e0b29e18a3008e9f5f35b1d9bbedfdc2730c
sbuilder-ethereum.gemspec	100664	1.23 KB	1b8e6ebb8a50433bea4d9c86a4ba40fb46ede96f67452c09f3f151f24461cdf7