aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-01-09Add a CI job running test suite with `-async-proofs on`Maxime Dénès
2019-01-09Make it possible to pass flags to coq when running test suiteMaxime Dénès
2019-01-09Merge PR #9316: Fix #3934: coqc -time -quick gives unreadable outputEnrico Tassi
2019-01-09Merge PR #9273: Fix #9272: `Unset Nested Proofs Allowed` does not capture nes...Enrico Tassi
2019-01-08Fix #3934: coqc -time -quick gives unreadable outputMaxime Dénès
2019-01-08Fix #9272: `Unset Nested Proofs Allowed` does not capture nested `Instance` p...Maxime Dénès
2019-01-08Merge PR #9282: [ssrmatching] update license banner (fix #9281)Maxime Dénès
2019-01-08Merge PR #9292: Fixing some wrong scopes of variables in the interpretation o...Emilio Jesus Gallego Arias
2019-01-07Merge PR #9241: Fix #9240: Register for IDProp causes anomaly when non constantEnrico Tassi
2019-01-07Merge PR #8373: Fixes #8369: Not_found in printing message about an unresolve...Matthieu Sozeau
2019-01-07Merge PR #9309: [ci] Add Verdi Raft with dependencies to CIEmilio Jesus Gallego Arias
2019-01-06Merge PR #9305: Remove formal-topology from CIGaëtan Gilbert
2019-01-06Merge PR #8977: Update .mailmap.Gaëtan Gilbert
2019-01-06Reworking error message for unresolved evar subterm of another evar.Hugo Herbelin
2019-01-05[ci] Add Verdi Raft with dependencies to CIKarl Palmskog
2019-01-04Merge PR #9264: Fix shallow flag in vernac statePierre-Marie Pédrot
2019-01-04Remove formal-topology from CIMaxime Dénès
2019-01-02Merge PR #9276: Remove dead code from CClosure.Maxime Dénès
2018-12-30Fixing an interpretation bug of the "in" clause of "match".Hugo Herbelin
2018-12-30Mini-reorganization of functions about cases pattern reducing to a variable.Hugo Herbelin
2018-12-27Merge PR #9277: [dune] Build refman with fatal warnings like in the Makefile ...Emilio Jesus Gallego Arias
2018-12-27Merge PR #9224: Move lint job to gitlabEmilio Jesus Gallego Arias
2018-12-26[dune] Build refman with fatal warnings by default like in the Makefile build.Théo Zimmermann
2018-12-26Merge PR #8734: Make diffs work for more input stringsHugo Herbelin
2018-12-25Merge PR #9249: Fixing printing bug due to using equality wrongly checking ha...Emilio Jesus Gallego Arias
2018-12-25Merge PR #9278: [ci] Annotate plugins and libraries.Emilio Jesus Gallego Arias
2018-12-25Fixing printing bug due to using equality ill-checking hash key of kernel name.Hugo Herbelin
2018-12-25Adding a comparison combinator for pairs.Hugo Herbelin
2018-12-25[ssrmatching] update license banner (fix #9281)Enrico Tassi
2018-12-23[ci] Annotate plugins and libraries.Théo Zimmermann
2018-12-23Remove dead code from CClosure.Pierre-Marie Pédrot
2018-12-23Merge PR #9243: Fix line ending issues (azure related)Michael Soegtrop
2018-12-22Merge PR #9248: Fix #7904: update proofview env after ltac constr:()Pierre-Marie Pédrot
2018-12-21Merge PR #9247: Fix typo in gallina specification language docThéo Zimmermann
2018-12-21Merge PR #9266: Make @SkySkimmer an owner of test-suite/report.shThéo Zimmermann
2018-12-21Move lint job to gitlabGaëtan Gilbert
2018-12-21Fix #9240: Register for IDProp causes anomaly when non constantGaëtan Gilbert
2018-12-21Merge PR #9265: Do not exclude "opened" bugs from reportGaëtan Gilbert
2018-12-21Merge PR #9183: List members of the code of conduct enforcement team.Matthieu Sozeau
2018-12-21Make @SkySkimmer an owner of test-suite/report.shMaxime Dénès
2018-12-21Do not exclude "opened" bugs from reportMaxime Dénès
2018-12-21Fix shallow flag in vernac stateMaxime Dénès
2018-12-21Merge PR #9182: Stop printing Monomorphic/Polymorphic in Print.Maxime Dénès
2018-12-20Make diffs work for more input stringsJim Fehrle
2018-12-20Merge PR #8488: Warning when using automatic template polymorphismPierre-Marie Pédrot
2018-12-20Fix line ending issuesGaëtan Gilbert
2018-12-20Merge PR #9200: [ssr] make `>` stand aloneMaxime Dénès
2018-12-19Fix #7904: update proofview env after ltac constr:()Gaëtan Gilbert
2018-12-19Add CHANGES for auto-template warning.Gaëtan Gilbert
2018-12-19Put #[universes(template)] in outputs testsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:39:16 +0000