whitelist 16.6 KB
Newer Older
Gaspard FEREY's avatar
Gaspard FEREY committed
1 2
github.com/Deducteam/Dedukti.git dkcheck.native 812cd87bd7112ac97cdb252308e0226cba013fb1 master
github.com/Deducteam/Dedukti.git dkcheck.native efb5fb1a85e7dd3248ce692febaa82968463e371 acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
3
github.com/Deducteam/Dedukti.git dkcheck.native bfd7c05a2e17817e62f653a4a8a0c94fe4287683 acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
4
github.com/Deducteam/Dedukti.git dkcheck.native a2bfb5e2eecd77f502c9c9b41eeb6083cf324288 acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
5
github.com/Deducteam/Dedukti.git dkcheck.native c94c8a54ab95e683c3dbf0238cf2b280cc38979c acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
6
github.com/Deducteam/Dedukti.git dkcheck.native b8ff8cdac93735ab55104c8bac640ff4eae257ee acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
7 8
github.com/Deducteam/Dedukti.git dkcheck.native c378045174218e54398f82d5a0d6f58b629ae6f0 debug-flag
github.com/Deducteam/Dedukti.git dkcheck.native 2b70a882a9883259dd9f6285f7de9063e6769d9c exception-style
Gaspard FEREY's avatar
Gaspard FEREY committed
9
github.com/Deducteam/Dedukti.git dkcheck.native d6a721bea06681ecadac50c2436136403e38726f acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
10
github.com/Deducteam/Dedukti.git dkcheck.native 34da9164af812cac342f6337c062a1b0a27aa069 master
Gaspard FEREY's avatar
Gaspard FEREY committed
11
github.com/Deducteam/Dedukti.git dkcheck.native 9a3fdd50517738c6fc669baaebb19cf219b064d6 master
Gaspard FEREY's avatar
Gaspard FEREY committed
12
github.com/Deducteam/Dedukti.git dkcheck.native 3dc8024d637ce4bae585841903a744f502d16736 cstr-rec2
Gaspard FEREY's avatar
Gaspard FEREY committed
13 14 15 16 17
github.com/Deducteam/Dedukti.git dkcheck.native 851cf22d2da28c1f0b748cc690b136c93e19debd acu-state
github.com/Deducteam/Dedukti.git dkcheck.native b13bc2b1926a4ed6abab73c1e1d2c1e254faf095 cstr-recording
github.com/Deducteam/Dedukti.git dkcheck.native 3e572f4882cd56c931d0bf20d417f5ae502f4150 master
github.com/Deducteam/Dedukti.git dkcheck.native e2c7ec3a0de1e842311be6764ef68003c00012ee master
github.com/Deducteam/Dedukti.git dkcheck.native 78e59d17525eefaf6897169eafd6a1170e24dab5 master
Gaspard FEREY's avatar
Gaspard FEREY committed
18
github.com/Deducteam/Dedukti.git dkcheck.native 5fd57b705b0e7a808038653f933d4be06afa33e9 acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
19
github.com/Deducteam/Dedukti.git dkcheck.native 8c7dd4bb372b159c2f592c6d858c1420d0f66f32 acu-state
Gaspard FEREY's avatar
Gaspard FEREY committed
20 21
github.com/Deducteam/Dedukti.git dkcheck.native 4dde35b68197d0d32a4951bc5339ce978dc37d98 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native 1f2f063a01da838599066ff32e8167aca824518b acu
Gaspard FEREY's avatar
Gaspard FEREY committed
22
github.com/Deducteam/Dedukti.git dkcheck.native 806a0b7db5cee36f3627dd37ed75896f7a323f15 acu
Gaspard FEREY's avatar
Gaspard FEREY committed
23
github.com/Deducteam/Dedukti.git dkcheck.native dffd487867bd56a7a685bfc041c9e2611c2e8e5e master
Gaspard FEREY's avatar
Gaspard FEREY committed
24 25
github.com/Deducteam/Dedukti.git dkcheck.native a7f17d85f81c03bf2b2e4fbec9b38e087d104cff master
github.com/Deducteam/Dedukti.git dkcheck.native c0fcd1688dbab548c2721220ad01137c8fa4047f master
Gaspard FEREY's avatar
Gaspard FEREY committed
26
github.com/Deducteam/Dedukti.git dkcheck.native f8348bee0816482eb19d4e15f53a8dae3a7e8cad master
Gaspard FEREY's avatar
Gaspard FEREY committed
27 28
github.com/Deducteam/Dedukti.git dkcheck.native a86294aa730fef1efbb8a0d064c7194d5467c147 dune
github.com/Deducteam/Dedukti.git dkcheck.native 727e337487198250335a5bbc296432dec146bdae dune-build
Gaspard FEREY's avatar
Gaspard FEREY committed
29
github.com/Deducteam/Dedukti.git dkcheck.native 37dc76c4b3146b63a980d8bf1e9867884b086e39 dune-build
François Thiré's avatar
François Thiré committed
30
github.com/Deducteam/Dedukti.git dkcheck.native 48a3f48e94588ae6217393c3d7ce51223148473b another-api
Gaspard FEREY's avatar
Gaspard FEREY committed
31 32
github.com/Deducteam/Dedukti.git dkcheck.native 8a7a29965c5ccdb87b0f1c08fbc48e078a950850 master
github.com/Deducteam/Dedukti.git dkcheck.native bc600b3ba20222dd8cde083ce427ddaaa523faeb master
gabrielhdt's avatar
gabrielhdt committed
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171
github.com/Deducteam/Dedukti.git dkcheck.native decb5fac4d91addf2e3cb13869b4ee15caac783a acu
github.com/Deducteam/Dedukti.git dkcheck.native ee7e2f531307a8eabdfde69d018a27cc15cd6370 acu
github.com/Deducteam/Dedukti.git dkcheck.native 15464655aedbae8b39c4b2c9d14dfc474267d2cf acu
github.com/Deducteam/Dedukti.git dkcheck.native fd5a91576f5daa1d0d002f3f7639c22ca4c96940 acu
github.com/Deducteam/Dedukti.git dkcheck.native b830dcf93e34df825f9c02d4567c08ac02dffdc1 master
github.com/Deducteam/Dedukti.git dkcheck.native 682e58669d7ee6398f8b5c1694d00b8bded94f09 master
github.com/Deducteam/Dedukti.git dkcheck.native ca19fa11095abd54f6f6513742689cfc4136f542 master
github.com/Deducteam/Dedukti.git dkcheck.native 4a556103a719584f464fce4c6b4c414aab13df50 master
github.com/Deducteam/Dedukti.git dkcheck.native 8d7ecb09f94138c6202acba549fe842ed9e5b753 master
github.com/Deducteam/Dedukti.git dkcheck.native cb78b030902e9f060f39bc5f533fba11c841b86b optim-matching
github.com/Deducteam/Dedukti.git dkcheck.native ae382f0300de70a47a88e872419eab3bea8b8075 functory-typing
github.com/Deducteam/Dedukti.git dkcheck.native 2b67ac05b425d4f17e1e865447595ba672e18592 ll-check
github.com/Deducteam/Dedukti.git dkcheck.native dfd418d79bc728b03d382e633c55715dc4122c5e identifiers2
github.com/Deducteam/Dedukti.git dkcheck.native b4f658da1dc7f9bfbae517ad009ba4a746de70bd improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 006e476bb2a6347e2448eb001f60995d98d1fdcf improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 54b1a0f99631f4e84a0f6984ad877a5cb42f8601 improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 22595a29922b83f1884f6466ebb332692cd1e59c improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 87f8ceb879cf81819c0079db558da04f10373f8c improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 41741e8e1d80da4a223b20f859e0f1e41a931197 improved-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 89cdceaa66d3697997f3519590e03706b2b48dfa master
github.com/Deducteam/Dedukti.git dkcheck.native bd12446697dc7838ada1609237664d32188893fc acu
github.com/Deducteam/Dedukti.git dkcheck.native dd1d04877a09a1ca50c3c7fd2af210ac9161cd70 functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native 1fcef6d55cd7673fc64f2bf60f612363a4ddd7ef master
github.com/Deducteam/Dedukti.git dkcheck.native b5ffe995ba07ab52540e6e368b1800c0ea15dcb3 functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native e9ff47759abfe3257df01212f6f307e9ace6a21e master
github.com/Deducteam/Dedukti.git dkcheck.native b71cf8631f2153b2f37aab1ddd479949e6207f42 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native c4c6f86d8dee3b4b1db8eaaf76e59fd100abad28 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native 3c686083283639d573e4678c4aeca357d0409092 master
github.com/Deducteam/Dedukti.git dkcheck.native a0ec6a5de402b2c42fa8e526fe07b4644488aa82 master
github.com/Deducteam/Dedukti.git dkcheck.native a327dfb13a1c354f17a04b677848e7fce9ff98c9 functor-typing-kernel-only
github.com/Deducteam/Dedukti.git dkcheck.native d9ff725b8ca9433b1a5d57cc2f544b811cd5fed4 functor-typing-kernel-only
github.com/Deducteam/Dedukti.git dkcheck.native 7f1b77eb2a7d94eba8e32d8e31b552fddd33c8f1 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native 6ae2cf22144a7f8014544b02540d1fc076de5692 functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native 8bfe175cd71ffc6ac8340dd6cca7f1d69c0c5feb functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native e768efe3aef77aa6a1eed47698c017d0c5863955 functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native a5cbcbc413ed20b603c94341a587854387df3b40 lazy-dtree
github.com/Deducteam/Dedukti.git dkcheck.native 94343992ce0db1a5f8c82cd96e629fb5a02f76c1 lazy-dtree
github.com/Deducteam/Dedukti.git dkcheck.native a0a2f829bb27a0260104bb81280c7cd5325bc3de master
github.com/Deducteam/Dedukti.git dkcheck.native 566f7839ede66f102f0159a1116f5d3ebf6b73f4 master
github.com/Deducteam/Dedukti.git dkcheck.native 854e101c4116ada1777ba02b3ac74195132bdd25 master
github.com/Deducteam/Dedukti.git dkcheck.native 046e7e82a1289936391c2f0d4f90e86cc81f09da master
github.com/Deducteam/Dedukti.git dkcheck.native ec0a24bdf1b90fee7e6755f422e7d6ed3d9309ad master
github.com/Deducteam/Dedukti.git dkcheck.native da0c13ccbaf8051f887c4915f97e45cf5701c45b master
github.com/Deducteam/Dedukti.git dkcheck.native dba7255051e9adf9dd623ebc272f28a62cfddf3d master
github.com/Deducteam/Dedukti.git dkcheck.native 33f6d38c3ccc03b7e818ba2c71a475109e9348c9 master
github.com/Deducteam/Dedukti.git dkcheck.native 3404b1784fcaab58f78f68608d683314cb148ebe master
github.com/Deducteam/Dedukti.git dkcheck.native 88d7f34ae42b0d38f5f765dcb75dadd9a96da1bc master
github.com/Deducteam/Dedukti.git dkcheck.native 822a6244cbaaadecfaec0d4d6b27d03428ae67e1 master
github.com/Deducteam/Dedukti.git dkcheck.native 681d97da231453aeff2604c17db5f4ff43fea510 master
github.com/Deducteam/Dedukti.git dkcheck.native 3c5a5a9db844de023d040202ee8107528c32178c syntactic2
github.com/Deducteam/Dedukti.git dkcheck.native 5f8ffae4d3f94a7a44373aced91c2a03bc47563e private
github.com/Deducteam/Dedukti.git dkcheck.native 2685d699433d0693897f785f863221271209fca4 master
github.com/Deducteam/Dedukti.git dkcheck.native 9a4ef9a7935d420ffbfd3904e825278714cc2d57 private
github.com/Deducteam/Dedukti.git dkcheck.native a2e62708049f5accbdc0db3f0a9e0fab59d905c0 syntactic2
github.com/Deducteam/Dedukti.git dkcheck.native 6bfb938187f9562b83a1020f2ee6153f9256e66c syntactic2
github.com/Deducteam/Dedukti.git dkcheck.native e8a5a908e64153d6eb9a180fa788ccccf3c3b134 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native 09e4cd0cc9a1a62f17f0b91dd4fe520aa6372cf4 syntactic2
github.com/Deducteam/Dedukti.git dkcheck.native ac92485bae61f603f1e436d9d218c78c2d91a281 master
github.com/Deducteam/Dedukti.git dkcheck.native 657c249b197e2212c061867c58d6898c63eac3a1 precomputing
github.com/Deducteam/Dedukti.git dkcheck.native bf9e345b2d4a8c1e3f2ae463b9620b2a5148b898 master
github.com/Deducteam/Dedukti.git dkcheck.native ee65567891e84c8ee5742a792c864664ea2bbe44 master
github.com/Deducteam/Dedukti.git dkcheck.native f9c76f96e0d05b7d2a354c17d9bd7747ad50857f syntactic3
github.com/Deducteam/Dedukti.git dkcheck.native 83876de93ba4c0ab7c35b4adb9258439be6d53e7 syntactic2
github.com/Deducteam/Dedukti.git dkcheck.native 67543322477478386b071a53f95f80f4c211f699 syntactic
github.com/Deducteam/Dedukti.git dkcheck.native c1345cd76eff4f5073fad6a391dd7a9735341e0b master
github.com/Deducteam/Dedukti.git dkcheck.native 9f1d288173bb64b4d1e3ef13890ee66656f91070 syntactic
github.com/Deducteam/Dedukti.git dkcheck.native e2311db248aff38004610243dc6212c7c18e2fe1 master
github.com/Deducteam/Dedukti.git dkcheck.native 49eb9fca01023a53d90bc6773550b29ffd695b2d term-fold3
github.com/Deducteam/Dedukti.git dkcheck.native f3c5cb9004230d0d78b56de944d5efd7bd46a399 master
github.com/Deducteam/Dedukti.git dkcheck.native 8d558e94d5fb867aee70dd4d48c7dfb330eb8b69 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native dd7f0ef42ca2cb0ac0c12a0bb3731a0e4ea9d4f2 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native 3d530b3c51777fae40c7102f50e0bd9db9b917f7 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native 2e81f6979eae24e53ea1cd5d9d0390725ec574a2 term-fold
github.com/Deducteam/Dedukti.git dkcheck.native d85a945c5a685a8dd5017f58256afc7c559f9983 master
github.com/Deducteam/Dedukti.git dkcheck.native 5b610abae3a7ef150f22a83bde37b201ebe0418e syntactic
github.com/Deducteam/Dedukti.git dkcheck.native 9ad20de83cdb0848ee62fbffc76c18df44fcfe76 master
github.com/Deducteam/Dedukti.git dkcheck.native 8fecebf1e4ee64cd2bd946a36af0d903edf14436 acu
github.com/Deducteam/Dedukti.git dkcheck.native cc46f7ef29327f32715fb2e0f964330c4c722726 env-func
github.com/Deducteam/Dedukti.git dkcheck.native a1311e30fa3b0e44e6894ab576db1388bdcf1353 experiment
github.com/Deducteam/Dedukti.git dkcheck.native 9f084a30e749c311e2a769dc13fe2c6e45152a42 functor-typing
github.com/Deducteam/Dedukti.git dkcheck.native 6283a308d23559fed6371ff8427285d9644a0d9d master
github.com/Deducteam/Dedukti.git dkcheck.native 6145138bbc01978fec921c92f874f50fcd45203e conv-logger
github.com/Deducteam/Dedukti.git dkcheck.native 96c7f0f6e459c313d60207c90474f586e0260da6 api-termin
github.com/Deducteam/Dedukti.git dkcheck.native d50cb36f3c6f72f42f092655a65cf4156944855e reduction-logger
github.com/Deducteam/Dedukti.git dkcheck.native b81518a3572583df74185ce6651c15445263ce87 master
github.com/Deducteam/Dedukti.git dkcheck.native ed7fc75f79e61dc093e58d3834a42f29c8449cc8 reduction-logger
github.com/Deducteam/Dedukti.git dkcheck.native 75c20c99167bfd83d5298a469511ea4a1003f434 master
github.com/Deducteam/Dedukti.git dkcheck.native 7a3ad364c2645cca95ec97ed511a6dd1db6b9446 master
github.com/Deducteam/Dedukti.git dkcheck.native bdad4ef1e9d8989f2ca46a69f107fe710b35be6a master
github.com/Deducteam/Dedukti.git dkcheck.native 08b7af49e3374049db66cfbca60a5564e3f086a9 master
github.com/Deducteam/Dedukti.git dkcheck.native 993f2df87870b74dbd9fa8759a92986f75f28dc8 master
github.com/Deducteam/Dedukti.git dkcheck.native f557243cbdcd2baf40e57b5ff399451ce4072a33 master
github.com/Deducteam/Dedukti.git dkcheck.native b0e4d1f6c78c7ddd961a58aff5c00e8e35ab48ce master
#github.com/Deducteam/Dedukti.git dkcheck.native 51ee1216c31b6ee7d55343dd061222fc228a932f master
#github.com/Deducteam/Dedukti.git dkcheck.native 8574f496ca7ca7364f909690dadaebfc20ebecf6 master
#github.com/Deducteam/Dedukti.git dkcheck.native 58d9982a02376e78a3514698b2ba5e1b736f610d master
#github.com/Deducteam/Dedukti.git dkcheck.native 004ed95f1215b9972a6ff3cfe99594e2bd172053 reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 79082df309d7507faa24f670fd584ca977d0a1bc reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 93d789450e27361e9c99dd60cbd9ed6c08315942 reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 6893616cb570474f46f6f9219f87b0a69b894e45 master
#github.com/Deducteam/Dedukti.git dkcheck.native 84840469da8638e72737f0a0cdcc1d86cdf81008 master
#github.com/Deducteam/Dedukti.git dkcheck.native 0e11e2d64ea869b6b556f66d8b692e821850e638 master
#github.com/Deducteam/Dedukti.git dkcheck.native 58d9982a02376e78a3514698b2ba5e1b736f610d master
#github.com/Deducteam/Dedukti.git dkcheck.native 4db5b604ceee300b4b94b175838811a4b7f17c9f reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native a453ef069fdff2529871f58e45661478bdd8bb3d reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 06aed9f5857028b7cd8c4b4cac40784b4a84a2db reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native ce57b45a95ee7287e85bb5086505158fad797ccf reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 4518d8f095413347978508f88ba1ab40d3cc9e84 reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native bbd3f856e0519cf68cf80003db28334694c72648 reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native cc549f39aa827adea55d47c96cf09d522bb89d54 reduction-machine
#github.com/gburel/Dedukti.git dkcheck.native 6feba600b2ab0c77240eff1b47a1f1012a528407 polarization
#github.com/Deducteam/Dedukti.git dkcheck.native 5639d7967c8c6bae4f3b16289b17284ea0ed9e3d master
#github.com/Deducteam/Dedukti.git dkcheck.native c75e503869a2a3a2f70cd8789623bcd3e5725432 master
#github.com/Deducteam/Dedukti.git dkcheck.native 5097fa6aa7c0161bf118d91b635cd2db9911e490 master
#github.com/Deducteam/Dedukti.git dkcheck.native 61881682ef061aa8bb62968bcdf728d2bee97b70 acu
#github.com/Deducteam/Dedukti.git dkcheck.native cfbd16e99dd8a2fc02cc7400a64190f8f94731e0 sizechange
#github.com/Deducteam/Dedukti.git dkcheck.native 6161709cbc35bdce4e10148b0b9645cc93d10e1f acu
#github.com/Deducteam/Dedukti.git dkcheck.native 78b93d2f3adf12cc5a2aff6df06bc88c693840e4 master
#github.com/Deducteam/Dedukti.git dkcheck.native f888b656be4a04b54ca6d62032f75755a5a84044 convertiblity-order
#github.com/Deducteam/Dedukti.git dkcheck.native c03c4ee61d47236a46603069d32f714bd5f34959 reduction-machine
#github.com/Deducteam/Dedukti.git dkcheck.native 0f7ccffd31ec026b09fff493a80b8d4194e6da54 acu
#github.com/Deducteam/Dedukti.git dkcheck.native 6f61aea92b669650c7dc8e74f0a2eaba8e021e89 acu
#github.com/Deducteam/Dedukti.git dkcheck.native 8ea386db1287574b79c95985def62e4b78e6e622 acu
#github.com/Deducteam/Dedukti.git dkcheck.native 6a235082e33c5dc50b0936643fecd0122a371ca9 acu
#github.com/Deducteam/Dedukti.git dkcheck.native a65eee5b9cfbcee7f7edb66048dec9d865d70654 master
#github.com/Deducteam/Dedukti.git dkcheck.native 7afbf4d5f1af75524091f2fde6490de100412dd8 master
#github.com/Deducteam/Dedukti.git dkcheck.native 3456f07cb5f02f402555f60bf076d516edfa24c9 master
#github.com/Deducteam/Dedukti.git dkcheck.native 54940dc7a86b7e36ebd520ecb2fa55cd0d137ea3 master
#github.com/Deducteam/Dedukti.git dkcheck.native 7fae2f0263936830af9c125c862a13867bb84adc master (reverted ocamlformat)
#github.com/Deducteam/Dedukti.git dkcheck.native 5460d96eba52c16f126f4a2056cbf804f8550f42 master (with ocamlformat)
#github.com/Deducteam/Dedukti.git dkcheck.native 94f8a074279cc505f7f92417ef43456baae02c6a master (variable arity)
#github.com/Deducteam/Dedukti.git dkcheck.native d4c7b3a5929cd60518e4a97504b4fcea5bebc4f7 master
#github.com/Deducteam/Dedukti.git dkcheck.native 71cb797cc062634daefb9c21201ec569fe56b58c master (arity  constraint removed)
#github.com/Deducteam/Dedukti.git dkcheck.native bf9cfad6bfdfea93d85d56a7bc079c4586f632dc master
#github.com/Deducteam/Dedukti.git dkcheck.native 3fa7a6d4c1c1bbd0cc8ffd3eb47a6f142ed7284b master
#github.com/Deducteam/Dedukti.git dkcheck.native 72b0f964a2f8ccbd202b9b482830cca0a4c64983 master (merge 17 avril)
#github.com/Deducteam/Dedukti.git dkcheck.native ab363ade9286016d6b989356984758eaf06e425b master (arity merge)
#github.com/Deducteam/Dedukti.git dkcheck.native d15cec2eee071085f89f0a3d348d16c53345ee1a acu
#github.com/Deducteam/Dedukti.git dkcheck.native ff374e5106b390073c6609e1950277c95a7bd18c master