| df363b1 | Benjamin Gregoire | 18 August 2021, 15:39:11 UTC | cleanup the QMAC exemple | 18 August 2021, 15:39:11 UTC |
| 99ec3d1 | Benjamin Gregoire | 26 May 2021, 07:32:58 UTC | WIP | 18 August 2021, 10:21:19 UTC |
| 7b08b67 | Shih-Han Hung | 13 August 2021, 04:27:43 UTC | PRF hypothesis | 13 August 2021, 04:27:43 UTC |
| ae361d7 | Shih-Han Hung | 13 August 2021, 04:14:15 UTC | PRF MAC hypothesis | 13 August 2021, 04:14:15 UTC |
| 725ca1b | Leo Fan | 12 August 2021, 17:48:36 UTC | QMAC_defn | 12 August 2021, 17:48:36 UTC |
| 1ed3caf | Shih-Han Hung | 12 August 2021, 17:46:22 UTC | PRF | 12 August 2021, 17:46:22 UTC |
| 85a509c | Manuel Barbosa | 17 May 2021, 10:35:47 UTC | Clarification | 17 May 2021, 10:35:47 UTC |
| a83727c | Manuel Barbosa | 13 May 2021, 12:16:05 UTC | Merge | 13 May 2021, 12:16:05 UTC |
| e8227f3 | Manuel Barbosa | 12 May 2021, 21:56:28 UTC | fixed merge but kept comments | 12 May 2021, 21:56:28 UTC |
| 2926ab9 | Manuel Barbosa | 12 May 2021, 21:54:24 UTC | done with generalized efficient sampling | 12 May 2021, 21:54:24 UTC |
| 6dc84db | Benjamin Gregoire | 12 May 2021, 04:19:48 UTC | cleanup | 12 May 2021, 04:19:48 UTC |
| dc4eea7 | Benjamin Gregoire | 12 May 2021, 03:46:56 UTC | remove last admit | 12 May 2021, 03:48:04 UTC |
| 4d70ce9 | Manuel Barbosa | 11 May 2021, 18:04:15 UTC | Generalization | 11 May 2021, 18:04:15 UTC |
| 27f1c5c | Manuel Barbosa | 11 May 2021, 17:23:38 UTC | Generalization | 11 May 2021, 17:23:38 UTC |
| 015d5df | Manuel Barbosa | 11 May 2021, 15:30:40 UTC | Generalization | 11 May 2021, 15:30:40 UTC |
| 634ff3a | Pierre-Yves Strub | 10 May 2021, 07:28:51 UTC | done with cundup | 10 May 2021, 07:28:51 UTC |
| 2b81668 | Benjamin Gregoire | 07 May 2021, 17:19:08 UTC | WIP | 07 May 2021, 17:19:08 UTC |
| 56cb25b | Benjamin Gregoire | 07 May 2021, 11:06:28 UTC | WIP | 07 May 2021, 11:06:28 UTC |
| 700c786 | Benjamin Gregoire | 07 May 2021, 06:57:36 UTC | wip | 07 May 2021, 07:01:26 UTC |
| 5db1b85 | Pierre-Yves Strub | 07 May 2021, 07:00:28 UTC | | 07 May 2021, 07:00:39 UTC |
| 2c49a86 | Benjamin Gregoire | 06 May 2021, 14:58:54 UTC | WIP | 06 May 2021, 14:58:54 UTC |
| df43f23 | Benjamin Gregoire | 06 May 2021, 14:34:36 UTC | WIP | 06 May 2021, 14:34:49 UTC |
| 597f9f8 | Manuel Barbosa | 06 May 2021, 14:14:49 UTC | New efficient sampling theory | 06 May 2021, 14:14:49 UTC |
| eff1b7d | Benjamin Gregoire | 06 May 2021, 12:50:38 UTC | WIP | 06 May 2021, 12:51:00 UTC |
| 1070e5d | Pierre-Yves Strub | 05 May 2021, 20:30:17 UTC | VD.ec | 05 May 2021, 20:30:17 UTC |
| 66bcb32 | Benjamin Gregoire | 04 May 2021, 17:01:12 UTC | small fix | 04 May 2021, 17:01:12 UTC |
| f95d967 | Pierre-Yves Strub | 30 April 2021, 14:33:54 UTC | check finitness restrictions | 30 April 2021, 14:33:54 UTC |
| f669f1d | Pierre-Yves Strub | 30 April 2021, 14:13:15 UTC | | 30 April 2021, 14:13:15 UTC |
| ad341eb | Benjamin Gregoire | 30 April 2021, 05:12:33 UTC | fix proof of FDH using small range | 30 April 2021, 05:12:33 UTC |
| 5d1591e | Benjamin Gregoire | 29 April 2021, 14:34:19 UTC | fix IBE_GPV example | 29 April 2021, 14:34:52 UTC |
| b4d16ed | Manuel Barbosa | 29 April 2021, 14:13:44 UTC | bounds and collision finding | 29 April 2021, 14:13:44 UTC |
| ad4117a | Manuel Barbosa | 26 April 2021, 23:00:28 UTC | T_QROM fix | 26 April 2021, 23:00:28 UTC |
| a951e3c | Manuel Barbosa | 26 April 2021, 22:59:54 UTC | T_QROM fix | 26 April 2021, 22:59:54 UTC |
| 3b55e43 | Benjamin Gregoire | 26 April 2021, 16:19:21 UTC | proof of FDH using small range | 26 April 2021, 16:19:21 UTC |
| 47f12cf | Benjamin Gregoire | 22 April 2021, 06:48:10 UTC | WIP | 22 April 2021, 06:48:35 UTC |
| e702f00 | Benjamin Gregoire | 20 April 2021, 09:00:33 UTC | add lemma on distribution | 22 April 2021, 06:48:35 UTC |
| a716e36 | Benjamin Gregoire | 20 April 2021, 07:16:18 UTC | WIP | 22 April 2021, 06:48:35 UTC |
| fa3298d | Benjamin Gregoire | 19 April 2021, 19:07:48 UTC | Add small range hypothesis | 22 April 2021, 06:48:35 UTC |
| 7a740c5 | Benjamin Gregoire | 19 April 2021, 17:34:55 UTC | Add small range hypothesis | 22 April 2021, 06:48:35 UTC |
| 2d0d7cd | Manuel Barbosa | 20 April 2021, 10:34:18 UTC | merge | 20 April 2021, 10:34:18 UTC |
| d9bc95e | Manuel Barbosa | 20 April 2021, 10:29:30 UTC | tqrom | 20 April 2021, 10:29:30 UTC |
| f847e50 | Benjamin Gregoire | 19 April 2021, 12:18:53 UTC | fix IBE_GPV.ec | 19 April 2021, 12:18:53 UTC |
| cdd755f | Benjamin Gregoire | 19 April 2021, 11:26:33 UTC | error | 19 April 2021, 11:26:33 UTC |
| 295c5e8 | Benjamin Gregoire | 19 April 2021, 11:21:18 UTC | fix hashed_elgamal_generic | 19 April 2021, 11:21:18 UTC |
| 2c9f974 | Benjamin Gregoire | 19 April 2021, 11:06:23 UTC | fix br93.ec | 19 April 2021, 11:06:23 UTC |
| a4de232 | Benjamin Gregoire | 19 April 2021, 05:55:07 UTC | fix DInterval.ec | 19 April 2021, 05:55:07 UTC |
| 90bac37 | Benjamin Gregoire | 18 April 2021, 14:33:37 UTC | fix examples | 18 April 2021, 14:33:37 UTC |
| a5d2817 | Benjamin Gregoire | 18 April 2021, 14:07:39 UTC | WIP | 18 April 2021, 14:13:12 UTC |
| 592bcfa | Benjamin Gregoire | 14 April 2021, 17:01:10 UTC | remove admits | 18 April 2021, 14:13:11 UTC |
| 3a389f8 | Benjamin Gregoire | 14 April 2021, 09:49:38 UTC | reduction of IDCPA GPV to CPA | 18 April 2021, 14:13:11 UTC |
| cfc4540 | Pierre-Yves Strub | 15 April 2021, 11:42:29 UTC | fix previous merge | 15 April 2021, 11:42:29 UTC |
| 659231b | Manuel Barbosa | 14 April 2021, 16:52:01 UTC | lazy sampling | 14 April 2021, 16:52:01 UTC |
| af21698 | Pierre-Yves Strub | 14 April 2021, 16:30:51 UTC | Merge branch 'deploy-cost-1.0-preview' into deploy-quantum | 14 April 2021, 16:30:51 UTC |
| bffac06 | Pierre-Yves Strub | 14 April 2021, 16:29:23 UTC | Merge branch '1.0-preview' into deploy-cost-1.0-preview | 14 April 2021, 16:29:23 UTC |
| 8b8fe79 | Pierre-Yves Strub | 14 April 2021, 15:58:55 UTC | Merge branch '1.0' into 1.0-preview | 14 April 2021, 15:58:55 UTC |
| 2afb775 | Pierre-Yves Strub | 14 April 2021, 15:27:25 UTC | StdLib: funi + same weight => eq | 14 April 2021, 15:27:25 UTC |
| 0d2afd4 | Manuel Barbosa | 14 April 2021, 13:12:47 UTC | Keep only generalized version | 14 April 2021, 13:12:47 UTC |
| 98d3bcd | Manuel Barbosa | 14 April 2021, 00:11:01 UTC | Tweaks | 14 April 2021, 00:11:01 UTC |
| 35ac0b5 | Manuel Barbosa | 13 April 2021, 23:44:28 UTC | small tweaks | 13 April 2021, 23:44:28 UTC |
| 5df6a6f | Pierre-Yves Strub | 13 April 2021, 13:34:33 UTC | StdLib: basic facts on distributions | 13 April 2021, 13:34:33 UTC |
| a9a4771 | Manuel Barbosa | 13 April 2021, 11:18:56 UTC | More lazy sampling | 13 April 2021, 11:18:56 UTC |
| 98e33d9 | Manuel Barbosa | 13 April 2021, 01:57:26 UTC | T_QROM | 13 April 2021, 01:57:26 UTC |
| 1b25ed4 | Pierre-Yves Strub | 12 April 2021, 09:31:13 UTC | Fix bug in theory renamings | 12 April 2021, 09:31:13 UTC |
| 40d1950 | Pierre-Yves Strub | 12 April 2021, 06:10:36 UTC | StdLib: ZModP: finite + uniform distribution | 12 April 2021, 06:10:36 UTC |
| 7ad9727 | Pierre-Yves Strub | 11 April 2021, 13:06:28 UTC | StdLib: linking sampling in Z/pZ and Z/qZ when q|p | 11 April 2021, 13:06:28 UTC |
| ff849a2 | Manuel Barbosa | 10 April 2021, 14:20:54 UTC | Fundamental lemma | 10 April 2021, 14:20:54 UTC |
| c6ad4b1 | Pierre-Yves Strub | 10 April 2021, 14:05:38 UTC | StdLib: Poly: killing last admits | 10 April 2021, 14:05:38 UTC |
| 7c1d65d | Manuel Barbosa | 10 April 2021, 12:08:54 UTC | efficient sampling | 10 April 2021, 12:08:54 UTC |
| 81f358d | Pierre-Yves Strub | 10 April 2021, 10:47:47 UTC | StdLib: polynomials distributions | 10 April 2021, 10:47:47 UTC |
| 639a76e | Pierre-Yves Strub | 09 April 2021, 20:10:53 UTC | StdLib: lead coeff. and degree of X^n+1 | 09 April 2021, 20:10:53 UTC |
| 8e6dd9a | Pierre-Yves Strub | 09 April 2021, 18:16:22 UTC | StdLib: ring quotient for non-integral domains | 09 April 2021, 18:16:22 UTC |
| 6a4bbab | Pierre-Yves Strub | 09 April 2021, 16:55:55 UTC | StdLib: ring regular element + poly over non integral domains | 09 April 2021, 16:55:55 UTC |
| 9e43d2c | Pierre-Yves Strub | 09 April 2021, 15:30:53 UTC | StdLib: more results on pmin | 09 April 2021, 15:30:53 UTC |
| 7fbcff7 | Pierre-Yves Strub | 08 April 2021, 16:42:07 UTC | StdLib: few lemmas about polynomials | 08 April 2021, 16:42:07 UTC |
| d42fe31 | Benjamin Gregoire | 08 April 2021, 14:31:57 UTC | WIP | 08 April 2021, 14:31:57 UTC |
| 84c2618 | Pierre-Yves Strub | 08 April 2021, 13:48:16 UTC | Fix stdlib | 08 April 2021, 13:48:16 UTC |
| a014668 | Pierre-Yves Strub | 08 April 2021, 13:14:10 UTC | StdLib: enumerating polynomials of a given degree | 08 April 2021, 13:14:10 UTC |
| 0a6485a | Pierre-Yves Strub | 08 April 2021, 13:13:54 UTC | StdLib: Finite: explicit witnesses for finitness + related lemmas on lists | 08 April 2021, 13:13:54 UTC |
| 81cd929 | Pierre-Yves Strub | 08 April 2021, 13:13:27 UTC | Stdlib: IntDiv - add a few lemmas | 08 April 2021, 13:13:27 UTC |
| 664e736 | Benjamin Gregoire | 08 April 2021, 13:07:33 UTC | WIP | 08 April 2021, 13:07:47 UTC |
| 71cca8a | Benjamin Gregoire | 07 April 2021, 14:12:55 UTC | start proof of GPV | 08 April 2021, 13:07:46 UTC |
| 2a250ec | Benjamin Gregoire | 07 April 2021, 14:12:31 UTC | add IBE definition | 08 April 2021, 13:07:46 UTC |
| 18abd6d | Benjamin Gregoire | 07 April 2021, 14:11:43 UTC | add CPA definition | 08 April 2021, 13:07:46 UTC |
| c98fa41 | Benjamin Gregoire | 07 April 2021, 14:11:17 UTC | add PSF hypothesis | 08 April 2021, 13:07:46 UTC |
| f2ed6b7 | Manuel Barbosa | 08 April 2021, 12:02:02 UTC | semi-constant update | 08 April 2021, 12:02:02 UTC |
| 18e7bf4 | Pierre-Yves Strub | 08 April 2021, 07:15:49 UTC | Stdlib: more results on polynomials & ring ideals | 08 April 2021, 07:15:49 UTC |
| 83e39fd | Pierre-Yves Strub | 07 April 2021, 14:44:27 UTC | Prove that polynomials form an integral domain | 07 April 2021, 14:44:27 UTC |
| 6ce66c7 | Pierre-Yves Strub | 07 April 2021, 14:44:12 UTC | Include ring quotients th. in ideals th. | 07 April 2021, 14:44:12 UTC |
| de2158b | Pierre-Yves Strub | 07 April 2021, 12:32:34 UTC | Poly.ec -> Poly.eca | 07 April 2021, 12:32:34 UTC |
| 7a4c6d1 | Pierre-Yves Strub | 05 April 2021, 09:08:22 UTC | Stdlib: ring quotients | 06 April 2021, 05:28:48 UTC |
| e8e4349 | Pierre-Yves Strub | 05 April 2021, 06:43:18 UTC | Stdlib: fmin | 06 April 2021, 05:28:48 UTC |
| 22c656e | Pierre-Yves Strub | 05 April 2021, 06:42:55 UTC | Quotient: use std def. of eqv relation | 06 April 2021, 05:28:48 UTC |
| 4f4e165 | Pierre-Yves Strub | 05 April 2021, 06:37:07 UTC | Stdlib: simplify proofs in Quotient.ec | 06 April 2021, 05:28:48 UTC |
| 101a76d | Pierre-Yves Strub | 05 April 2021, 05:51:11 UTC | Stdlib: ideas & a bit of abstract arithmetic | 06 April 2021, 05:28:48 UTC |
| 94ac9ac | Pierre-Yves Strub | 05 April 2021, 05:40:35 UTC | List: fix admitted proofs | 06 April 2021, 05:28:48 UTC |
| 8d240f6 | Pierre-Yves Strub | 05 April 2021, 05:39:57 UTC | List: size_eq1 | 06 April 2021, 05:28:48 UTC |
| 6084e7e | Pierre-Yves Strub | 04 April 2021, 17:54:08 UTC | README: fix why3 config command | 06 April 2021, 05:28:48 UTC |
| a62a90d | Pierre-Yves Strub | 05 April 2021, 09:08:22 UTC | Stdlib: ring quotients | 05 April 2021, 09:08:22 UTC |
| cf1eca8 | Pierre-Yves Strub | 05 April 2021, 06:43:18 UTC | Stdlib: fmin | 05 April 2021, 06:43:18 UTC |
| 1aab7a8 | Pierre-Yves Strub | 05 April 2021, 06:42:55 UTC | Quotient: use std def. of eqv relation | 05 April 2021, 06:42:55 UTC |
