Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | Merge PR#481: [option] Remove support for non-synchronous options. | 2017-05-25 | ||
|\ \ \ \ \ | ||||
* | | | | | | [location] Fix warnings. | 2017-05-24 | ||
* | | | | | | [location] Renaming "CAst.ast" to "CAst.t" | 2017-05-24 | ||
* | | | | | | Merge branch 'trunk' into located_switch | 2017-05-24 | ||
|\ \ \ \ \ \ | ||||
| | * | | | | | [option] Remove support for non-synchronous options. | 2017-05-24 | ||
| |/ / / / / | ||||
| | | * / / | Clarifying the interpretation path for the "constr_with_binding" argument. | 2017-05-22 | ||
| | |/ / / | |/| | | | ||||
| | * | | | Merge branch 'master' into ltac2-hooks | 2017-05-19 | ||
| | |\ \ \ | | |/ / / | |/| | | | ||||
| * | | | | Merge branch 'v8.6' | 2017-05-17 | ||
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| * | | | | Merge PR#630: [interp] [ast] Make raw_cases_pattern_expr private + small cleanup | 2017-05-17 | ||
| |\ \ \ \ | ||||
| | | * | | | Fixing bug #5222 (anomaly with "`pat" in the presence of scope delimiters). | 2017-05-16 | ||
| | | * | | | Fixing a bug with nested "as" clauses in "match". | 2017-05-16 | ||
| | * | | | | [interp] Rework check for casts inside patterns. | 2017-05-15 | ||
| | * | | | | [interp] [ast] Make raw_cases_pattern_expr private. | 2017-05-15 | ||
| * | | | | | Typo in comments of constrintern. | 2017-05-15 | ||
| |/ / / / | ||||
| * | | | | Remove dead code and unused open. | 2017-05-05 | ||
| * | | | | Merge PR#558: Adding a fold_glob_constr_with_binders combinator | 2017-05-05 | ||
| |\ \ \ \ | ||||
| | | | * | | Allowing to pass arbitrary data in internalization environments. | 2017-05-03 | ||
| | |_|/ / | |/| | | | ||||
| * | | | | Merge PR#582: Fix warnings | 2017-05-02 | ||
| |\ \ \ \ | ||||
| * | | | | | Revert "Renaming allow_patvar flag of intern_gen into pattern_mode." | 2017-04-28 | ||
| * | | | | | Revert "Using a more explicit algebraic type for evars of kind "MatchingVar"." | 2017-04-28 | ||
| * | | | | | Using a more explicit algebraic type for evars of kind "MatchingVar". | 2017-04-28 | ||
| * | | | | | Renaming allow_patvar flag of intern_gen into pattern_mode. | 2017-04-28 | ||
| * | | | | | Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l... | 2017-04-28 | ||
| |\ \ \ \ \ | ||||
| | | * | | | | Fix 4.04 warnings | 2017-04-27 | ||
| | | * | | | | Warning 29: non escaped end of line may be non portable | 2017-04-27 | ||
| | | * | | | | Remove unused [open] statements | 2017-04-27 | ||
| | | * | | | | Remove some unused values and types | 2017-04-27 | ||
| | |/ / / / | |/| | | | | ||||
* | | | | | | [location] [ast] Port module AST to CAst | 2017-04-25 | ||
* | | | | | | [location] [ast] Switch Constrexpr AST to an extensible node type. | 2017-04-25 | ||
* | | | | | | [location] Make location optional in Loc.located | 2017-04-25 | ||
* | | | | | | [location] Remove Loc.ghost. | 2017-04-25 | ||
* | | | | | | [location] Use located in misctypes. | 2017-04-24 | ||
* | | | | | | [location] More located use. | 2017-04-24 | ||
* | | | | | | [location] Switch glob_constr to Loc.located | 2017-04-24 | ||
* | | | | | | [location] Move Glob_term.predicate_pattern to located. | 2017-04-24 | ||
* | | | | | | [location] Move Glob_term.cases_pattern to located. | 2017-04-24 | ||
* | | | | | | [location] Use Loc.located for constr_expr. | 2017-04-24 | ||
* | | | | | | [constrexpr] Make patterns use Loc.located for location information | 2017-04-24 | ||
|/ / / / / | ||||
* | | | | | correcting a typo in a comment | 2017-04-20 | ||
* | | | | | Merge branch 'v8.6' into trunk | 2017-04-15 | ||
|\ \ \ \ \ | | |_|/ / | |/| | | | ||||
| | | * | | Adding a fold_glob_constr_with_binders combinator. | 2017-04-13 | ||
* | | | | | Merge PR#441: Port Toplevel to the Stm API | 2017-04-12 | ||
|\ \ \ \ \ | ||||
| * | | | | | [flags] Documentation and a minor tweak. | 2017-04-12 | ||
* | | | | | | Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r... | 2017-04-12 | ||
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | ||||
| | | | * | | More explicit message when a {struct x} argument refers to a local definition. | 2017-04-09 | ||
| | | |/ / | | |/| | | ||||
| | | | * | Better support for printing constructors with let-ins. | 2017-04-07 | ||
| | | | * | Fixing #4499 (not using unnamed record field in {| |} notation). | 2017-04-07 | ||
| | | |/ | ||||
| | | * | Fixing #5454 (an assert false with 'pat). | 2017-04-05 | ||
* | | | | Merge branch 'trunk' into pr379 | 2017-04-04 | ||
|\ \ \ \ | | |/ / | |/| | | ||||
* | | | | Merge branch 'trunk' into pr379 | 2017-03-24 | ||
|\ \ \ \ |