| refs/heads/deploy-wf | 17d6394 | An axiom-free formalization of well-founded relations, induction and recursion. | 29 March 2021, 13:09:27 UTC |
| 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 | 71beb9c | Hakyber jasmin eclib | 25 April 2022, 14:53:39 UTC |
| refs/heads/libext-fmap | 359ecbe | [stdlib] bound collisions for ROmap | 12 May 2022, 08:35:59 UTC |
| refs/heads/main | e45a54c | smt option to dump a smt query to a file | 20 May 2022, 13:26:31 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 |
