Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | Fix various shortcomings of the warnings infrastructure. | Maxime Dénès | 2016-11-02 | |
* | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-29 | |
|\| | | | ||||
| * | | | Merge remote-tracking branch 'github/pr/319' into v8.6 | Maxime Dénès | 2016-10-28 | |
| |\ \ \ | ||||
| * | | | | STM: make ~valid state id non optional from APIs | Enrico Tassi | 2016-10-26 | |
* | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-24 | |
|\| | | | | ||||
| * | | | | Error Resiliency: more conservative default (only curly braces) | Enrico Tassi | 2016-10-19 | |
| | * | | | [pp] Try to properly tag error messages in cError. | Emilio Jesus Gallego Arias | 2016-10-18 | |
| |/ / / | ||||
* | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-18 | |
|\| | | | ||||
| * | | | Stopping warning on unrecognized unicode character in notation (fixing #5136). | Hugo Herbelin | 2016-10-17 | |
| * | | | [toplevel] Remove duplicate beautify flags. | Emilio Jesus Gallego Arias | 2016-10-17 | |
* | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-17 | |
|\| | | | ||||
| * | | | Merge PR #224 into v8.6 | Pierre-Marie Pédrot | 2016-10-12 | |
| |\ \ \ | ||||
* | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-12 | |
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-12 | |
| |\ \ \ \ | ||||
| | * | | | | Fix #4416: - Incorrect "Error: Incorrect number of goals" | Arnaud Spiwack | 2016-10-10 | |
| * | | | | | Moving Pp.comments to CLexer so that Pp is purer (no more side-effect | Hugo Herbelin | 2016-10-09 | |
* | | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-02 | |
|\| | | | | | ||||
| | | * | | | [pp] Remove duplicate color logger. | Emilio Jesus Gallego Arias | 2016-09-30 | |
| * | | | | | Set the default LtacProf cutoff to 2% | Jason Gross | 2016-09-29 | |
| * | | | | | Fix bug #4798: compat notations should not modify the parser. | Pierre-Marie Pédrot | 2016-09-29 | |
| | |/ / / | |/| | | | ||||
| * | | | | fix bug 3683 : adds references to the web site for the bug tracker | Yves Bertot | 2016-09-29 | |
| * | | | | -profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100) | Enrico Tassi | 2016-09-29 | |
* | | | | | CLEANUP: remove the definition of the "CString.map" function. We will use the... | Matej Kosik | 2016-09-28 | |
* | | | | | FIX: a bug in the pattern matching | Matej Kosik | 2016-09-28 | |
* | | | | | Add a compatibility flag for 8.6 and refactor. | Théo Zimmermann | 2016-09-28 | |
| * | | | | Fix #5061: Warnings flag has no discernible value | Maxime Dénès | 2016-09-27 | |
* | | | | | Make the Coq codebase independent from Ltac-related code. | Pierre-Marie Pédrot | 2016-09-16 | |
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-09-14 | |
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | ||||
| * | | | | | feedback: provide a feeder that prints debug messages | Enrico Tassi | 2016-09-13 | |
| | * | | | | Unplugging Tacexpr in several interface files. | Pierre-Marie Pédrot | 2016-09-08 | |
| |/ / / / |/| | | | | ||||
* | | | | | Merge PR #244. | Pierre-Marie Pédrot | 2016-09-08 | |
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-09-07 | |
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | ||||
| * | | | | | feedback: support multiple feedback listeners | Enrico Tassi | 2016-09-05 | |
* | | | | | | CLEANUP: switching from "right-to-left" to "left-to-right" function compositi... | Matej Kosik | 2016-08-30 | |
|/ / / / / | ||||
* | | | | | Fast path for set operations. | Pierre-Marie Pédrot | 2016-08-22 | |
| * | | | | Make the user_err header an optional parameter. | Emilio Jesus Gallego Arias | 2016-08-19 | |
| * | | | | Remove errorlabstrm in favor of user_err | Emilio Jesus Gallego Arias | 2016-08-19 | |
| * | | | | Unify location handling of error functions. | Emilio Jesus Gallego Arias | 2016-08-19 | |
|/ / / / | ||||
* | | | | Make List.map_filter(_i) tail-recursive. | Guillaume Melquiond | 2016-08-09 | |
* | | | | Fixing the printing of unknown locations by adding a newline. | Pierre-Marie Pédrot | 2016-07-08 | |
* | | | | Adding a breaking space in warning names. | Pierre-Marie Pédrot | 2016-07-08 | |
* | | | | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | Pierre Letouzey | 2016-07-03 | |
* | | | | A new infrastructure for warnings. | Maxime Dénès | 2016-06-29 | |
* | | | | Merge remote-tracking branch 'github/pr/223' into feedback-locations | Maxime Dénès | 2016-06-27 | |
|\ \ \ \ | ||||
* | | | | | add CList.extract_first | Gabriel Scherer | 2016-06-27 | |
| * | | | | [feedback] Remove `ErrorMsg` in favor of `Message Error`. | Emilio Jesus Gallego Arias | 2016-06-25 | |
| * | | | | [feedback] Allow messages to carry a location. | Emilio Jesus Gallego Arias | 2016-06-25 | |
| * | | | | [feedback] Add optional ?loc parameter to loggers. | Emilio Jesus Gallego Arias | 2016-06-25 | |
| * | | | | [feedback] Remove unused tag on `Debug` level. | Emilio Jesus Gallego Arias | 2016-06-25 | |
|/ / / / | ||||
* | | | | Add file name, line number and beginning of line position to locations. | Maxime Dénès | 2016-06-20 |