Commits · master · math-comp / math-comp

Browse files

Jun 13, 2023
- Merge pull request #1033 from erikmd/migrate-gitlab-inria · 67023cca
  Pierre Roux authored Jun 13, 2023
  67023cca
- test: Disable (for now) the reverse dependencies tests · b626345c
  Erik Martin-Dorel authored Jun 13, 2023
  
  b626345c
- feat: Migrate gitlab.com/math-comp/math-comp -> gitlab.inria.fr/math-comp/math-comp · 465e6d17
  Erik Martin-Dorel authored Jun 13, 2023
  
  465e6d17
Jun 12, 2023
- Merge pull request #1031 from proux01/nat_semiring · 68dde203
  Kazuhiko Sakaguchi authored Jun 12, 2023
  68dde203
Jun 10, 2023
- Simplify proof of intz · a8a75473
  Pierre Roux authored Jun 09, 2023
  
  a8a75473
- Add ring morphism instance for Posz : nat -> int · 651fbf42
  Pierre Roux authored Jun 09, 2023
  651fbf42
- Remove some no longer useful scope annotations · 6f8d90f7
  Pierre Roux authored Jun 06, 2023
  
  6f8d90f7
- Declare nat a semiring · 4e339dd7
  Pierre Roux authored Jun 05, 2023
  
  4e339dd7
- Merge pull request #1032 from proux01/update_ci · d1c03f59
  Pierre Roux authored Jun 10, 2023
  d1c03f59
- [CI] Update Nix config · 254c6318
  Pierre Roux authored Jun 10, 2023
  
  254c6318
Jun 09, 2023
- Merge pull request #1025 from proux01/suborder · 414cf10f
  Pierre Roux authored Jun 09, 2023
  414cf10f
- Make [Order of T by <:] compatible with the suborder hierarchy · e515bc72
  Pierre Roux authored May 17, 2023
  
  e515bc72
- Add factory SubPOrder_isSubOrder · 9a18a162
  Pierre Roux authored May 17, 2023
  
  9a18a162
- Merge pull request #682 from pi8027/archimedean · e1f9165c
  Pierre Roux authored Jun 09, 2023
  e1f9165c
- Put archimedean structures in a separate file · 6dd5b98c
  Sophie Bernard authored Aug 31, 2018 and Pierre Roux committed Jun 09, 2023
  6dd5b98c
- Various cleanup · a14718ad
  Pierre Roux authored Jun 03, 2023
  a14718ad
- [CI] Update Nix config · 9d7847fb
  Pierre Roux authored Jun 04, 2023
  
  9d7847fb
Jun 06, 2023
- Typo · 6e0f6107
  Pierre Roux authored Jun 06, 2023
  
  6e0f6107
May 19, 2023
- Merge pull request #1026 from proux01/gaia_merged · 4f8a6835
  Pierre Roux authored May 19, 2023
  4f8a6835
- [CI] Gaia merged · cc07ea17
  Pierre Roux authored May 19, 2023
  
  cc07ea17
May 15, 2023
- Merge pull request #1023 from proux01/update_nix · 9558dc97
  Pierre Roux authored May 15, 2023
  9558dc97
- [CI] Improve coq-nix-toolbox paragraph · ebe75456
  Pierre Roux authored May 15, 2023
  
  ebe75456
- [CI] Update Nix toolbox · ce13539d
  Pierre Roux authored May 15, 2023
  
  ce13539d
May 12, 2023
- Merge pull request #994 from math-comp/opaque-let · f68dfb37
  Pierre Roux authored May 12, 2023
  f68dfb37
- Silence warning opaque-let · d502875f
  Pierre Roux authored Apr 24, 2023
  d502875f
- Merge pull request #1020 from hgdly/folds · e5702984
  Pierre Roux authored May 12, 2023
  e5702984
- [CI] Update Nix · a9e357e8
  Pierre Roux authored May 12, 2023
  
  a9e357e8
- Add foldl_foldr · f7203880
  Hugo Deleye authored May 11, 2023 and Pierre Roux committed May 12, 2023
  
  f7203880
May 11, 2023
- Merge pull request #1002 from proux01/deg2_poly · 729be45e
  Cyril Cohen authored May 11, 2023
  729be45e
May 10, 2023
- Add facts about single-variable degree-2 polynomials · 0c5d66d3
  Pierre Roux authored Apr 22, 2023
  
  0c5d66d3
- Add the coefE multirule · 5782798b
  Pierre Roux authored Apr 27, 2023
  
  5782798b
- upd nix action · b60e80c3
  Reynald Affeldt authored May 10, 2023
  
  View commits for tag mathcomp-2.0.0 mathcomp-2.0.0
  
  b60e80c3
- upd push-branches · 2aa0964f
  Reynald Affeldt authored May 10, 2023
  
  2aa0964f
- upd PR template · 989ecf9b
  Reynald Affeldt authored May 10, 2023
  
  989ecf9b
- upd authors in opam files · af598eb4
  Reynald Affeldt authored May 10, 2023
  
  af598eb4
- changelog for version 2.0.0 · 07650931
  Reynald Affeldt authored May 10, 2023
  
  07650931
- Reintroduce and rename [P]CanIsTotal and [P]CanIsPartial · 3216464f
  Pierre Roux authored May 10, 2023
  
  3216464f
- Merge remote-tracking branch 'origin/hierarchy-builder' · 5c6dd1f3
  Pierre Roux authored May 10, 2023
  
  5c6dd1f3
- improve presentation of the porting tutorial · a3ddbb86
  Reynald Affeldt authored May 10, 2023
  
  a3ddbb86
May 09, 2023
- changelog for version 1.17.0 (#1012) · 0dc7c881
  affeldt-aist authored May 09, 2023 and Pierre Roux committed May 09, 2023
  
  0dc7c881