Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Catch errors while coercing 'and' intro patterns | Tej Chajed | 2017-12-11 |
* | Merge PR #6368: [api] Remove yet another type alias. | Maxime Dénès | 2017-12-11 |
|\ | |||
* \ | Merge PR #6352: [makefile] Address #6291: install more development files. | Maxime Dénès | 2017-12-11 |
|\ \ | |||
* \ \ | Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract. | Maxime Dénès | 2017-12-11 |
|\ \ \ | |||
* \ \ \ | Merge PR #1150: [stm] Remove all but one use of VtUnknown. | Maxime Dénès | 2017-12-11 |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6338: Remove up-to-conversion term matching | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6369: [api] Remove kernel dependency on intf (Decl_kind) | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6363: [META] Some dependency fixes. | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir. | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6351: Fix a copy-paste error in ci-ltac2. | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #6346: [ci] CoLoR has moved to github | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6340: [default.nix] Add ocpIndent and ocp-index. | Maxime Dénès | 2017-12-11 |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6370: [ci] Temporal workaround for checker non-backwards compatible... | Maxime Dénès | 2017-12-10 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | [ci] Temporal workaround for checker non-backwards compatible change. | Emilio Jesus Gallego Arias | 2017-12-10 |
| | | | | | | * | | | | | | [api] Remove kernel dependency on intf (Decl_kind) | Emilio Jesus Gallego Arias | 2017-12-10 |
| | |_|_|_|_|/ / / / / / | |/| | | | | | | | | | | |||
| | | | | | | | | | | * | [api] Remove yet another type alias. | Emilio Jesus Gallego Arias | 2017-12-09 |
| | |_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | |||
| | | | | | * | | | | | [META] Some dependency fixes. | Emilio Jesus Gallego Arias | 2017-12-09 |
| | |_|_|_|/ / / / / | |/| | | | | | | | | |||
| | | | | | | * | | | [stm] Remove all but one use of VtUnknown. | Emilio Jesus Gallego Arias | 2017-12-09 |
| | |_|_|_|_|/ / / | |/| | | | | | | | |||
| | | | | | * | | | Remove up-to-conversion matching functions. | Pierre-Marie Pédrot | 2017-12-09 |
| | | | | * | | | | [ci] Download ci-sf archives into the proper CI build dir. | Emilio Jesus Gallego Arias | 2017-12-09 |
| |_|_|_|/ / / / |/| | | | | | | | |||
| * | | | | | | | Revert "CI: poc Circleci configuration" | Arnaud Spiwack | 2017-12-08 |
| * | | | | | | | CI: poc Circleci configuration | Arnaud Spiwack | 2017-12-08 |
|/ / / / / / / | |||
| | | | | | * | [makefile] Address #6291: install more development files. | Emilio Jesus Gallego Arias | 2017-12-08 |
| |_|_|_|_|/ |/| | | | | | |||
| | | * | | | Fix a copy-paste error in ci-ltac2. | Théo Zimmermann | 2017-12-08 |
* | | | | | | Merge PR #6334: Remove dead code in Reductionops | Maxime Dénès | 2017-12-08 |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6158: Allows a level in the raw and glob printers | Maxime Dénès | 2017-12-08 |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6224: Add alienclean target to remove compilation products with no ... | Maxime Dénès | 2017-12-08 |
|\ \ \ \ \ \ \ \ | |||
| | | | | * | | | | [ci] CoLoR has moved to github | Emilio Jesus Gallego Arias | 2017-12-07 |
* | | | | | | | | | Merge PR #6267: Fix PR merge script. | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ | |||
| | | | | * | | | | | [default.nix] Add ocpIndent and ocp-index. | Maxime Dénès | 2017-12-07 |
| |_|_|_|/ / / / / |/| | | | | | | | | |||
| | | | | | | * | | Getting rid of pf_matches in Hipattern. | Pierre-Marie Pédrot | 2017-12-07 |
* | | | | | | | | | Merge PR #6290: Rename update to set, Fixes #6196 | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #873: New strategy based on open scopes for deciding which notation ... | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6142: Single quotes break on Windows | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6277: Qualified import in coqchk | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6322: Fix #6286 (non stability of micromega csdp cache rebuilding) | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6321: Use preference for ocamlfind in configure | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6316: Correct typo | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6309: [default.nix] needs ncurses for the test-suite | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6303: Remove redundant Zcase from the checker. | Maxime Dénès | 2017-12-07 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | | * | | Getting rid of pf_is_matching in Funind. | Pierre-Marie Pédrot | 2017-12-06 |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | * | | | Getting rid of the Update constructor in Reductionops. | Pierre-Marie Pédrot | 2017-12-06 |
| | | | | | | | | | | | | * | | | Getting rid of the Shift constructor in Reductionops. | Pierre-Marie Pédrot | 2017-12-06 |
| |_|_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | * | Overlay for Equations. | Gaëtan Gilbert | 2017-12-06 |
| | | | | | | | | | | | | | * | Fix #6323: stronger restrict universe context vs abstract. | Gaëtan Gilbert | 2017-12-06 |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |||
| | | | | * | | | | | | | | | Replacing Hashtbl.add by Hashtbl.replace in micromega cache building. | Hugo Herbelin | 2017-12-05 |
| | | | | | | | | * | | | | | Rename update to set, fixes #6196 | Paul Steckler | 2017-12-05 |
| | | | * | | | | | | | | | | use preference for ocamlfind | Paul Steckler | 2017-12-05 |
| |_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | |||
| | | * | | | | | | | | | | Correct typo | Martin Vassor | 2017-12-05 |
| |_|/ / / / / / / / / / |/| | | | | | | | | | | | |||
| | * | | | | | | | | | | [default.nix] explain ncurses dependency | Vincent Laporte | 2017-12-05 |