index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
...
*
|
|
|
Adapt debugging doc to configure/Makefile changes.
Théo Zimmermann
2017-08-29
*
|
|
|
Move debugging to Markdown.
Théo Zimmermann
2017-08-29
|
/
/
/
|
|
*
Move dev/doc/changes to Markdown.
Théo Zimmermann
2017-08-29
|
|
/
|
/
|
*
|
Merge PR #838: Have coq-dpdgraph ci test print the differences
Maxime Dénès
2017-08-29
|
\
\
*
\
\
Merge PR #819: Cleanup old things
Maxime Dénès
2017-08-29
|
\
\
\
|
|
|
*
Don't strip the newline, don't use \r
Jason Gross
2017-08-24
|
|
|
*
Swap order of "aggregating..." message and travis_fold
Jason Gross
2017-08-24
|
|
|
*
Only display travis_fold: on travis
Jason Gross
2017-08-24
*
|
|
|
Merge PR #801: Make Travis generate OSX packages.
Maxime Dénès
2017-08-18
|
\
\
\
\
|
*
|
|
|
Make Travis generate OSX packages.
Maxime Dénès
2017-08-17
*
|
|
|
|
Mention tclINDEPENDENTL (#349) in dev/doc/changes.
Théo Zimmermann
2017-08-16
|
/
/
/
/
|
|
|
*
Move the rest of the ci target to a bash file
Jason Gross
2017-08-15
|
|
|
*
Better error messages on the CI
Jason Gross
2017-08-15
|
|
_
|
/
|
/
|
|
|
*
|
Add dev/v8-syntax/check-grammar byproducts to gitignore.
Gaëtan Gilbert
2017-08-01
|
*
|
Remove obsolete files
Gaëtan Gilbert
2017-08-01
|
*
|
Add .v extension to dev/doc/notes-on-conversion
Gaëtan Gilbert
2017-08-01
|
*
|
Remove dev/TODO
Gaëtan Gilbert
2017-08-01
|
*
|
Fix syntax-v8.tex bad parenthesizing
Gaëtan Gilbert
2017-08-01
|
*
|
Remove unused Makefiles in dev/tools/
Gaëtan Gilbert
2017-08-01
|
/
/
|
*
Have coq-dpdgraph ci test print the differences
Jason Gross
2017-08-01
|
/
*
Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.
Maxime Dénès
2017-08-01
|
\
*
\
Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead
Maxime Dénès
2017-07-31
|
\
\
*
\
\
Merge PR #746: Timing on ci via coq_makefile for various projects
Maxime Dénès
2017-07-31
|
\
\
\
*
\
\
\
Merge PR #923: [api] Fix base_include LTAC parts.
Maxime Dénès
2017-07-28
|
\
\
\
\
*
\
\
\
\
Merge PR #782: Update API for fiat
Maxime Dénès
2017-07-28
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #852: Makefile: fails if some .vo or .cm* file has no source
Maxime Dénès
2017-07-28
|
\
\
\
\
\
\
|
|
|
|
|
|
*
[toplevel] Remove long ago deprecated and NOOP options.
Emilio Jesus Gallego Arias
2017-07-27
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
|
*
|
|
[api] Fix base_include LTAC parts.
Emilio Jesus Gallego Arias
2017-07-27
|
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
|
*
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-27
*
|
|
|
|
Merge PR #886: Fixing what was presumably a typo in the naming conventions file
Maxime Dénès
2017-07-26
|
\
\
\
\
\
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
|
|
[api] Remove type equalities from API.
Emilio Jesus Gallego Arias
2017-07-25
|
|
|
|
*
Alternate way of doing timing on ci
Jason Gross
2017-07-21
|
|
|
|
*
Separate make from python script for HoTT
Jason Gross
2017-07-21
|
|
|
|
*
Display timing data travis for various projects
Jason Gross
2017-07-21
*
|
|
|
|
Add AppVeyor infrastructure, launching the test suite under Windows.
Maxime Dénès
2017-07-20
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
Merge PR #788: [API] Remove `open API` in ml files in favor of `-open API` flag.
Maxime Dénès
2017-07-19
|
\
\
\
\
*
|
|
|
|
[ci] VST is now built with IGNORECOQVERSION=true.
Théo Zimmermann
2017-07-18
|
*
|
|
|
[API] Remove `open API` in ml files in favor of `-open API` flag.
Emilio Jesus Gallego Arias
2017-07-17
|
/
/
/
/
*
|
|
|
Merge PR #878: Prepare De Bruijn universe abstractions, Episode II: Upper layers
Maxime Dénès
2017-07-17
|
\
\
\
\
*
\
\
\
\
Merge PR #881: Adapting base_include to 91df40272 (body_of_constant_body move...
Maxime Dénès
2017-07-17
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #879: Adding debug printers related to universes
Maxime Dénès
2017-07-17
|
\
\
\
\
\
\
|
|
|
|
*
|
|
Fixing what was presumably a typo in the naming conventions file.
Hugo Herbelin
2017-07-16
|
|
*
|
|
|
|
Adapting to 91df40272 (body_of_constant_body moved to global).
Hugo Herbelin
2017-07-16
|
|
|
|
/
/
/
|
|
|
/
|
|
|
|
*
/
|
|
|
Adding debug printers related to universes in the default debugger source file.
Pierre-Marie Pédrot
2017-07-14
|
|
/
/
/
/
|
|
*
|
|
Fix a typo in dev/changes.
Pierre-Marie Pédrot
2017-07-14
|
|
*
|
|
Document the changes in API brought by this series of patches.
Pierre-Marie Pédrot
2017-07-14
|
|
/
/
/
*
/
/
/
Adding econstr printer to "include" file.
Hugo Herbelin
2017-07-12
|
/
/
/
*
|
|
Merge PR #858: [travis] Remove CompCert version check hack.
Maxime Dénès
2017-07-11
|
\
\
\
|
*
|
|
[travis] Remove CompCert version check hack.
Emilio Jesus Gallego Arias
2017-07-05
|
|
*
|
Makefile: fails if some .vo or .cm* file has no source
Pierre Letouzey
2017-07-05
[prev]
[next]