| Age | Commit message (Expand) | Author |
|---|
| 2014-05-06 | - Fixes for canonical structure resolution (check that the initial term indee... | Matthieu Sozeau |
| 2014-05-06 | - Fix bug preventing apply from unfolding Fixpoints. | Matthieu Sozeau |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2014-03-05 | Remove some dead-code (thanks to ocaml warnings) | Pierre Letouzey |
| 2014-02-28 | Fix bug 3245: 'simpl nomatch' argument annotation makes cbn go into an infini... | Pierre Boutillier |
| 2014-02-28 | Dead code elimionation in reductionops | Pierre Boutillier |
| 2014-02-24 | Ensuring that the module Stack is opaque inside Reductionops. | Pierre-Marie Pédrot |
| 2014-02-24 | cbn understands Arguments | Pierre Boutillier |
| 2014-02-24 | Simpl_behaviour becomes Reductionops.ReductionBehaviour | Pierre Boutillier |
| 2014-02-24 | No more translation array <-> list in Reductionops.Stack | Pierre Boutillier |
| 2014-02-24 | Reductionops.Stack.strip* are ready to deal with Shift | Pierre Boutillier |
| 2014-02-24 | Reductionops.Stack.app_node is secret | Pierre Boutillier |
| 2014-02-24 | app_node, stack, state printers | Pierre Boutillier |
| 2014-02-24 | Stack operations of Reductionops in Reductionops.Stack | Pierre Boutillier |
| 2013-11-08 | Removing partial applications in Reductionops. | ppedrot |
| 2013-11-05 | Preventing useless allocations in Reductionops.instance. | ppedrot |
| 2013-10-31 | Conv_orable made functional and part of pre_env | gareuselesinge |
| 2013-10-29 | Do not generate useless argument arrays in whd_* functions. | ppedrot |
| 2013-10-29 | [Reductionops.append_stack_app]: do not allocate a useless array. | ppedrot |
| 2013-10-22 | Various optimizations in Constr, such as term sharing and allocation | ppedrot |
| 2013-09-19 | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc |
| 2013-08-25 | Removing association lists in Reductionops. Btw, defining the dual of the | ppedrot |
| 2013-07-19 | - Fix uncaught exception NotASort from reductionops, moving decomp_sort to re... | msozeau |
| 2013-04-29 | Splitting Term into five unrelated interfaces: | ppedrot |
| 2013-03-25 | Fix bug #2989: make unification.ml able to deal with canonical structure in a... | pboutill |
| 2013-03-23 | Minor code cleaning in CArray / CList. | ppedrot |
| 2013-03-14 | Typo in an error message | letouzey |
| 2013-03-13 | Restrict (try...with...) to avoid catching critical exn (part 7) | letouzey |
| 2013-03-05 | More monomorphization. | ppedrot |
| 2013-02-28 | compare_stack_shape before ise_stack2 in evar_conv | pboutill |
| 2013-02-25 | Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo... | pboutill |
| 2013-02-19 | Dir_path --> DirPath | letouzey |
| 2013-01-28 | Uniformization of the "anomaly" command. | ppedrot |
| 2013-01-28 | Added backtrace information to anomalies | ppedrot |
| 2013-01-24 | Reductionops: whd_state_gen can take and answers a cst_stack too | pboutill |
| 2013-01-22 | New implementation of the conversion test, using normalization by evaluation to | mdenes |
| 2012-12-21 | Awful heuristic to refold mutual fixpoint in reductionops | pboutill |
| 2012-12-21 | Fixup and comment reductionops | pboutill |
| 2012-12-19 | Reductionops reduction machine can refold constant | pboutill |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-11-28 | Reductionops uses Closure.reds | pboutill |
| 2012-11-22 | Monomorphization (pretyping) | ppedrot |
| 2012-11-08 | Monomorphized a lot of equalities over OCaml integers, thanks to | ppedrot |
| 2012-10-02 | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey |
| 2012-09-14 | As r15801: putting everything from Util.array_* to CArray.*. | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-25 | Fix eta contraction in Reductionops | pboutill |
