.gitignore | 100644 | 0 | 0 | | | 38 Bytes | f999c593842a0d7d21b8b2e239f407e71e79ef8190ea279c267b848b10e4b805 |
.rspec | 100644 | 0 | 0 | | | 30 Bytes | e3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b |
.rubocop.yml | 100644 | 0 | 0 | | | 2.94 KB | c19545526ea8def276ef25dd4b1bf9335ae641e9c25238353b29bc906c7ad190 |
.travis.yml | 100644 | 0 | 0 | | | 477 Bytes | 45c9ba94330d1c0ead8e30d9a21d06a64fd3f8f32866becb465ea449d418f354 |
CHANGELOG.markdown | 100644 | 0 | 0 | | | 6.85 KB | ade7b7bb9bd4fefb9b3595b1cfc45227413708140aa13e92f6f50bd1e8392ba5 |
Gemfile | 100644 | 0 | 0 | | | 265 Bytes | 53b2a721856eb26e8ab195b3eea939a63589f2469ebed37f0c997517224f1a4d |
LICENSE | 100644 | 0 | 0 | | | 1.27 KB | a8efd2afd258cc3fa8a449e22ad53f839d2b774778201f6ee90a05952eadb83e |
README.md | 100644 | 0 | 0 | | | 3 KB | 0a1ca4e4fbafd9363c715fcb0d54792daffc85b7015a9c4616ac092c85c26078 |
Rakefile | 100644 | 0 | 0 | | | 216 Bytes | 1d2dd533c12239bc1a8d735225c51946204bc30697e5b6ea7f5b9abb9588e018 |
TODO.markdown | 100644 | 0 | 0 | | | 471 Bytes | 8cb911650e5062bfcaf9e10d5965a59a06843adbb55b28cfce26a32f4bd3b4ed |
TUTORIAL.md | 100644 | 0 | 0 | | | 25.7 KB | 174751b61f37c9998d02394800d88c2f0df944f61dcbe813f408e0ee18696089 |
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 | | | 622 Bytes | ac2ec4ebe2f5af95074338a699ba0886a6141b14d968c09f74bd34f40791bcf6 |
cucumber.yml | 100644 | 0 | 0 | | | 28 Bytes | 2f0a4ac320145dae3ce5b5570690f52e7a741c8eca8d37f05e1c4e90efc8c000 |
features/README.md | 100644 | 0 | 0 | | | 518 Bytes | 9dae351d989a5c8b8aba3a5f24b1b0c05dc2a28e02626fc6bc7979e1bbb05b34 |
features/basics/functype.feature | 100644 | 0 | 0 | | | 1.54 KB | 45adeee11d1322f5af196095dfa195fb633e491d06b3aaffca9c48963aea1694 |
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 | | | 7.53 KB | ad4987d2f5ce02b5abd2c4a01d8ba588c9d848730ffa99db0355b7fe76546a2f |
lib/contracts/builtin_contracts.rb | 100644 | 0 | 0 | | | 13.3 KB | 3ef9944c3d04524f2117ddb68f2fcd5678f4c18dad0c1932ee1da8eb68cb368a |
lib/contracts/call_with.rb | 100644 | 0 | 0 | | | 4.13 KB | 6170548a8ec0c63d5978f3d70e465606f1470fc1e8c4e68c48adcba8304fd033 |
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.65 KB | c84c11729cb3f92ab336cd60cb0805126716f5433d63d7a186b2bfc6695135f5 |
lib/contracts/invariants.rb | 100644 | 0 | 0 | | | 1.62 KB | f93f0938258e9f847b3d5e1eb818693ebdca2405bd7f20aa56043dd261b3fea4 |
lib/contracts/method_handler.rb | 100644 | 0 | 0 | | | 5.75 KB | 5f8449901e5dfee74740bfdbcfc684f24e1fa098876a3ea9d7b96baa49679921 |
lib/contracts/method_reference.rb | 100644 | 0 | 0 | | | 2.56 KB | cf70fbea2a8ffabd7ad902294fffc99e400c43f70a6c721e009192d26d6e3635 |
lib/contracts/support.rb | 100644 | 0 | 0 | | | 1.49 KB | eb13720297f310faaf7c32d8af2f7983237ed516022978a648e59dd3bf23e8ad |
lib/contracts/validators.rb | 100644 | 0 | 0 | | | 3.44 KB | 1e9cd181004298cf655e03c33524a9cd8e3030f3657146f979a5233fb8d29f0a |
lib/contracts/version.rb | 100644 | 0 | 0 | | | 42 Bytes | 12b4bc6313b0063d94e9393bc43709e635494bc4a1c65e1ba751b2cdaa126484 |
script/cucumber | 100755 | 0 | 0 | | | 106 Bytes | b376ec94ca37178df77e4a9c3ef9ec1e12244c13b300ed0e8dc3cfbd96311321 |
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/builtin_contracts_spec.rb | 100644 | 0 | 0 | | | 11.5 KB | 2e4d7088f05a4dc7ed9cac74da777cdf92aba69b2a2e94e7b774f2f2ef4192b9 |
spec/contracts_spec.rb | 100644 | 0 | 0 | | | 21.5 KB | 33942bb0ded5105982e425c48952ddca8bb6a33ae72d34505cf5522620b53f05 |
spec/fixtures/fixtures.rb | 100644 | 0 | 0 | | | 11.5 KB | 9c77b4c2e5a3c490136314a1f23149320843643f1d844546483fd61f42615de6 |
spec/invariants_spec.rb | 100644 | 0 | 0 | | | 611 Bytes | 1b50be48e0e54e28be8ef39f4eb6dc8e174f7d6692bc04584b0409b8f71bff12 |
spec/methods_spec.rb | 100644 | 0 | 0 | | | 1.24 KB | a8e8f35b30a901a14c532bd136cb3842afe1bd83c0a1a3d38445d41fa951ad9a |
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 | 4581c207a5702515c54e8382d7e73d64a3ac4be895bac842b6a78eaabd70b0bf |
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 |