index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
coq-makefile
/
native1
Commit message (
Expand
)
Author
Age
*
coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs
Enrico Tassi
2017-08-29
*
more verbose logs for coq-makefile
Enrico Tassi
2017-07-20
*
coq-makefile: make test suite detect more errors
Enrico Tassi
2017-07-20
*
Merge PR#709: Bytecode compilation apart from 'make world', again
Maxime Dénès
2017-06-12
|
\
*
|
Test-suite: do not test native compiler if disabled by configure.
Maxime Dénès
2017-06-01
|
*
test-suite/coq-makefile: we do not build byte file by default anymore
Pierre Letouzey
2017-06-01
|
/
*
Merge PR#689: Changes to make coq-makefile not failing on MacOS X.
Maxime Dénès
2017-05-28
|
\
*
\
Merge PR#683: coq_makefile: build .cma for each .mlpack
Maxime Dénès
2017-05-28
|
\
\
|
*
|
coq_makefile: build .cma for each .mlpack
Enrico Tassi
2017-05-27
*
|
|
Use specific shell for more robustness.
Théo Zimmermann
2017-05-27
|
/
/
|
*
Changes to make coq-makefile not failing on MacOS X.
Hugo Herbelin
2017-05-26
|
/
*
test suite for coq_makefile2
Enrico Tassi
2017-05-23