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
*
Add missing definition and fix #use include;; as suggested by @amintimany.
Théo Zimmermann
2017-06-22
*
Merge PR#774: [ide] Add route_id parameter to query call.
Maxime Dénès
2017-06-20
|
\
*
\
Merge PR#779: Each user overlay goes into its own file.
Maxime Dénès
2017-06-20
|
\
\
|
|
*
[ide] Add route_id parameter to query call.
Emilio Jesus Gallego Arias
2017-06-18
|
*
|
Each user overlay goes into its own file.
Théo Zimmermann
2017-06-16
*
|
|
Fix a bug in cumulativity
Amin Timany
2017-06-16
*
|
|
A short cleanup
Amin Timany
2017-06-16
*
|
|
Clean up universes of constants and inductives
Amin Timany
2017-06-16
*
|
|
Squashed commit of the following:
Amin Timany
2017-06-16
|
|
/
|
/
|
*
|
Merge PR#778: Revert "[travis] temporary UniMath overlay"
Maxime Dénès
2017-06-15
|
\
\
*
|
|
fix dev/base_include (thanks Zimmi48)
Pierre Letouzey
2017-06-15
*
|
|
Remove bedrock from test suite.
Maxime Dénès
2017-06-15
|
|
/
|
/
|
*
|
Merge PR#749: Normalize deprecation notices of ./configure
Maxime Dénès
2017-06-14
|
\
\
*
\
\
Merge PR#622: Change the default flag value for Refine.refine
Maxime Dénès
2017-06-14
|
\
\
\
*
\
\
\
Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58
Maxime Dénès
2017-06-14
|
\
\
\
\
*
|
|
|
|
Temporary overlays because fewer plugins are loaded at startup.
Maxime Dénès
2017-06-14
*
|
|
|
|
[travis] overlay for fiat-crypto (a Require Import FunInd)
Pierre Letouzey
2017-06-14
*
|
|
|
|
[travis] overlays for CompCert and VST (an extra Require Export FunInd)
Pierre Letouzey
2017-06-14
*
|
|
|
|
[travis] fix Software Foundation (one added Require Extraction)
Pierre Letouzey
2017-06-14
*
|
|
|
|
[travis] fix CoLoR by inserting some Require Import FunInd
Pierre Letouzey
2017-06-14
*
|
|
|
|
Temporary overlays for bignums.
Maxime Dénès
2017-06-14
*
|
|
|
|
Merge PR#498: Bignums as a separate opam package
Maxime Dénès
2017-06-14
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR#766: Fix ocamldebug for the API
Maxime Dénès
2017-06-13
|
\
\
\
\
\
\
|
|
|
|
|
|
*
Revert "[travis] temporary UniMath overlay"
Théo Zimmermann
2017-06-13
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Merge PR#714: Print feature Proof-of-Concept (episode 2)
Maxime Dénès
2017-06-13
|
\
\
\
\
\
\
|
|
|
|
|
*
|
Dualize the unsafe flag of refine into typecheck and make it mandatory.
Pierre-Marie Pédrot
2017-06-13
|
|
|
*
|
|
|
[travis] overlay for corn
Pierre Letouzey
2017-06-13
|
|
|
*
|
|
|
[travis] extra test ci-bignums (+factorize other scripts)
Pierre Letouzey
2017-06-13
|
|
|
*
|
|
|
[travis] overlay + extra deps for math-classes (and formal-topology)
Pierre Letouzey
2017-06-13
|
|
|
|
|
*
|
Documenting the change of default flag value of Refine.refine.
Pierre-Marie Pédrot
2017-06-13
|
|
|
*
|
|
|
[travis] adapt CoLoR compilation to depend on the bignum package
Pierre Letouzey
2017-06-13
|
|
_
|
/
/
/
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Merge PR#764: Point ci-hott at a newer version of HoTT
Maxime Dénès
2017-06-13
|
\
\
\
\
\
\
|
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Merge PR#715: Add coq-dpdgraph ci
Maxime Dénès
2017-06-12
|
\
\
\
\
\
\
|
|
|
|
|
*
|
[travis overlay] Partially Revert 013c0232953f1f58
Jason Gross
2017-06-12
|
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Merge PR#718: API cleanup: aliases
Maxime Dénès
2017-06-12
|
\
\
\
\
\
\
*
|
|
|
|
|
|
Temporary overlay, waiting for upstream PR merges.
Maxime Dénès
2017-06-12
*
|
|
|
|
|
|
add overlays
Matej Košík
2017-06-12
|
|
|
|
|
*
|
Fix ocamldebug for the API
Gaëtan Gilbert
2017-06-12
|
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
|
*
|
|
Point ci-hott at a newer version of HoTT
Jason Gross
2017-06-11
|
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
|
*
Normalize deprecation notices of ./configure
Théo Zimmermann
2017-06-11
|
*
|
|
|
Remove (useless) aliases from the API.
Matej Košík
2017-06-10
|
|
|
_
|
/
|
|
/
|
|
|
|
*
|
Mirror dpdgraph's travis test more accurately
Jason Gross
2017-06-08
|
|
*
|
Remove coq-dpdgraph overlay
Jason Gross
2017-06-08
*
|
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-06-08
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
*
|
|
|
Remove overlay.
Maxime Dénès
2017-06-08
*
|
|
|
add overlays
Matej Košík
2017-06-07
*
|
|
|
Put all plugins behind an "API".
Matej Kosik
2017-06-07
*
|
|
|
Overlay.
Maxime Dénès
2017-06-06
*
|
|
|
Remove some overlays.
Maxime Dénès
2017-06-06
*
|
|
|
Overlays.
Maxime Dénès
2017-06-06
[next]
Théo Zimmermann
Maxime Dénès
Emilio Jesus Gallego Arias
Amin Timany
Pierre Letouzey
Pierre-Marie Pédrot
Jason Gross
Matej Košík
Gaëtan Gilbert