index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
ci
Commit message (
Expand
)
Author
Age
*
updating CI for Mtac2
Beta Ziliani
2018-04-25
*
Merge PR #7152: [api] Remove dependency of library on Vernacexpr.
Pierre-Marie Pédrot
2018-04-23
|
\
*
\
Merge PR #7320: [ci] Also make some display targets for fiat-crypto
Emilio Jesus Gallego Arias
2018-04-21
|
\
\
|
*
|
[ci] Also make some display targets for fiat-crypto
Jason Gross
2018-04-20
*
|
|
CI: add fcsl-pcm
Anton Trunov
2018-04-20
|
/
/
*
|
CI: extract iris git version without using opam
Ralf Jung
2018-04-18
*
|
fix iris-lambda-rust CI
Ralf Jung
2018-04-18
*
|
Merge PR #7242: Update the CI branch for Equations.
Gaëtan Gilbert
2018-04-17
|
\
\
|
*
|
Update the CI branch for Equations.
Théo Zimmermann
2018-04-13
*
|
|
Overlay for econstr in Evd.
Gaëtan Gilbert
2018-04-13
|
/
/
*
|
Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...
Pierre-Marie Pédrot
2018-04-13
|
\
\
*
\
\
Merge PR #6809: Improve shell scripts
Michael Soegtrop
2018-04-08
|
\
\
\
|
|
|
*
[api] Remove dependency of library on Vernacexpr.
Emilio Jesus Gallego Arias
2018-04-06
|
*
|
|
Improve shell scripts
zapashcanon
2018-04-05
|
|
|
/
|
|
/
|
*
/
|
[api] Move some types to their proper module.
Emilio Jesus Gallego Arias
2018-04-02
|
/
/
|
*
[econstr] Forbid calling `to_constr` in open terms.
Emilio Jesus Gallego Arias
2018-03-31
|
/
*
Remove outdated patch from ci-sf
Jasper Hugunin
2018-03-29
*
[ssreflect] Fix module scoping problems due to packing and mli files.
Emilio Jesus Gallego Arias
2018-03-10
*
[located] Push inner locations in `reference` to a CAst.t node.
Emilio Jesus Gallego Arias
2018-03-09
*
[located] More work towards using CAst.t
Emilio Jesus Gallego Arias
2018-03-09
*
Merge PR #6775: Allow using cumulativity without forcing strict constraints.
Maxime Dénès
2018-03-09
|
\
|
*
Overlay for Elpi.
Gaëtan Gilbert
2018-03-09
*
|
Add an overlay for Equations and Ltac2.
Pierre-Marie Pédrot
2018-03-09
|
/
*
Merge PR #6881: [windows] support -addon in build script
Maxime Dénès
2018-03-08
|
\
|
*
build: win: turn off build/installation of gnu Make
Enrico Tassi
2018-03-06
*
|
Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.
Maxime Dénès
2018-03-04
|
\
\
*
\
\
Merge PR #6676: [proofview] goals come with a state
Maxime Dénès
2018-03-04
|
\
\
\
|
|
|
*
build: win: addon bignums
Enrico Tassi
2018-03-02
|
|
_
|
/
|
/
|
|
|
|
*
[econstr] Continue consolidation of EConstr API under `interp`.
Emilio Jesus Gallego Arias
2018-02-28
|
|
/
|
/
|
*
|
[ast] Improve precision of Ast location recognition in serialization.
Emilio Jesus Gallego Arias
2018-02-22
|
*
overlay for ltac2 and Equations
Enrico Tassi
2018-02-20
*
|
ci: add elpi
Enrico Tassi
2018-02-19
|
/
*
Merge PR #6706: ci-common: guess CI_BRANCH for local builds
Maxime Dénès
2018-02-12
|
\
*
\
Merge PR #6610: Points to Flocq official repository.
Maxime Dénès
2018-02-07
|
\
\
*
\
\
Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding
Maxime Dénès
2018-02-07
|
\
\
\
|
|
|
*
ci-common: guess CI_BRANCH for local builds
Gaëtan Gilbert
2018-02-07
|
|
_
|
/
|
/
|
|
|
|
*
Points to Flocq official repository.
Théo Zimmermann
2018-02-05
|
|
/
|
/
|
|
*
Add overlay for equations (nf_beta takes an env)
Gaëtan Gilbert
2018-02-05
*
|
Merge PR #6654: CI: Run coqchk on Iris
Maxime Dénès
2018-02-05
|
\
\
|
|
/
|
/
|
|
*
CI: Run coqchk on Iris
Ralf Jung
2018-01-31
*
|
Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...
Maxime Dénès
2018-01-31
|
\
\
*
\
\
Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.
Maxime Dénès
2018-01-31
|
\
\
\
|
|
_
|
/
|
/
|
|
|
|
*
Put default value for NJOBS in ci-common.
Gaëtan Gilbert
2018-01-30
|
|
/
|
/
|
|
*
Adding an overlay for Equations.
Pierre-Marie Pédrot
2018-01-30
*
|
Merge PR #6568: Cleanup scripts
Maxime Dénès
2018-01-23
|
\
\
|
*
|
Source basic overlay before user overlays.
Gaëtan Gilbert
2018-01-16
|
*
|
Cleanup shell expansions and quoting.
Gaëtan Gilbert
2018-01-16
|
|
/
*
|
Merge PR #6483: Strong invariants in polymorphic definitions
Maxime Dénès
2018-01-12
|
\
\
|
*
|
Adding a custom Travis overlay for HoTT.
Pierre-Marie Pédrot
2018-01-11
*
|
|
Merge PR #6557: First stab at documenting the test suite.
Maxime Dénès
2018-01-11
|
\
\
\
|
|
/
/
|
/
|
|
[next]