aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-05-22Update README.mdCyril Cohen
2019-05-21Update CHANGELOG.mdCyril Cohen
2019-05-17Merge pull request #345 from math-comp/perm-tallyGeorges Gonthier
2019-05-17refactor `seq` permutation theoryGeorges Gonthier
2019-05-08Merge pull request #344 from soraros/ssrnat-remove-arith-lemmasGeorges Gonthier
2019-05-08suppress use of `Arith` hintsSora Chen
2019-05-06Merge pull request #342 from math-comp/deprecationGeorges Gonthier
2019-05-06add `deprecate` helper notation; no `perm` in non-`perm_eq` lemma namesGeorges Gonthier
2019-04-30Merge pull request #339 from math-comp/coq-ssrbool-refactor-compatGeorges Gonthier
2019-04-30Restore CI with `finmap master`Georges Gonthier
2019-04-30Merge pull request #338 from math-comp/coq-ssrbool-refactor-compatGeorges Gonthier
2019-04-30Fix compatibility for #237Georges Gonthier
2019-04-29Merge pull request #337 from math-comp/coq-ssrbool-refactor-compatGeorges Gonthier
2019-04-29reinstate token catenation hack in `prime.v`Georges Gonthier
2019-04-29Generalise use of `{pred T}` from coq/coq#9995Georges Gonthier
2019-04-28Merge pull request #336 from CohenCyril/clean_requireGeorges Gonthier
2019-04-26Cleaning Require and Require ImportsCyril Cohen
2019-04-25Merge pull request #335 from math-comp/fix-if-returnGeorges Gonthier
2019-04-24remove deprecated use of `if ... return`Georges Gonthier
2019-04-23Merge pull request #332 from pi8027/zmodp-intervalCyril Cohen
2019-04-18Remove unused `Require`s and a hint directive from interval.vKazuhiko Sakaguchi
2019-04-18Merge pull request #331 from pi8027/zmodp-ssrnumCyril Cohen
2019-04-17ssrnum doesn't use zmodpKazuhiko Sakaguchi
2019-04-17Merge pull request #307 from erikmd/extend-ciCyril Cohen
2019-04-17Merge pull request #306 from erikmd/refactor-ciCyril Cohen
2019-04-16[ci] Add tests with more librariesErik Martin-Dorel
2019-04-16Detail: Print a more legible description for the cloned external librariesErik Martin-Dorel
2019-04-16Don't run "opam clean -c" to workaround ocaml/opam#3828Erik Martin-Dorel
2019-04-16Swap the deploy and test stagesErik Martin-Dorel
2019-04-16Print more debug informationErik Martin-Dorel
2019-04-16Refactor jobs: Split .opam-build & Create .docker-deployErik Martin-Dorel
2019-04-16Add commentary sections & Swap order of .make-build, .opam-buildErik Martin-Dorel
2019-04-08Merge pull request #325 from CohenCyril/opam-2.0Cyril Cohen
2019-04-08Update CHANGELOG.mdCyril Cohen
2019-04-08Update CHANGELOG.mdCyril Cohen
2019-04-08update mailmapEnrico Tassi
2019-04-08switching to opam 2.0 formatCyril Cohen
2019-04-08Update INSTALL.mdCyril Cohen
2019-04-08Update CHANGELOG.mdCyril Cohen
2019-04-08Merge pull request #318 from CohenCyril/hierarchy_testCyril Cohen
2019-04-08Merge pull request #324 from math-comp/seq-permutations-allpairsCyril Cohen
2019-04-08New test cases generation: corrent implementation of least common childrenKazuhiko Sakaguchi
2019-04-06Permutations and other extensions to seq; fintype documentationGeorges Gonthier
2019-04-06Fix inheritance bugs in finalg and extremalKazuhiko Sakaguchi
2019-04-05least common childenCyril Cohen
2019-04-04no output on success in test_suite/hierarchy_test.v (#323)Cyril Cohen
2019-04-04porting ChangeLog to Markdown format (#322)Enrico
2019-04-04Merge pull request #321 from math-comp/remove-8.6Cyril Cohen
2019-04-04remove support for Coq 8.6Enrico Tassi
2019-04-04Merge pull request #320 from math-comp/fix-test-suiteEnrico
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:49:50 +0000