aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Merge PR #6610: Points to Flocq official repository.Gravatar Maxime Dénès2018-02-07
|\
* \ Merge PR #6686: Kernel/checker reduction cleanups around projection unfoldingGravatar Maxime Dénès2018-02-07
|\ \
* \ \ Merge PR #6671: [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Maxime Dénès2018-02-06
|\ \ \
| | | * Points to Flocq official repository.Gravatar Théo Zimmermann2018-02-05
| |_|/ |/| |
| | * Add overlay for equations (nf_beta takes an env)Gravatar Gaëtan Gilbert2018-02-05
* | | Merge PR #6654: CI: Run coqchk on IrisGravatar Maxime Dénès2018-02-05
|\ \ \ | |_|/ |/| |
| | * [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Emilio Jesus Gallego Arias2018-02-05
| |/ |/|
| * CI: Run coqchk on IrisGravatar Ralf Jung2018-01-31
* | Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...Gravatar Maxime Dénès2018-01-31
|\ \
* \ \ Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.Gravatar Maxime Dénès2018-01-31
|\ \ \
| | * | Put default value for NJOBS in ci-common.Gravatar Gaëtan Gilbert2018-01-30
| | |/
| * | Adding an overlay for Equations.Gravatar Pierre-Marie Pédrot2018-01-30
* | | Merge PR #6605: Safer VM interfacesGravatar Maxime Dénès2018-01-30
|\ \ \
| * | | Safer VM interfacesGravatar Maxime Dénès2018-01-26
| | |/ | |/|
* / | Use travis_retry on apt-get updateGravatar Jason Gross2018-01-23
|/ /
* | Merge PR #6629: Archive COMPATIBILITYGravatar Maxime Dénès2018-01-23
|\ \
* \ \ Merge PR #6568: Cleanup scriptsGravatar Maxime Dénès2018-01-23
|\ \ \
| | * | Archive COMPATIBILITY.Gravatar Théo Zimmermann2018-01-22
* | | | Merge PR #6550: Remove outdated note about rlwrap in setup.txtGravatar Maxime Dénès2018-01-22
|\ \ \ \ | |_|/ / |/| | |
* | | | Merge PR #6448: Cleanup and add debug printers a bitGravatar Maxime Dénès2018-01-18
|\ \ \ \
| | | * | merge-pr.sh: use git diff --quietGravatar Gaëtan Gilbert2018-01-16
| | | * | Source basic overlay before user overlays.Gravatar Gaëtan Gilbert2018-01-16
| | | * | Cleanup shell expansions and quoting.Gravatar Gaëtan Gilbert2018-01-16
| | | * | Simplify logic and streamline lint-repository.shGravatar Gaëtan Gilbert2018-01-16
* | | | | Fix the wrapper around ocamldebug.Gravatar Pierre-Marie Pédrot2018-01-15
* | | | | Merge PR #6483: Strong invariants in polymorphic definitionsGravatar Maxime Dénès2018-01-12
|\ \ \ \ \
| * | | | | Adding a custom Travis overlay for HoTT.Gravatar Pierre-Marie Pédrot2018-01-11
* | | | | | Merge PR #6557: First stab at documenting the test suite.Gravatar Maxime Dénès2018-01-11
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] labelGravatar Maxime Dénès2018-01-10
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| | | | | * | Cleanup conditional in lint-repository.shGravatar Gaëtan Gilbert2018-01-08
| | | | | |/
| | | | * / Stop talking about debian in "A note about rlwrap"Gravatar Gaëtan Gilbert2018-01-08
| | | | |/
* | | | | Merge PR #6549: Normalize package namesGravatar Maxime Dénès2018-01-08
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6527: Update backport script for more control.Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \
| | | * | | | github-check-prs.py: print PR URLs when needed.Gravatar Gaëtan Gilbert2018-01-08
| | | * | | | github-check-prs.py: Strip spaces from token from command lineGravatar Gaëtan Gilbert2018-01-08
| | | * | | | github-check-prs.py: command line option to get token from a fileGravatar Gaëtan Gilbert2018-01-08
* | | | | | | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Gravatar Maxime Dénès2018-01-08
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | |
| | | | | * | First stab at documenting the test suite.Gravatar Jasper Hugunin2018-01-06
| |_|_|_|/ / |/| | | | |
| | | * | | Normalize MacOS installer name.Gravatar Théo Zimmermann2018-01-04
| | | * | | Normalize Windows installer names.Gravatar Théo Zimmermann2018-01-04
| |_|/ / / |/| | | |
| | | * | Expound on dependencies for github-check-prs.pyGravatar Gaëtan Gilbert2017-12-30
| | | * | Python script checking missing/unnecessary [needs: rebase] labelGravatar Gaëtan Gilbert2017-12-30
| * | | | Add instructions for debugging from the command line (and in Windows)Gravatar Jim Fehrle2017-12-29
* | | | | Merge PR #6493: [API] remove large file containing duplicate interfacesGravatar Maxime Dénès2017-12-29
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6405: Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-29
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | |
| | * | | | overlay for #6493Gravatar Enrico Tassi2017-12-27
| | * | | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
| |/ / / / |/| | | |
* | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
|\ \ \ \ \
| | * | | | Add equations overlay.Gravatar Maxime Dénès2017-12-27
| |/ / / / |/| | | |
| * | | | Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27