| refs/heads/deploy-why3-1.4 | 4a45b36 | Why3 1.4: CI | 04 April 2021, 06:10:25 UTC |
| refs/heads/deploy-wp-kw | eb414fd | Merge branch '1.0' into deploy-wp-kw | 15 October 2019, 08:39:00 UTC |
| refs/heads/draft-typeclass | 1977833 | Make interface uniform | 12 August 2020, 20:15:44 UTC |
| refs/heads/ellora | 03fd7f2 | compile with up-to-date toolchain | 10 October 2017, 09:04:16 UTC |
| refs/heads/hakyber-jasmin-eclib | aab83b0 | Linked exp in int and in zmod | 18 February 2022, 17:17:37 UTC |
| refs/heads/remove-old-libs | 7f5fe74 | [chore] Brutally prune all oldlibs Some more work needs done to present a clean theory of prime order groups, and use it properly. We should also ensure that we can eventually support DH over cyclic groups of composite order (operating over prime order subgroups) | 14 March 2022, 17:21:04 UTC |
| refs/tags/ccs14-sfe | a79f9ae | Fix bug w.r.t. _tools presence detection. | 08 July 2014, 09:43:21 UTC |
| refs/tags/doc | 863066b | Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec` [fix #17249] | 23 September 2015, 08:28:02 UTC |
| refs/tags/evoting | 955e909 | NewList: last_ -> last. | 30 July 2015, 08:20:28 UTC |
