.github/workflows/code_style_checks.yaml | 100644 | 0 | 0 | | | 720 Bytes | 79464af8f2bdadb1245e8944311034713812dbf9ce0d2888f37e87daf6fdb6b4 |
.github/workflows/tests.yaml | 100644 | 0 | 0 | | | 1002 Bytes | 77c3d312f1533a95b13953fd15506b5366c697ffcc41a3b681e7be9def699b9d |
.gitignore | 100644 | 0 | 0 | | | 47 Bytes | 6474b372f56ce6165c8d1a0aecf8f399b980bd59495f9f7afa0b3a51a3f43a9c |
.rspec | 100644 | 0 | 0 | | | 30 Bytes | e3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b |
.rubocop.yml | 100644 | 0 | 0 | | | 3.08 KB | 16aa5eace0f7b4dc7358633e47bec9c7e355acda8db608780072119f8dab409a |
.rubocop_todo.yml | 100644 | 0 | 0 | | | 3.62 KB | 1781492a0981b39dbf6a4952d2ea913b9c1deed6815fe14b83f895d9e9bd7e48 |
CHANGELOG.markdown | 100644 | 0 | 0 | | | 8.75 KB | 8afcd4ac2a885ef690f8f871f05578dd2a5de4bfe767227c6bcb8cc88b4c6c7e |
Gemfile | 100644 | 0 | 0 | | | 266 Bytes | a8c305398a04db5923407160bb2021cb15f24daad4bd17579f77def673450743 |
LICENSE | 100644 | 0 | 0 | | | 1.27 KB | a8efd2afd258cc3fa8a449e22ad53f839d2b774778201f6ee90a05952eadb83e |
README.md | 100644 | 0 | 0 | | | 3.16 KB | 67dca9f2538a093700a74d409e7468a31bd8da396fe20eda85106ce84aec46b4 |
Rakefile | 100644 | 0 | 0 | | | 178 Bytes | dc4653a5fe6443d819678c8204eb623e3a1b5980d96e2adab355b07a1b2821f3 |
TODO.markdown | 100644 | 0 | 0 | | | 471 Bytes | 8cb911650e5062bfcaf9e10d5965a59a06843adbb55b28cfce26a32f4bd3b4ed |
TUTORIAL.md | 100644 | 0 | 0 | | | 26.4 KB | d8281548fb7e4b953e272148eb066a7897703f89912066c664a09ca493d28992 |
benchmarks/bench.rb | 100644 | 0 | 0 | | | 1.36 KB | 5fc09b2cadceec044851f7f5189f2a100eb9ffc3b462e62df89dddd26d4129b5 |
benchmarks/hash.rb | 100644 | 0 | 0 | | | 1.48 KB | 6958b104d98c091ea932f1037d968b38c3400c81182b7f533e09e4f751e6caf4 |
benchmarks/invariants.rb | 100644 | 0 | 0 | | | 1.89 KB | ab28015ca21ec096a2d5a7e02f3661abd84ec231cb2fbdd20e88ca01f1b7069c |
benchmarks/io.rb | 100644 | 0 | 0 | | | 1.31 KB | af37441e8a57f85ed687f4aea265f9a4d237c5ff53dd5c81a3d36686a17d631d |
benchmarks/wrap_test.rb | 100644 | 0 | 0 | | | 981 Bytes | 341eff439a9c3428f90f5a0f0e076d41bb484a5d5a3df9659fd042dbdd8ba4af |
contracts.gemspec | 100644 | 0 | 0 | | | 816 Bytes | 7fe4a4f39fea3d51957a0250a4a0cf133ce4887fd67010292da2fb078db1937a |
cucumber.yml | 100644 | 0 | 0 | | | 28 Bytes | 2f0a4ac320145dae3ce5b5570690f52e7a741c8eca8d37f05e1c4e90efc8c000 |
dependabot.yml | 100644 | 0 | 0 | | | 441 Bytes | 8a7a03239b816383e10978f8469eedb2ca5ebbf7861f6164d72bba8b0ba54bac |
features/README.md | 100644 | 0 | 0 | | | 518 Bytes | 9dae351d989a5c8b8aba3a5f24b1b0c05dc2a28e02626fc6bc7979e1bbb05b34 |
features/basics/functype.feature | 100644 | 0 | 0 | | | 1.54 KB | 45adeee11d1322f5af196095dfa195fb633e491d06b3aaffca9c48963aea1694 |
features/basics/pretty-print.feature | 100644 | 0 | 0 | | | 6.86 KB | e646f5c75e735d29249dd7d937c3341034b84c6f305c36d26d1058b7ed58902c |
features/basics/simple_example.feature | 100644 | 0 | 0 | | | 5.6 KB | 5e2dbf8306d3f9674c7eb97dc29bb87e9c14a0166bfd46fa8ad11ba89db8319f |
features/builtin_contracts/README.md | 100644 | 0 | 0 | | | 612 Bytes | 0fc801822ddf2bbae6ae59f4dc7493c0026359fa7e51f2742e6e3ef9b10db254 |
features/builtin_contracts/and.feature | 100644 | 0 | 0 | | | 2.73 KB | 09102139cb3df31bab6176b8349a614decc235dfdba63017e0c8ead259d2ccc0 |
features/builtin_contracts/any.feature | 100644 | 0 | 0 | | | 788 Bytes | 6ab09826e847d86e957dd21413719312bcf0847b9c7a1c2f4bd6eabfb92f54ab |
features/builtin_contracts/args.feature | 100644 | 0 | 0 | | | 1.95 KB | b7b44a9ba39e85ce1b149d002604b8f4699d8ff0a9ae7fbe29b28879952fc3e7 |
features/builtin_contracts/array_of.feature | 100644 | 0 | 0 | | | 24 Bytes | 2bbeb1566ac3ba3effe9141a27ea995e573581d8ae27ce38cecf64a4a5bc16b6 |
features/builtin_contracts/bool.feature | 100644 | 0 | 0 | | | 1.34 KB | 2cd7b849cfeee2cd260a1749ff1463068408619e91df73b25b98ebfba6c524b4 |
features/builtin_contracts/enum.feature | 100644 | 0 | 0 | | | 21 Bytes | f14ab8a8cc5f6091776450b0ed0dadef11d892a80d06c9ee086d48297b3b9599 |
features/builtin_contracts/eq.feature | 100644 | 0 | 0 | | | 19 Bytes | 94f382608fd984ab91af0e7335306ba551198e35b70cd0e17d7c42b70b1aa9a5 |
features/builtin_contracts/exactly.feature | 100644 | 0 | 0 | | | 24 Bytes | dd4b917302aa177c419f8e9a292b7b2c930a03ad6fad34da219d58be08ccecc9 |
features/builtin_contracts/func.feature | 100644 | 0 | 0 | | | 21 Bytes | 8b6c5831ae65b3dd0f1f290aa86a571aaec16f881ead64e49094fd4ea2f70336 |
features/builtin_contracts/hash_of.feature | 100644 | 0 | 0 | | | 23 Bytes | 100085c41b3ee8848ea34eaa4859c1c67452e2dbac160d3f8a0326707014a336 |
features/builtin_contracts/int.feature | 100644 | 0 | 0 | | | 2.09 KB | 42e0a8149ad3d8d0c3fbbbc20a5064c462a86cbcc89ed518c09aa4d195d6bab3 |
features/builtin_contracts/keyword_args.feature | 100644 | 0 | 0 | | | 28 Bytes | 3813d0e5b05d49a969cdb83d4712f8b63cc489ff99a247c318f41656d9f81d5a |
features/builtin_contracts/maybe.feature | 100644 | 0 | 0 | | | 22 Bytes | e7076cb7f81de70affadb452f41dc058721935e95394013a559c78cad98e552f |
features/builtin_contracts/nat.feature | 100644 | 0 | 0 | | | 2.86 KB | 859a124816f52b1f7f0a8d1595a21fa838d17f3ac7faa7a5335f73038f6e77ef |
features/builtin_contracts/nat_pos.feature | 100644 | 0 | 0 | | | 3.25 KB | 97156a94261fb39fedaa51368bbd315351b666e5f64cd2eaccd5d563760911ca |
features/builtin_contracts/neg.feature | 100644 | 0 | 0 | | | 2.99 KB | 76beba3075dae1496415c3edd59221a8390b764c7dde2e2523c57f1a595485b3 |
features/builtin_contracts/none.feature | 100644 | 0 | 0 | | | 3.46 KB | 1d334fee2f83fbe8feb1170fd1ddd6ef606ff13c31d58002a3838450daf28e0d |
features/builtin_contracts/not.feature | 100644 | 0 | 0 | | | 20 Bytes | 215ae819be951884b95e31e30de10d2ccf0a042f512392c8beb445d4530448b0 |
features/builtin_contracts/num.feature | 100644 | 0 | 0 | | | 1.35 KB | a0ad87b9e860027815ed3754bd74ad276946722ae9f189ca473396caca1cd748 |
features/builtin_contracts/or.feature | 100644 | 0 | 0 | | | 1.98 KB | 8543fe36f4df32f028038d958c665c32631b64d76a5b604afe2b5f2f7ecf5e3f |
features/builtin_contracts/pos.feature | 100644 | 0 | 0 | | | 3.01 KB | 2510a522e543822fee5effa448a537743fc92b5da7d801e5ffcfe1a419e184e3 |
features/builtin_contracts/range_of.feature | 100644 | 0 | 0 | | | 24 Bytes | 190b2f1b276f84d130a1d64c5a4179434d123aba6af3ddaf633ba1db944923e7 |
features/builtin_contracts/respond_to.feature | 100644 | 0 | 0 | | | 2.09 KB | 3a8027cba19e3fec2226b63e02693ceb6a0eab8b3a47865db6c645cd73a48789 |
features/builtin_contracts/send.feature | 100644 | 0 | 0 | | | 3.11 KB | 233eafd5d65e89b0c494da244c0177ff037becbb0120130162f96633ae722caa |
features/builtin_contracts/set_of.feature | 100644 | 0 | 0 | | | 22 Bytes | de4ef760d41e18008561904dccdf6dee978a52ff58529556b2bb3969f6821625 |
features/builtin_contracts/xor.feature | 100644 | 0 | 0 | | | 2.56 KB | 091e73cabfaf105f58b03776c0f157e7ad3d4aecbf5ebb51911eed5d53832d03 |
features/support/env.rb | 100644 | 0 | 0 | | | 149 Bytes | 2cd1322606b0e76f5a2c398f4e81dc869533a76c7dda3e6aedf1c71474936cbe |
lib/contracts.rb | 100644 | 0 | 0 | | | 8.43 KB | b7fc8fe43b3782810e7e1f7276b96826e387430090f33c3c19e669212b5f02e9 |
lib/contracts/attrs.rb | 100644 | 0 | 0 | | | 552 Bytes | 5b3f126f5ac9f5964ba317256608dc6b6f9ae0016dbf6f244bd9aee4a723010e |
lib/contracts/builtin_contracts.rb | 100644 | 0 | 0 | | | 13.4 KB | dc6411aa2099c61b4154e16376b1c80f11c1b8c7629d71b65fb0dbe26512ff52 |
lib/contracts/call_with.rb | 100644 | 0 | 0 | | | 4.25 KB | bd05cc9d485021203f72e6148e84f02d639a27fe5a2a3e18d70e80efd1dc86a3 |
lib/contracts/core.rb | 100644 | 0 | 0 | | | 1.31 KB | 8e5ba5ae1fe75106a70e75a969df0bc1da0576494c2f24bc5e1693c978430fd9 |
lib/contracts/decorators.rb | 100644 | 0 | 0 | | | 1.2 KB | efaeadcdce2bdf4672b8332067a2571207cd3659a2f48c73fe1c28a195cc19c9 |
lib/contracts/engine.rb | 100644 | 0 | 0 | | | 638 Bytes | 8bb665779cb8efc153a6e92ae31d03bfd23e2e0e722e180c0de5e961044bd905 |
lib/contracts/engine/base.rb | 100644 | 0 | 0 | | | 3.61 KB | 0273d43db06a4d53a07be027c23e3c4793140c68ee84562e181c47fa4c3630d5 |
lib/contracts/engine/eigenclass.rb | 100644 | 0 | 0 | | | 1.44 KB | 0522febb018a127ca96c6497df3d009db35f4a2c54b1ee3640df739a4f155c8d |
lib/contracts/engine/target.rb | 100644 | 0 | 0 | | | 1.76 KB | f52152184bd7684e1eaa7b732b13101b6756c9cfa1f475d1f88ad79d548e7960 |
lib/contracts/errors.rb | 100644 | 0 | 0 | | | 1.69 KB | 7c26844e73332ae50a879c66449db64236d0d89667c10410094bf3801cb9d97a |
lib/contracts/formatters.rb | 100644 | 0 | 0 | | | 3.64 KB | c21863f5ac8d74c135cb7b9087d15023d232c91f3a87687f514466d360e91c38 |
lib/contracts/invariants.rb | 100644 | 0 | 0 | | | 1.62 KB | f93f0938258e9f847b3d5e1eb818693ebdca2405bd7f20aa56043dd261b3fea4 |
lib/contracts/method_handler.rb | 100644 | 0 | 0 | | | 5.61 KB | 92a663ae23b852d68507b68e6a4a2d0d051b919d7eb039630714e928d1170f1b |
lib/contracts/method_reference.rb | 100644 | 0 | 0 | | | 2.56 KB | cf70fbea2a8ffabd7ad902294fffc99e400c43f70a6c721e009192d26d6e3635 |
lib/contracts/support.rb | 100644 | 0 | 0 | | | 1.44 KB | 3e3cfa9698b81c05679a0353710ef1962c8a5c279931b476148ddea7de66a01b |
lib/contracts/validators.rb | 100644 | 0 | 0 | | | 3.44 KB | 1e9cd181004298cf655e03c33524a9cd8e3030f3657146f979a5233fb8d29f0a |
lib/contracts/version.rb | 100644 | 0 | 0 | | | 42 Bytes | e34acc4b8d8b4a703500f175b0a681c43ef173267644afe8f3958c50cdd895bf |
script/docs-release | 100755 | 0 | 0 | | | 58 Bytes | bdec9f0c435ae7db425fe0a51e7aa908c3835bca3b9e3a131835399b8474af2a |
script/docs-staging | 100755 | 0 | 0 | | | 66 Bytes | 561dd1cc1018c97ee983752f12d051f562ea832bf64bdc1a0070515503ff6925 |
script/rubocop.rb | 100644 | 0 | 0 | | | 131 Bytes | b80a021f337c1c28bb546b32f4977688d8cfbd42ec9a937587be4572feb2aeaf |
spec/attrs_spec.rb | 100644 | 0 | 0 | | | 3.07 KB | e3aa3f99ec69963f8ce40ed436fdbb2fcf29119a0780c2386042da301f58372b |
spec/builtin_contracts_spec.rb | 100644 | 0 | 0 | | | 11.5 KB | 4e16b550c9e6438bcf22ee5d0ff1d2cfd952c437780048c54b68afce31e84485 |
spec/contracts_spec.rb | 100644 | 0 | 0 | | | 22.1 KB | 197f74f58cba58eb13a614539dad559292443402142eedfcdb639b4f54bbf7dd |
spec/fixtures/fixtures.rb | 100644 | 0 | 0 | | | 12.1 KB | 6918c5eb27a9be3c1f56f82b3863c819c73a7dadad7aca8aba52bdf40bd570e6 |
spec/invariants_spec.rb | 100644 | 0 | 0 | | | 611 Bytes | 1b50be48e0e54e28be8ef39f4eb6dc8e174f7d6692bc04584b0409b8f71bff12 |
spec/methods_spec.rb | 100644 | 0 | 0 | | | 1.32 KB | 6a8358779ac6bb912d77c068a510e7aff604b180c4959ba8f4f66a8d1819a323 |
spec/module_spec.rb | 100644 | 0 | 0 | | | 379 Bytes | decba756eb0d44773c4b90910afb9a4c9211206eb4f1bded90809335fbfe6e6d |
spec/override_validators_spec.rb | 100644 | 0 | 0 | | | 3.83 KB | 22eb9d76701627982ceffce5fee23232665d70545c2baae5e556c911cb6ebf92 |
spec/ruby_version_specific/contracts_spec_1.9.rb | 100644 | 0 | 0 | | | 540 Bytes | 4b2fddef110d9a52f0080de2610a33126bfc49ab369a3c09c1f0a304c60eb10d |
spec/ruby_version_specific/contracts_spec_2.0.rb | 100644 | 0 | 0 | | | 1.7 KB | 78695554df6b36cc39025e7e8e42989ec386cb29f0c1e378796a31888d989c91 |
spec/ruby_version_specific/contracts_spec_2.1.rb | 100644 | 0 | 0 | | | 2.05 KB | 0aedfdeb4d75dfd5f35641c9f33004955f1f23151f69cdc852c9ec8d320b5eae |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 4.44 KB | da11bd7be9cc89d4dedb520c0235df00e34eddd6a44cbc36ac3402170316bb10 |
spec/support.rb | 100644 | 0 | 0 | | | 210 Bytes | 577ddd408c25109b35a5bc647c608bbbfc2cc9e4e7e1d5cea6580abb453399fc |
spec/support_spec.rb | 100644 | 0 | 0 | | | 689 Bytes | abf9fef6b9faaadcc89eeb2cfb569dfb534ab330802be8f9c76e9f42fe3409c1 |
spec/validators_spec.rb | 100644 | 0 | 0 | | | 1.28 KB | 1440bfae921cea0758fa87ba60bcf7ee0a3fd439b13bd7743adb92daeb0099eb |