aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2017-08-18Merge PR #801: Make Travis generate OSX packages.Maxime Dénès
2017-08-17Make Travis generate OSX packages.Maxime Dénès
2017-08-16Mention tclINDEPENDENTL (#349) in dev/doc/changes.Théo Zimmermann
2017-08-01Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.Maxime Dénès
2017-07-31Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadMaxime Dénès
2017-07-31Merge PR #746: Timing on ci via coq_makefile for various projectsMaxime Dénès
2017-07-28Merge PR #923: [api] Fix base_include LTAC parts.Maxime Dénès
2017-07-28Merge PR #782: Update API for fiatMaxime Dénès
2017-07-28Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceMaxime Dénès
2017-07-27[toplevel] Remove long ago deprecated and NOOP options.Emilio Jesus Gallego Arias
2017-07-27[api] Fix base_include LTAC parts.Emilio Jesus Gallego Arias
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-26Merge PR #886: Fixing what was presumably a typo in the naming conventions fileMaxime Dénès
2017-07-25[api] Remove type equalities from API.Emilio Jesus Gallego Arias
2017-07-21Alternate way of doing timing on ciJason Gross
2017-07-21Separate make from python script for HoTTJason Gross
2017-07-21Display timing data travis for various projectsJason Gross
2017-07-20Add AppVeyor infrastructure, launching the test suite under Windows.Maxime Dénès
2017-07-19Merge PR #788: [API] Remove `open API` in ml files in favor of `-open API` flag.Maxime Dénès
2017-07-18[ci] VST is now built with IGNORECOQVERSION=true.Théo Zimmermann
2017-07-17[API] Remove `open API` in ml files in favor of `-open API` flag.Emilio Jesus Gallego Arias
2017-07-17Merge PR #878: Prepare De Bruijn universe abstractions, Episode II: Upper layersMaxime Dénès
2017-07-17Merge PR #881: Adapting base_include to 91df40272 (body_of_constant_body move...Maxime Dénès
2017-07-17Merge PR #879: Adding debug printers related to universesMaxime Dénès
2017-07-16Fixing what was presumably a typo in the naming conventions file.Hugo Herbelin
2017-07-16Adapting to 91df40272 (body_of_constant_body moved to global).Hugo Herbelin
2017-07-14Adding debug printers related to universes in the default debugger source file.Pierre-Marie Pédrot
2017-07-14Fix a typo in dev/changes.Pierre-Marie Pédrot
2017-07-14Document the changes in API brought by this series of patches.Pierre-Marie Pédrot
2017-07-12Adding econstr printer to "include" file.Hugo Herbelin
2017-07-11Merge PR #858: [travis] Remove CompCert version check hack.Maxime Dénès
2017-07-05[travis] Remove CompCert version check hack.Emilio Jesus Gallego Arias
2017-07-05Makefile: fails if some .vo or .cm* file has no sourcePierre Letouzey
2017-07-04Revert fiat-crypto overlayJason Gross
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-26Fix libpcre dependency issue under Windows.Maxime Dénès
2017-06-26Fix proxy setting issueMichael Soegtrop
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
2017-06-22Add missing definition and fix #use include;; as suggested by @amintimany.Théo Zimmermann
2017-06-20Merge PR#774: [ide] Add route_id parameter to query call.Maxime Dénès
2017-06-20Merge PR#779: Each user overlay goes into its own file.Maxime Dénès
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-06-16Remove -j ${NJOBS} from make invocations in the ciJason Gross
2017-06-16Fix ci-fiat-crypto to have a proper lite targetJason Gross
2017-06-16Each user overlay goes into its own file.Théo Zimmermann
2017-06-16Fix a bug in cumulativityAmin Timany
2017-06-16A short cleanupAmin Timany
2017-06-16Clean up universes of constants and inductivesAmin Timany
2017-06-16Squashed commit of the following:Amin Timany
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:28:30 +0000