bin/stamina | 755 | 0 | 0 | | | 206 Bytes | 6db7f3bb3d83cd2de423900a9f642586801f2f27bccd10c35af84e8409995392 |
example/adl/automaton.adl | 664 | 0 | 0 | | | 2.07 KB | 6425cb39cdfe0c66559e032bda47f51dd53720b0d80639b8cab860d6d5da5e85 |
example/adl/sample.adl | 664 | 0 | 0 | | | 2.38 KB | 09df72521dd2352b8e88d04cf11dc668b0b953d99c0c0042d387aaddc82adecb |
example/basic/characteristic_sample.adl | 664 | 0 | 0 | | | 346 Bytes | 30e0a48516e5fb725589da3568edfb8857e0a26398f85552444238793a17df35 |
example/basic/target.adl | 664 | 0 | 0 | | | 72 Bytes | 7479a4a15aa36610f1058ee0af9146d38f2ca709c748a51d9d6c7ddf747785cf |
example/competition/31_test.adl | 664 | 0 | 0 | | | 28.6 KB | 80381d63d29e1bb3465171dc2b33903734ad32dd91204b632879913ad97f9736 |
example/competition/31_training.adl | 664 | 0 | 0 | | | 28.3 KB | 60534b03afaefcc46e06b2f8ac36c7f133b7a70bc6ff21f18d5f813961eeb427 |
lib/stamina.rb | 664 | 0 | 0 | | | 539 Bytes | 950ccdef175d963a98ac84f74f324ce9631ce8cd83dafb7688b1a4c5291c5db6 |
lib/stamina/adl.rb | 664 | 0 | 0 | | | 9.93 KB | c462c27ba44f483e06ebc22ca8487194ae3ded316f3fac924862aff30dbcf265 |
lib/stamina/automaton.rb | 664 | 0 | 0 | | | 44 KB | 285104a4f8955bb8bf3f93c6c47736e9bb40c13c14617332f8c64ca8b1f314f6 |
lib/stamina/automaton/walking.rb | 664 | 0 | 0 | | | 15.5 KB | 230deca2dfeccb7ac930929c15e5467fd36a98e1cf8f0508a40069472918f1e4 |
lib/stamina/automaton/metrics.rb | 644 | 0 | 0 | | | 2.15 KB | 558d9b924c585c6f94edbd531647aa33a99cb6ab353dd44a0b1ead0c4371e5db |
lib/stamina/automaton/complete.rb | 644 | 0 | 0 | | | 785 Bytes | 3eb0a2ae497a1dd7ea442dd4801e7ff4060fa58464d6eae55f5587d5e79f0de3 |
lib/stamina/automaton/minimize.rb | 644 | 0 | 0 | | | 528 Bytes | bc829d98c86e21864c3c8197fddeb808872cc06db50987e8945095b0062bf370 |
lib/stamina/automaton/equivalence.rb | 644 | 0 | 0 | | | 1.77 KB | 4f2fa087d2463e33c11b651574bf54c6a91813cd9f9812d029a35a395d9e9ad4 |
lib/stamina/automaton/minimize/hopcroft.rb | 644 | 0 | 0 | | | 4.01 KB | 9bedcd6f26760c7d25bb573c6b9598b561d7e64804ded132293b7088d95f0207 |
lib/stamina/automaton/minimize/pitchies.rb | 644 | 0 | 0 | | | 2.3 KB | f709c33202e39f8d609c824a13f2847cf9ec2bd07b6f28bce706404b152b4a02 |
lib/stamina/automaton/strip.rb | 644 | 0 | 0 | | | 351 Bytes | 59f5d845fef7e53a1868dfbb7302170bb3c256e164ccc48d1de92c3b7904d2f3 |
lib/stamina/classifier.rb | 664 | 0 | 0 | | | 1.66 KB | c001a8c264bd1a88f7a221493929b204dfef06e4c8eb091de9592cf278cbacda |
lib/stamina/command/score.rb | 644 | 0 | 0 | | | 912 Bytes | c7574a8f9e5b44d1edb167fbc0487dee200e50e4e438a0314547d078eab8fa27 |
lib/stamina/command/infer.rb | 664 | 0 | 0 | | | 3.95 KB | 9971907eb5b14c1468148b9064dbe476986a4fb2b38e1469d084f246448f4cc8 |
lib/stamina/command/help.rb | 644 | 0 | 0 | | | 615 Bytes | b00ff05a56eb403c1c54b713d0eca562217b03c46f84694d3332057ffa6089f8 |
lib/stamina/command/abbadingo_dfa.rb | 644 | 0 | 0 | | | 2.1 KB | 3464c7b761cd6430ce117e64bd0486b545ddb96eb7ce985f1fbbfe9ca33234c8 |
lib/stamina/command/metrics.rb | 644 | 0 | 0 | | | 1.49 KB | cdbce8838813e0b8f57f27eb59a8b017aec523319eaca85cb22c3d19c937a6b3 |
lib/stamina/command/abbadingo_samples.rb | 644 | 0 | 0 | | | 1.13 KB | e1d041c7ffd138238a7db06648f7b484511e117432caedbf50877a9d6a875f54 |
lib/stamina/command/classify.rb | 644 | 0 | 0 | | | 1.2 KB | e754540fe6b565d5840e695ae689cd4823ba25828ba9b424619c99ef8ce9cc44 |
lib/stamina/command/robustness.rb | 644 | 0 | 0 | | | 745 Bytes | db034590f3949a3e1e65fdd7bd5cf2101e3dedc401aede61689404453b9547fa |
lib/stamina/command/adl2dot.rb | 644 | 0 | 0 | | | 1.78 KB | e8e03bf885c0f817af9b433481fa0df4e580585b43b0b3bbfa6b0327d5250700 |
lib/stamina/errors.rb | 664 | 0 | 0 | | | 649 Bytes | d7f7f62ebd06e2dfc6f306ea50895ec75e63e5bae28df59d0195cc79e7a12446 |
lib/stamina/induction/commons.rb | 664 | 0 | 0 | | | 5.92 KB | f81e18d354d0cf5a10b3df5c96dd7075f10abfee297ff13801ea708d09c800ec |
lib/stamina/induction/rpni.rb | 664 | 0 | 0 | | | 7.3 KB | 59c245819fda0cc7805204958f49e7550d9ab778dde4f995e428334ef3fb3573 |
lib/stamina/induction/union_find.rb | 664 | 0 | 0 | | | 13.5 KB | 040c8293c44a0805eb4f13def6db9e8efc2d692eeed2bcfc87fdb8e0ea359532 |
lib/stamina/induction/blue_fringe.rb | 664 | 0 | 0 | | | 10.6 KB | a9e5646e6789d48e0a9b4a96cb07becab5a07fffaf60565d08d1cbe3c16fb6dd |
lib/stamina/input_string.rb | 664 | 0 | 0 | | | 3.55 KB | 1d1cbfa3db99829329e4c935db455a689f199d7d71697f7daeb24bcb839abce1 |
lib/stamina/markable.rb | 664 | 0 | 0 | | | 1.26 KB | 4f4cf25393ca35034b95a00bfbdb276056a94e5c81d1764920ba9cf327061a2e |
lib/stamina/sample.rb | 664 | 0 | 0 | | | 7.79 KB | df28181621704155495115b26027b1c0534caa95b27f2815e6e8f44ada883032 |
lib/stamina/version.rb | 664 | 0 | 0 | | | 184 Bytes | 9e11bdefcab0db12d60c3006c814e69e56f756254dc23b1f9d1f0ffc8507d1a6 |
lib/stamina/loader.rb | 664 | 0 | 0 | | | 16 Bytes | 5f82e334552e96eac06a0d9930aeb9d9a115016b56b1f71337415eed8625b542 |
lib/stamina/scoring.rb | 664 | 0 | 0 | | | 5.77 KB | de59d17c6d4bbc716c094bae6c221779853a1766bd7c44ae53bb309a89686387 |
lib/stamina/utils/decorate.rb | 664 | 0 | 0 | | | 2.98 KB | b79f3551e670d15c3b07452b52041304421fa9069b90a89fb38ba78d0bf5c981 |
lib/stamina/utils.rb | 644 | 0 | 0 | | | 33 Bytes | 8d39e3a31bd085f780b513c9eea992943bfb65ba235d11143c554827f24c02e9 |
lib/stamina/abbadingo.rb | 644 | 0 | 0 | | | 81 Bytes | 099261671dd4e52b566f9bd430f819f1a503c12ab273b4bf92b575364b8af299 |
lib/stamina/abbadingo/random_dfa.rb | 644 | 0 | 0 | | | 1.29 KB | 0d75a198b2398568a5be4fb2692ea088977b577441d4dbad1473900f44c1a824 |
lib/stamina/abbadingo/random_sample.rb | 664 | 0 | 0 | | | 5.13 KB | cc00d0d18fbe5025cf680cb991ac5a2c1783346940ad20a3c3ee1ec1867f60ac |
lib/stamina/command.rb | 644 | 0 | 0 | | | 1.1 KB | 6da78a9706d3a04c525fa8bae7db8d4c8f9ad3bc911086073584fa4d5648d3c1 |
lib/stamina/ext/math.rb | 644 | 0 | 0 | | | 238 Bytes | 90c8d7d98d29508969a20e80046ce2619e2c50e75216fe3d6d2c2a657d3b218c |
tasks/yard.rake | 664 | 0 | 0 | | | 1.64 KB | e4c32831012ddd95b504764475ede6855d5033e01bc53c2d57b1aa120c2ca111 |
tasks/debug_mail.txt | 664 | 0 | 0 | | | 176 Bytes | ad8ae0e72d31daa91dc508a5485d3b6c3bab7493662fb2a1e3ba92b22a987865 |
tasks/gem.rake | 664 | 0 | 0 | | | 1.86 KB | 2fa5b97dd7ebabb1b07b7fd716b7579ba5a74e267a0c5d9556ba73da33ff49a9 |
tasks/unit_test.rake | 664 | 0 | 0 | | | 2.35 KB | 86a7a70f9546c6e40880da423444c838b6e4438f3960695dcfbbec3ca224934b |
tasks/debug_mail.rake | 664 | 0 | 0 | | | 2.29 KB | b9f8738c7934d1157138eba3e7a94e81e350fd80b5b066c2f2ffed77a71182c3 |
tasks/spec_test.rake | 664 | 0 | 0 | | | 2.39 KB | ef3e93bcbfd86846fc5d2da4885015d2b7816e7ef36558c968009d0d4d855c15 |
test/stamina/adl_test.rb | 664 | 0 | 0 | | | 15.3 KB | 3fc734df8c1ed4102b8cca4de1dc1ae1a6cd7687a743919d36033aac359c279d |
test/stamina/automaton_additional_test.rb | 664 | 0 | 0 | | | 5.32 KB | ea2a9a56b99be8171857b614a23349efa93e2b60f3794b90aa63b34a07477212 |
test/stamina/automaton_test.rb | 664 | 0 | 0 | | | 36.7 KB | b5c2bb3a1031978c9bc627a75d350e136eb6d06344df947d13d1ab73e2c7cb39 |
test/stamina/scoring_test.rb | 644 | 0 | 0 | | | 2.14 KB | e764e6a28b9244bedfa5504852ea04a47e523d14e77578ddb4e0c4493cfcfa7b |
test/stamina/abbadingo/random_dfa_test.rb | 644 | 0 | 0 | | | 398 Bytes | 595476a124867703e7ace89d2b6d82e794cbd25407e24d927401d59c5dc55413 |
test/stamina/abbadingo/random_sample_test.rb | 664 | 0 | 0 | | | 2.6 KB | be8d2a19f909f949fd0d484ffa9563d0ce0b6ee4ced6b33fa20986879e83872a |
test/stamina/exit.rb | 664 | 0 | 0 | | | 163 Bytes | a73e2464201683da9ccfa904ef3de2252f8b3f4904fedb6a2ac262efbaa0fddb |
test/stamina/induction/induction_test.rb | 664 | 0 | 0 | | | 2.2 KB | 18b10decdc1049a0ec7242903ae4efc38f5a83a26fb04d1bc0f251a1ffe2b58b |
test/stamina/induction/redblue_mergesamestatebug_expected.adl | 664 | 0 | 0 | | | 159 Bytes | 4f2140d84358514a65bd9ac13d4541c4a27ca28a240800d76bca58abaf11dadb |
test/stamina/induction/redblue_mergesamestatebug_pta.dot | 664 | 0 | 0 | | | 2.85 KB | d606285113daed2d060b5760d4de8f76a012159ed72f378b6895e7f0ece08f14 |
test/stamina/induction/redblue_mergesamestatebug_sample.adl | 664 | 0 | 0 | | | 142 Bytes | 64f2dd9bbf94c76947e6b970f41ae396e37c7a800a352ac65dd2203355cedcc6 |
test/stamina/induction/rpni_test.rb | 664 | 0 | 0 | | | 4.63 KB | 92bc31f4ae57bc40c4c4d51775a0c0c5ff1c78155d24d67e525b6cea335d034e |
test/stamina/induction/redblue_universal_expected.adl | 664 | 0 | 0 | | | 27 Bytes | d8653be41b8c319528e764a6d3e9873ba794a2db177cbb3215b49f4c47a9e61a |
test/stamina/induction/redblue_universal_sample.adl | 664 | 0 | 0 | | | 35 Bytes | 3b82f85db2ea8499a9da1c8a41521cc26f6f9b3766e530ac7cfb086870599fa8 |
test/stamina/induction/rpni_inria_expected.adl | 664 | 0 | 0 | | | 53 Bytes | fc9f8f5204721d12964cb81af16cfa06b50644781557aa510fff1f84b790181f |
test/stamina/induction/rpni_inria_sample.adl | 664 | 0 | 0 | | | 61 Bytes | e9f8eb8b4c886e09006fbb9445365e9908a3c0dcd3e4fddf64f46bc0ac94beb5 |
test/stamina/induction/rpni_test_pta.dot | 664 | 0 | 0 | | | 873 Bytes | da7c66e05ca92ae776cc1b4198fb7b22227a66aa6993145aabd080ff1c432296 |
test/stamina/induction/rpni_universal_expected.adl | 664 | 0 | 0 | | | 27 Bytes | d8653be41b8c319528e764a6d3e9873ba794a2db177cbb3215b49f4c47a9e61a |
test/stamina/induction/rpni_universal_sample.adl | 664 | 0 | 0 | | | 58 Bytes | 2d4ec94a511919f02850481be749d17965a3ed32027d6457615f9dd17371bda2 |
test/stamina/induction/union_find_test.rb | 664 | 0 | 0 | | | 3.95 KB | ebdf6fddb861c0f0911c85059fed26fb95ecc9504a35eab8c26e53548ffa3ef6 |
test/stamina/induction/blue_fringe_test.rb | 664 | 0 | 0 | | | 3.14 KB | 46b54036265b17290802f8edf7a17c990a8a207f5f4bfb4c9c45fbfa8e7eed1d |
test/stamina/input_string_test.rb | 664 | 0 | 0 | | | 10.6 KB | c124307a01592f77e29e378b77b294161163474716ffa5b6d1e11b31a7624e78 |
test/stamina/markable_test.rb | 664 | 0 | 0 | | | 1.85 KB | 5068f5fdd23e4667a377c935ef3a07475dbf0c0841a4fa36c1e620e88ed5570d |
test/stamina/randdfa.adl | 664 | 0 | 0 | | | 651 Bytes | 1901d7ef5f9180e463c4306da26e2c0b405a5b11607e8787e6aa4b5d90bd5c21 |
test/stamina/sample.adl | 664 | 0 | 0 | | | 20 Bytes | 5e705acf3d70ffc67708ec1e178e7a768563145bb583c58c25c535ab19531df4 |
test/stamina/sample_classify_test.rb | 664 | 0 | 0 | | | 3.83 KB | 14d571314fc9880e0ccdfbea085b840944618f5ddb0d5ead4880c58527072443 |
test/stamina/sample_test.rb | 664 | 0 | 0 | | | 7.72 KB | 9bef1c8301f928f18739d7997f5e8ef49c462b4da87046d2420a18b7ebe76041 |
test/stamina/small_dfa.dot | 664 | 0 | 0 | | | 372 Bytes | d9242b534b47f52504145dc60802faeeda278f44b9b17e87e4ee63ebfa560a4c |
test/stamina/small_dfa.gif | 664 | 0 | 0 | | | 8.15 KB | c53fbde20e5cef6c3f70a82ce82989c8c0bcba825c7442b161483fc018a19a33 |
test/stamina/small_nfa.dot | 664 | 0 | 0 | | | 419 Bytes | f97e7496769061555a4ba037461d9f503437aeea29df838de4c81988b81c70d2 |
test/stamina/small_nfa.gif | 664 | 0 | 0 | | | 10 KB | aeafe6dae3dae443752fdb116f7b64b375a536931554ae7e20a2289c8e5d07dd |
test/stamina/stamina_test.rb | 664 | 0 | 0 | | | 2.26 KB | 20252eafd1b130b8ce7065cb5d86d8460ed88e796a34150d8979f17ff93f3703 |
test/stamina/utils/decorate_test.rb | 644 | 0 | 0 | | | 2.13 KB | 3d0bf27aab79555fc6a45f83aca109d9b60d7c59383085a684175ad9439601b1 |
test/stamina/automaton/classifier_test.rb | 664 | 0 | 0 | | | 7.48 KB | cb50d6108c0c604223bff7f9879ab5115ace178f7978e01917a59c897673405f |
test/stamina/automaton/walking_test.rb | 664 | 0 | 0 | | | 9.86 KB | e68e3359f7a047ee714403da5e2fcd5cec435e994aa5bf3acbabd8fec36a6512 |
test/stamina/automaton/to_dot_test.rb | 664 | 0 | 0 | | | 2.12 KB | 49101057838d96c38fb2e7c6614a3119b917984d7662183abb5e34e6dc397719 |
test/stamina/automaton/metrics_test.rb | 644 | 0 | 0 | | | 744 Bytes | 482713139a9b4fdf3c5cefa611c0c67b29c9abca28a450f6225eecc4245445f5 |
test/stamina/automaton/walking/dfa_delta_test.rb | 664 | 0 | 0 | | | 1.06 KB | 586a5ead4794b07b78a41066ffe48ba8a841a2bc5527498bc245bec8b84b8297 |
test/stamina/automaton/equivalence_test.rb | 644 | 0 | 0 | | | 2.89 KB | f8c0815512fd5ede5f131ec89160de607bc869877e61fbdfa44c19e9f1d8c012 |
test/stamina/automaton/strip_test.rb | 644 | 0 | 0 | | | 806 Bytes | 13f3051d59c0a043e50a65953caf4237b5686add9f05acda8164aca2d8953bdc |
test/stamina/automaton/complete_test.rb | 644 | 0 | 0 | | | 1.72 KB | e118cfad3901f7c9541a7d1fc44c4fe7820eaf84bf494efac8c9920e74442026 |
test/stamina/automaton/minimize/minimize_test.rb | 644 | 0 | 0 | | | 1.8 KB | 173821ba305e6dfa9755980e88f80e1c48d7f449564904db1de61f3159d3ff06 |
test/stamina/automaton/minimize/rice_edu_13.adl | 644 | 0 | 0 | | | 99 Bytes | 75e664c9ae155cb123551dd240dbd0ea990c96b82fc322f567b9a509d3f9b4d1 |
test/stamina/automaton/minimize/rice_edu_13.min.adl | 644 | 0 | 0 | | | 49 Bytes | a3a11702128278e93fbdd33d862005c4edfeef358690892d318b6238dd7f6d16 |
test/stamina/automaton/minimize/rice_edu_10.adl | 644 | 0 | 0 | | | 133 Bytes | 03a9ca4152abf745ac49422031956537ca03f32740ef4d166a08cdc67291bf0b |
test/stamina/automaton/minimize/rice_edu_10.min.adl | 644 | 0 | 0 | | | 106 Bytes | daf3dc3b4a6ef267acef14bd220a5b1137026172ce13077e3814dbbff04aafe2 |
test/stamina/automaton/minimize/pitchies_test.rb | 644 | 0 | 0 | | | 301 Bytes | ffc6c2bbbdbb41009a42a70feec34c2f8add1ecd47e7c81a7b8ae0f61d70ea7f |
test/stamina/automaton/minimize/unknown_1.adl | 644 | 0 | 0 | | | 126 Bytes | 73f8b27a8f2e7542c7e3a37eea98cf04114bbdfa8c4b33e731b7c1b2632271e2 |
test/stamina/automaton/minimize/unknown_1.min.adl | 644 | 0 | 0 | | | 87 Bytes | f4b0fd4b381a17e644feb3e1f140cfdaa3895db8651535a97f4b6e78199cb4b4 |
test/stamina/automaton/minimize/hopcroft_test.rb | 644 | 0 | 0 | | | 301 Bytes | 23f3c54aa9c146e38bb19b1d0efaf94e19eea6068b30ad8a6047832d4eecde04 |
test/stamina/automaton/minimize/should_strip_1.adl | 644 | 0 | 0 | | | 63 Bytes | 6bdc3c1177f73c3fd267a349c0dec7269d849e479b405dce92042841747dad61 |
test/stamina/automaton/minimize/should_strip_1.min.adl | 644 | 0 | 0 | | | 43 Bytes | d64e17480e8de180a30640d4f56bb1f6f0157d40e50645b070baf6077f0f78d8 |
test/test_all.rb | 664 | 0 | 0 | | | 385 Bytes | 31fdd7b455fef5dbabb3c6d3d894a845ba5c0935d0e2b946d239d468f124dc0f |
.gemtest | 664 | 0 | 0 | | | 0 Bytes | e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 |
CHANGELOG.md | 644 | 0 | 0 | | | 2.15 KB | 50456ff96bd8dc2b8f1189f83f390df0164e925d905d10e37580f0aa2c8f8ae7 |
Gemfile | 664 | 0 | 0 | | | 55 Bytes | 19ad722e585479f80cf2f7a8d32a21d5724f404270f66af6b9dd6c2589155a0a |
Gemfile.lock | 664 | 0 | 0 | | | 647 Bytes | b472b963e157dc7a20197b792633e770fa15a4fb83767da81f91539f2d4054a1 |
LICENCE.md | 664 | 0 | 0 | | | 1.11 KB | 6a5cff082e41f91a433ece83b16f023754f307f00f1aa9d7c384ea23f646ed53 |
Manifest.txt | 664 | 0 | 0 | | | 180 Bytes | d9b8278d34d400fb5b3cbc88a310f5befc59da6bf1b3d7ef45cff07b4f0412fc |
Rakefile | 664 | 0 | 0 | | | 567 Bytes | ce65eb4a3d71a1bb3566ca9bdbcec0ff2b9ea103ccbbd3ceba749cc151ae18b8 |
README.md | 664 | 0 | 0 | | | 4.95 KB | eb13835a5f8ffc133f974cc331c3d70cb74b8638c8bdf59bce6dea2075f40ea9 |
stamina.gemspec | 664 | 0 | 0 | | | 6.14 KB | cd917a7c73216e44f1e4e9cd3a4217e0215fe8d40f7b715f810ddb8cb090e6db |
stamina.noespec | 664 | 0 | 0 | | | 1.2 KB | daedd471c169428b93176d58b11fd1d7db75af88105b83613ae7af74b3d5f2ec |