Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | * | | | | Fix redirection to stderr in lint-repository error message. | 2018-02-08 | ||
| |/ / / / |/| | | | | ||||
| | | | * | pre-commit: nicer messages | 2018-02-08 | ||
| | | | * | pre-commit: fail gracefully if fixing whitespace removes all changes | 2018-02-08 | ||
| | | | * | pre-commit: add files after fixing ending newlines. | 2018-02-08 | ||
| | | | * | Have the pre-commit hook also fix end-of-file nl | 2018-02-08 | ||
| | | | * | Auto-create .git/hooks/pre-commit on ./configure | 2018-02-08 | ||
| | | | * | pre-commit hook: fix whitespace error detection | 2018-02-08 | ||
| | | | * | A pre-commit hook to magically fix whitespace issues. | 2018-02-08 | ||
* | | | | | Merge PR #6610: Points to Flocq official repository. | 2018-02-07 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding | 2018-02-07 | ||
|\ \ \ \ \ \ | ||||
| | | * | | | | ci-common: guess CI_BRANCH for local builds | 2018-02-07 | ||
| |_|/ / / / |/| | | | | | ||||
* | | | | | | Merge PR #6671: [stm] [toplevel] Make loadpath a parameter of the document. | 2018-02-06 | ||
|\ \ \ \ \ \ | ||||
| | | * | | | | Points to Flocq official repository. | 2018-02-05 | ||
| |_|/ / / / |/| | | | | | ||||
| | * | | | | Add overlay for equations (nf_beta takes an env) | 2018-02-05 | ||
* | | | | | | Merge PR #6654: CI: Run coqchk on Iris | 2018-02-05 | ||
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||
| | * | | | | [stm] [toplevel] Make loadpath a parameter of the document. | 2018-02-05 | ||
| |/ / / / |/| | | | | ||||
| * | | | | CI: Run coqchk on Iris | 2018-01-31 | ||
| | |_|/ | |/| | | ||||
* | | | | Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m... | 2018-01-31 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #6535: Cleanup name-binding structure for fresh evar name generation. | 2018-01-31 | ||
|\ \ \ \ \ | ||||
| | * | | | | Put default value for NJOBS in ci-common. | 2018-01-30 | ||
| | |/ / / | ||||
| * | | | | Adding an overlay for Equations. | 2018-01-30 | ||
* | | | | | Merge PR #6605: Safer VM interfaces | 2018-01-30 | ||
|\ \ \ \ \ | ||||
| * | | | | | Safer VM interfaces | 2018-01-26 | ||
| | |/ / / | |/| | | | ||||
* / | | | | Use travis_retry on apt-get update | 2018-01-23 | ||
|/ / / / | ||||
* | | | | Merge PR #6629: Archive COMPATIBILITY | 2018-01-23 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #6568: Cleanup scripts | 2018-01-23 | ||
|\ \ \ \ \ | ||||
| | * | | | | Archive COMPATIBILITY. | 2018-01-22 | ||
* | | | | | | Merge PR #6550: Remove outdated note about rlwrap in setup.txt | 2018-01-22 | ||
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||
* | | | | | | Merge PR #6448: Cleanup and add debug printers a bit | 2018-01-18 | ||
|\ \ \ \ \ \ | ||||
| | | * | | | | merge-pr.sh: use git diff --quiet | 2018-01-16 | ||
| | | * | | | | Source basic overlay before user overlays. | 2018-01-16 | ||
| | | * | | | | Cleanup shell expansions and quoting. | 2018-01-16 | ||
| | | * | | | | Simplify logic and streamline lint-repository.sh | 2018-01-16 | ||
* | | | | | | | Fix the wrapper around ocamldebug. | 2018-01-15 | ||
* | | | | | | | Merge PR #6483: Strong invariants in polymorphic definitions | 2018-01-12 | ||
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | Adding a custom Travis overlay for HoTT. | 2018-01-11 | ||
* | | | | | | | | Merge PR #6557: First stab at documenting the test suite. | 2018-01-11 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label | 2018-01-10 | ||
|\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | | | ||||
| | | | | | | * | | [Backport script] Check .mli files are not changed. | 2018-01-09 | ||
| |_|_|_|_|_|/ / |/| | | | | | | | ||||
| | | | | * | | | Cleanup conditional in lint-repository.sh | 2018-01-08 | ||
| | | | | |/ / | ||||
| | | | * / / | Stop talking about debian in "A note about rlwrap" | 2018-01-08 | ||
| | | | |/ / | ||||
* | | | | | | Merge PR #6549: Normalize package names | 2018-01-08 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #6527: Update backport script for more control. | 2018-01-08 | ||
|\ \ \ \ \ \ \ | ||||
| | | * | | | | | github-check-prs.py: print PR URLs when needed. | 2018-01-08 | ||
| | | * | | | | | github-check-prs.py: Strip spaces from token from command line | 2018-01-08 | ||
| | | * | | | | | github-check-prs.py: command line option to get token from a file | 2018-01-08 | ||
* | | | | | | | | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi... | 2018-01-08 | ||
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | | ||||
| | | | | * | | | First stab at documenting the test suite. | 2018-01-06 | ||
| |_|_|_|/ / / |/| | | | | | | ||||
| | | | | | * | Remove dir-locals and ship suggested helper hooks instead. | 2018-01-06 | ||
| |_|_|_|_|/ |/| | | | | | ||||
| | | * | | | Normalize MacOS installer name. | 2018-01-04 |