aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-01-12Merge PR #6288: Interfaces for checker and IDE.Maxime Dénès
2018-01-11Merge PR #6557: First stab at documenting the test suite.Maxime Dénès
2018-01-11Merge PR #6552: [PR template] Remove the relative link to CHANGES.Maxime Dénès
2018-01-11Lint and remove redundant lineJasper Hugunin
2018-01-10Add interfaces for IDE and remove dead code.Maxime Dénès
2018-01-10Add interfaces for checker and remove dead code.Maxime Dénès
2018-01-10Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] labelMaxime Dénès
2018-01-10Merge PR #6570: [meta] Fix typo on Coq's META file following #6444.Maxime Dénès
2018-01-10Add comments by @psteckler to test-suite/README.mdJasper Hugunin
2018-01-09[meta] Fix typo on Coq's META file following #6444.Emilio Jesus Gallego Arias
2018-01-08Merge PR #6532: Fix mli-doc issue #6531Maxime Dénès
2018-01-08Merge PR #6489: Update PNGs; mention async error handling; change query windo...Maxime Dénès
2018-01-08Merge PR #6497: Add optimize_heap tactic for #6488Maxime Dénès
2018-01-08Merge PR #6549: Normalize package namesMaxime Dénès
2018-01-08Merge PR #6533: Update the lower-bound of the lablgtk dependency.Maxime Dénès
2018-01-08Merge PR #6425: Cleanup universes in the kernelMaxime Dénès
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2018-01-08Merge PR #6530: Ignore generated test-suite/output/MExtraction.outMaxime Dénès
2018-01-08Merge PR #6517: Trim more trailing whitespace in coq-makefile timing testMaxime Dénès
2018-01-08Merge PR #6527: Update backport script for more control.Maxime Dénès
2018-01-08Merge PR #6526: Fixing various typos in the Credits chapter.Maxime Dénès
2018-01-08github-check-prs.py: print PR URLs when needed.Gaëtan Gilbert
2018-01-08github-check-prs.py: Strip spaces from token from command lineGaëtan Gilbert
2018-01-08github-check-prs.py: command line option to get token from a fileGaëtan Gilbert
2018-01-08Merge PR #6510: Document between and exists_between types.Maxime Dénès
2018-01-08Document between and exists_between types.Ismail
2018-01-08Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06Maxime Dénès
2018-01-08Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Maxime Dénès
2018-01-07Mention -B argument of make to rerun testsJasper Hugunin
2018-01-06First stab at documenting the test suite.Jasper Hugunin
2018-01-05[PR template] Remove the relative link.Théo Zimmermann
2018-01-04Normalize MacOS installer name.Théo Zimmermann
2018-01-04Normalize Windows installer names.Théo Zimmermann
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
2018-01-03add optimize_heap tactic for #6488Paul Steckler
2018-01-03update PNGs; mention async error handling; change query window to query pane;...Paul Steckler
2018-01-01Fix mli-doc issue #6531Tony Beta Lambda
2017-12-31Ignore generated test-suite/output/MExtraction.outJason Gross
2017-12-31Trim more trailing whitespace in coq-makefile timing testJason Gross
2017-12-31Add a comment about universe lifting in sections in the kernel.Pierre-Marie Pédrot
2017-12-30Expound on dependencies for github-check-prs.pyGaëtan Gilbert
2017-12-30Python script checking missing/unnecessary [needs: rebase] labelGaëtan Gilbert
2017-12-30Moving some universe substitution code out of the kernel.Pierre-Marie Pédrot
2017-12-30Returning instance instead of substitution in universe context abstraction.Pierre-Marie Pédrot
2017-12-30Hardening universe abstraction in Cooking.Pierre-Marie Pédrot
2017-12-30Using a dedicated type for Lib.abstr_info.Pierre-Marie Pédrot
2017-12-29Add instructions for debugging from the command line (and in Windows)Jim Fehrle
2017-12-29Merge PR #6493: [API] remove large file containing duplicate interfacesMaxime Dénès
2017-12-29Merge PR #975: Create checklist for pull requests.Maxime Dénès
2017-12-29Merge PR #6492: Remove query-in-IDE warning.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-24 08:46:03 +0000