| Commit message (Expand) | Author | Age |
|---|
| * | Extraction: allow to use Extraction Inline / NoInline even from under a section. |  letouzey | 2010-10-06 |
| * | Dead code in extraction | letouzey | 2010-09-24 |
| * | Some dead code removal, thanks to Oug analyzer | letouzey | 2010-09-24 |
| * | Extraction: re-introduce some eta-expansions in rare situations leading to '_... | letouzey | 2010-09-20 |
| * | Extraction: multiple fixes related with the Not_found encountered by X. Leroy | letouzey | 2010-09-17 |
| * | Fix likely semantic typos |  glondu | 2010-09-15 |
| * | Fix unescaped end-of-lines (OCaml warning 29) | glondu | 2010-09-13 |
| * | Updated all headers for 8.3 and trunk |  herbelin | 2010-07-24 |
| * | Extraction: fix a bit the extraction under modules | letouzey | 2010-07-15 |
| * | Extraction: restrict autoinling to csts whose body is globally visible (fix #... | letouzey | 2010-07-08 |
| * | Extraction: more factorization of common match branches | letouzey | 2010-07-08 |
| * | Extraction: Unset Extraction AutoInline is now the default | letouzey | 2010-07-08 |
| * | Extraction Library Foo creates Foo.ml, not foo.ml (correct version) | letouzey | 2010-07-07 |
| * | Extraction Library Foo creates Foo.ml, not foo.ml | letouzey | 2010-07-07 |
| * | Extraction: get advantage of nicer, algebraic, module types | letouzey | 2010-07-07 |
| * | Extraction: some more work on the (re)naming framework | letouzey | 2010-07-07 |
| * | Extraction: (yet another) rework of the renaming code | letouzey | 2010-07-05 |
| * | Extraction: better support of modules | letouzey | 2010-07-02 |
| * | Extraction: no more MPself hence no need for subst during pp | letouzey | 2010-07-02 |
| * | Extraction: handling modules (not functors) in Haskell by name mangling | letouzey | 2010-06-28 |
| * | Extraction: remove a useless match | letouzey | 2010-06-28 |
| * | Extraction: nicer simple extraction of custom defs (fix #2204) | letouzey | 2010-06-23 |
| * | Extraction: replace unicode characters in ident by ascii encodings (fix #2158... | letouzey | 2010-06-21 |
| * | Extraction: fix the eta reduction function used in code optimisations | letouzey | 2010-06-16 |
| * | Extraction: in support library, more and nicer big_int | letouzey | 2010-06-15 |
| * | Extraction Implicits: can accept argument names instead of just positions | letouzey | 2010-06-10 |
| * | Extraction with implicits: perform the occur-check after optimisations | letouzey | 2010-06-08 |
| * | Typo in ExtrOcamlString: list char instead of char list | letouzey | 2010-06-08 |
| * | Extraction: attempt to provide nice extraction of chars and strings for Ocaml | letouzey | 2010-06-04 |
| * | Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_int | letouzey | 2010-06-04 |
| * | Extraction: start of a support library | letouzey | 2010-06-02 |
| * | Extract Inductive is now possible toward non-inductive types (e.g. nat => int) | letouzey | 2010-05-21 |
| * | Extraction: fix type_expunge_from_sign broken in last commit | letouzey | 2010-05-01 |
| * | Extraction: an experimental command to get rid of some cst/constructor arguments | letouzey | 2010-04-30 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Extraction: cosmetics when using ocaml + Extract Inductive to symbols | letouzey | 2010-04-16 |
| * | Extraction: restore (temporarily?) a very limited form of linear letin reduction | letouzey | 2010-04-16 |
| * | Extraction: less eta in calls to global functions, better optimization phase | letouzey | 2010-04-16 |
| * | Extraction: improvement of optimizations (kill_dummy, optim_fix) | letouzey | 2010-04-16 |
| * | Util: remove list_split_at which is a clone of list_chop | letouzey | 2010-04-16 |
| * | Extraction: ad-hoc identifier type with annotations for reductions | letouzey | 2010-04-16 |
| * | Extraction: less _ in Haskell (typically for False_rect), less toplevel eta-e... | letouzey | 2010-04-16 |
| * | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin | 2009-11-09 |
| * | This big commit addresses two problems: |  soubiran | 2009-10-21 |
| * | Remove useless Liboject.export_function field | glondu | 2009-09-17 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | Death of "survive_module" and "survive_section" (the first one was | herbelin | 2009-08-13 |
| * | Cleaning of Nametab continued + fixed a compilation bug in previous commit. | herbelin | 2009-08-06 |
| * | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin | 2009-08-06 |
| * | Improved parameterization of Coq: | herbelin | 2009-08-02 |
letouzey
glondu
herbelin
soubiran