aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-01-11Fix vernac classification of `Fail Instance`Maxime Dénès
2019-01-11Merge pull request #8778 from SkySkimmer/merge-plugin-tutoYves Bertot
2019-01-10Merge PR #9335: [STM] kill no_safe_id anomalyMaxime Dénès
2019-01-10[ci] compile with -quick & validate after vio2voEnrico Tassi
2019-01-10[vio] free resources (file descriptors) as soon as a worker endsEnrico Tassi
2019-01-10[make] support for QUICKEnrico Tassi
2019-01-10[STM] kill no_safe_id anomalyEnrico Tassi
2019-01-10Merge PR #9143: Documenting the internal role of to_string and print in NamesMaxime Dénès
2019-01-10Merge PR #9331: [STM] Fix semantics of `cur_id` w.r.t. error statesEnrico Tassi
2019-01-10[checker] avoid some printing in non verbose modeEnrico Tassi
2019-01-09[STM] Fix semantics of `cur_id` w.r.t. error statesMaxime Dénès
2019-01-09Merge PR #9318: Add Azure Pipelines build badgeThéo Zimmermann
2019-01-09Merge PR #9327: [Manual] Remove link to non-existing CSS fileClément Pit-Claudel
2019-01-09Merge PR #9088: Add CI job running test suite with `async-proofs on`Emilio Jesus Gallego Arias
2019-01-09[Manual] Remove link to non-existing CSS fileVincent Laporte
2019-01-09Merge PR #9322: [ci] Update fiat-crypto legacyGaëtan Gilbert
2019-01-09Make some tests more robust by adding missing proof terminatorsMaxime Dénès
2019-01-09Test ltacprof in sequential modeMaxime Dénès
2019-01-09Add a CI job running test suite with `-async-proofs on`Maxime Dénès
2019-01-09Make it possible to pass flags to coq when running test suiteMaxime Dénès
2019-01-09Merge PR #9316: Fix #3934: coqc -time -quick gives unreadable outputEnrico Tassi
2019-01-09Merge PR #9273: Fix #9272: `Unset Nested Proofs Allowed` does not capture nes...Enrico Tassi
2019-01-08Move position and update GitLab alt textKayla Ngan
2019-01-08[ci] Update fiat-crypto legacyJason Gross
2019-01-08Fix #3934: coqc -time -quick gives unreadable outputMaxime Dénès
2019-01-08Fix #9272: `Unset Nested Proofs Allowed` does not capture nested `Instance` p...Maxime Dénès
2019-01-08Add Azure Pipelines build badgeKayla Ngan
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2019-01-08plugin_tutorial: ignore Coqlib.find_reference deprecation warning.Gaëtan Gilbert
2019-01-08Fix undefined variables in coq_makefileGaëtan Gilbert
2019-01-08Add 'doc/plugin_tutorial/' from commit '168a13dab1c9987f592994150997e692d4d7e...Gaëtan Gilbert
2019-01-08Add doc for auto-template warningGaëtan Gilbert
2019-01-08merge-pr: add reviewer info to commit messageGaëtan Gilbert
2019-01-08Merge PR #9282: [ssrmatching] update license banner (fix #9281)Maxime Dénès
2019-01-08Merge PR #9292: Fixing some wrong scopes of variables in the interpretation o...Emilio Jesus Gallego Arias
2019-01-07Merge PR #9241: Fix #9240: Register for IDProp causes anomaly when non constantEnrico Tassi
2019-01-07Merge PR #8373: Fixes #8369: Not_found in printing message about an unresolve...Matthieu Sozeau
2019-01-07Merge pull request #22 from SkySkimmer/unlicenseGaëtan Gilbert
2019-01-07Merge PR #9309: [ci] Add Verdi Raft with dependencies to CIEmilio Jesus Gallego Arias
2019-01-06Merge PR #9305: Remove formal-topology from CIGaëtan Gilbert
2019-01-06Merge PR #8977: Update .mailmap.Gaëtan Gilbert
2019-01-06Reworking error message for unresolved evar subterm of another evar.Hugo Herbelin
2019-01-06Documenting the internal role of to_string and print in Names.Hugo Herbelin
2019-01-05[ci] Add Verdi Raft with dependencies to CIKarl Palmskog
2019-01-05Remove outdated gitignore coqprojectfile.mlGaëtan Gilbert
2019-01-04Handle local definitions in implicit arguments of InstanceJasper Hugunin
2019-01-04Merge PR #9264: Fix shallow flag in vernac statePierre-Marie Pédrot
2019-01-04Remove formal-topology from CIMaxime Dénès
2019-01-04Default disable auto template warning.Gaëtan Gilbert
2019-01-02Merge PR #9276: Remove dead code from CClosure.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 14:04:30 +0000