aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-06-06Overlays.Maxime Dénès
2017-06-06Remove the Sigma (monotonous state) API.Maxime Dénès
2017-06-06Merge PR#662: Fixing bug #5233 and another bug with implicit arguments + a sh...Maxime Dénès
2017-06-06Merge PR#728: A few typos.Maxime Dénès
2017-06-06Merge PR#600: Some factorizations of ltac interpretation functions between ss...Maxime Dénès
2017-06-06Merge PR#638: Fix bug #5360: anomalies in typeclass resolution outputMaxime Dénès
2017-06-06Merge PR#716: Don't double up on periods in anomaliesMaxime Dénès
2017-06-06Merge PR#723: [travis] [fiat] Test also fiat-core.Maxime Dénès
2017-06-05Merge PR#724: Move README.ci to markdownMaxime Dénès
2017-06-05Merge PR#726: [stm] Solve bug 5577 "STM branch name is incorrect with Time"Maxime Dénès
2017-06-05Merge PR#722: [printing] Remove duplicated printing function.Maxime Dénès
2017-06-05Merge PR#590: A more explicit algebraic type for evars of kind MatchingVar + ...Maxime Dénès
2017-06-04A few typos.Hugo Herbelin
2017-06-04Merge PR#526: solving implicit resolution in FunctionMaxime Dénès
2017-06-03[stm] Solve bug 5577 "STM branch name is incorrect with Time"Emilio Jesus Gallego Arias
2017-06-02Use Names.Constant.printJason Gross
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-06-02Don't double up on periods in anomaliesJason Gross
2017-06-02Merge PR#720: Reformat Makefile.ciMaxime Dénès
2017-06-02Move README.ci to markdownThéo Zimmermann
2017-06-02Merge PR#708: [ide] Correct merging error.Maxime Dénès
2017-06-02Merge PR#691: [travis] Add OSX test-suite checking.Maxime Dénès
2017-06-02Merge PR#647: [emacs] [toplevel] Make emacs flag local to the toplevel.Maxime Dénès
2017-06-02Merge PR#499: Drop all "theories/*/vo.itarget" files and compute the correspo...Maxime Dénès
2017-06-02Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin...Maxime Dénès
2017-06-02Merge PR#711: [gitlab] Artifact test suite logs on failure.Maxime Dénès
2017-06-02[travis] [fiat] Test also fiat-core.Emilio Jesus Gallego Arias
2017-06-01[travis] Add OSX test-suite checking.Maxime Dénès
2017-06-01Test-suite: do not test native compiler if disabled by configure.Maxime Dénès
2017-06-01solving implicit resolution in FunctionJulien Forest
2017-06-01drop vo.itarget files and compute the corresponding the corresponding values ...Matej Kosik
2017-06-01Merge PR#449: make specialize smarter (bug 5370).Maxime Dénès
2017-06-01Merge PR#670: Postponing of universe constraints unification in term equality.Maxime Dénès
2017-06-01[emacs] [toplevel] Make emacs flag local to the toplevel.Emilio Jesus Gallego Arias
2017-06-01Merge PR#696: Trunk+cleanup constr of globalMaxime Dénès
2017-06-01Remove a post merge warning.Maxime Dénès
2017-06-01Merge PR#561: Improving the Name APIMaxime Dénès
2017-06-01Fix coq_makefile uninstall target under OSX.Maxime Dénès
2017-06-01Merge PR#694: Fixing #5523 (missing support for complex constructions in recu...Maxime Dénès
2017-06-01Break circular dependency in MExtractionJason Gross
2017-06-01a solution that works also with make 3.81Matej Kosik
2017-06-01extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...Matej Kosik
2017-06-01[printing] Remove duplicated printing function.Emilio Jesus Gallego Arias
2017-06-01Merge PR#704: Fix empty parentheses display in test-suiteMaxime Dénès
2017-05-31Merge PR#701: [readlink -f] doesn't work on OSXMaxime Dénès
2017-05-31Reformat Makefile.ciJason Gross
2017-05-31Merge PR#248: Adding eassert, eset, epose, etc.Maxime Dénès
2017-05-31Makefile.build: test-suite all = run + report, so don't report againGaëtan Gilbert
2017-05-31[travis] print failing test suite logs on failureGaëtan Gilbert
2017-05-31Tests for new specialize feature + CHANGES.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 04:47:04 +0000