Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Dec 19, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #1161 from math-comp/update_opam
Pierre Roux
More... about 1 year ago
Synchronize opam file with repo
Pierre Roux
More... about 1 year ago
Merge pull request #1160 from erikmd/fix-mathcomp-dev-coq-8.19
Pierre Roux
More... about 1 year ago
fix(.gitlab-ci.yml): Make it possible to build `mathcomp/mathcomp-dev:coq-8.19`
erikmd
as Erik Martin-Dorel
More... about 1 year ago
Merge pull request #1159 from math-comp/changelog_220
Pierre Roux
More... about 1 year ago
Changelog for 2.2.0
Pierre Roux
More... about 1 year ago
Merge pull request #1157 from math-comp/port_1155
Pierre Roux
More... about 1 year ago
Handle new Coq 8.19 warnings
Pierre Roux
More... about 1 year ago
Merge pull request #1151 from math-comp/rm_old_warning
Pierre Roux
More... about 1 year ago
Remove warning silencing no longer used
Pierre Roux
More... about 1 year ago
Merge pull request #1150 from math-comp/ci_add_819
Pierre Roux
More... about 1 year ago
[CI] Add 8.19
Pierre Roux
More... about 1 year ago
Merge pull request #1149 from ju-sh/patch-2
Cyril Cohen
More... about 1 year ago
Fix another typo in matrix.v
Julin S
More... about 1 year ago
Fix typo
Julin S
More... about 1 year ago
Merge pull request #1147 from affeldt-aist/opam_20230110
Pierre Roux
More... about 1 year ago
typo
Reynald Affeldt
More... about 1 year ago
Merge pull request #1123 from math-comp/opam_keywords
Pierre Roux
More... about 1 year ago
Merge pull request #1145 from math-comp/fix-scopes
Pierre Roux
More... about 1 year ago
Merge pull request #1146 from math-comp/update_nix
Pierre Roux
More... about 1 year ago
[CI] Update Nix
Pierre Roux
More... about 1 year ago
Merge pull request #1144 from affeldt-aist/ssralg_20231221
Laurent Théry
More... about 1 year ago
Change the scope of function notations in order.v and ssralg.v to function_scope
Kazuhiko Sakaguchi
More... about 1 year ago
doc title
Reynald Affeldt
More... about 1 year ago