index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
remove obsolete file dev/Makefile.oug
Pierre Letouzey
2017-02-17
*
Merge PR#403: Split Vernacular Processing from Toplevel
Maxime Dénès
2017-02-16
|
\
*
\
Merge PR#431
Maxime Dénès
2017-02-16
|
\
\
|
*
|
[travis] [External CI] CompCert official 8.6 support + UniMath
Emilio Jesus Gallego Arias
2017-02-15
|
*
|
[travis] [External CI] Factor out math-comp installs.
Emilio Jesus Gallego Arias
2017-02-15
|
|
*
Make Obligations see fix_exn
Enrico Tassi
2017-02-15
|
|
*
[stm] Remove unused legacy stm interface.
Emilio Jesus Gallego Arias
2017-02-15
|
|
*
[cosmetic] Reorder makefile as suggested by @herbelin
Emilio Jesus Gallego Arias
2017-02-15
|
|
*
[stm] Reenable Show Script command.
Emilio Jesus Gallego Arias
2017-02-15
|
|
*
[stm] Break stm/toplevel dependency loop.
Emilio Jesus Gallego Arias
2017-02-15
|
|
/
|
/
|
*
|
Merge PR#314: Miscellaneous fixes for Ocaml warnings.
Maxime Dénès
2017-02-15
|
\
|
|
*
[unicode] Address comments in PR#314.
Emilio Jesus Gallego Arias
2017-02-15
|
*
[safe-string] Switch to buffer to `Bytes`
Emilio Jesus Gallego Arias
2017-02-14
|
*
[safe-string] Use `String.init` to build string.
Emilio Jesus Gallego Arias
2017-02-14
|
*
[misc] Remove unused binding.
Emilio Jesus Gallego Arias
2017-02-14
|
/
*
Merge PR#253: Sort Search results by relevance
Maxime Dénès
2017-02-14
|
\
|
*
Test-suite: output of Search
Arnaud Spiwack
2017-02-14
*
|
Merge PR#349: Proofview: tclINDEPENDENTL
Maxime Dénès
2017-02-13
|
\
\
|
*
|
Proofview: tclINDEPENDENTL
Enrico Tassi
2017-02-10
|
/
/
*
|
Merge PR#405: Type cleanup in `Metasyntax`
Maxime Dénès
2017-02-08
|
\
\
*
\
\
Merge PR#393: Replace Typeops with Fast_typeops
Maxime Dénès
2017-02-08
|
\
\
\
*
|
|
|
Revert "Extraction: avoid deprecated functions of module String"
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction cosmetic: no whitespaces in printing empty modules
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction: remove the "print to devnull" hack now that pp isn't lazy anymore
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction: avoid deprecated functions of module String
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction: simplify the generated code for difficult name conflicts
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction : get_duplicates (via option) instead of check_duplicates (via Not...
Pierre Letouzey
2017-02-07
*
|
|
|
configure: avoid deprecated warnings
Pierre Letouzey
2017-02-07
*
|
|
|
Extraction: fix complexity issue #5310
Pierre Letouzey
2017-02-07
*
|
|
|
Merge PR#425: [travis] [External CI] [geocoq] don't build slow file
Maxime Dénès
2017-02-07
|
\
\
\
\
|
*
|
|
|
[travis] [External CI] [geocoq] don't build slow file
Emilio Jesus Gallego Arias
2017-02-07
*
|
|
|
|
Merge PR#424: [travis] [External CI] iris-coq: fix dependencies
Maxime Dénès
2017-02-07
|
\
\
\
\
\
|
*
|
|
|
|
[travis] [External CI] iris-coq: fix dependencies
Emilio Jesus Gallego Arias
2017-02-07
|
/
/
/
/
/
|
|
|
*
/
Type cleanup in `Metasyntax`
Emilio Jesus Gallego Arias
2017-02-07
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
Merge PR#421: [travis] Perform parallel testing
Maxime Dénès
2017-02-07
|
\
|
|
|
|
*
|
|
[travis] [External CI] GeoCoq
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] Enable 32bit test-suite + validate.
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] Move ci files from `tools` to `dev`.
Maxime Dénès
2017-02-07
|
*
|
|
[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] [External CI] Script renaming.
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] Improvements to main script
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] [External CI] compcert HoTT math-comp
Emilio Jesus Gallego Arias
2017-02-07
|
*
|
|
[travis] Run tests using a parallel matrix.
Emilio Jesus Gallego Arias
2017-02-06
|
/
/
/
*
|
|
Merge PR#419: [travis] CoqIde + doc + last available LST
Maxime Dénès
2017-02-06
|
\
\
\
|
*
|
|
[travis] : more apt deps + parallel jobs + non-container based
Pierre-Yves Strub
2017-02-04
|
*
|
|
[travis] CoqIde + doc + last available LST
Pierre-Yves Strub
2017-02-04
|
/
/
/
*
|
|
Merge PR#418: Travis CI configuration
Maxime Dénès
2017-02-03
|
\
\
\
|
*
|
|
Travis CI configuration. Runs validate & test-suite.
Pierre-Yves Strub
2017-02-03
|
/
/
/
*
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-02-01
|
\
\
\
|
*
\
\
Merge branch 'v8.5' into v8.6
Pierre-Marie Pédrot
2017-02-01
|
|
\
\
\
[next]