| Age | Commit message (Expand) | Author |
|---|
| 2011-03-07 | A new command "Separate Extraction" | letouzey |
| 2011-03-04 | Extraction: improved indentation of extracted code (fix #2497) | letouzey |
| 2011-02-25 | Extraction: Add missing parenthesis around emulated pattern-match (fix #2478) | letouzey |
| 2011-02-25 | Fix indentation of default pattern in haskell case (bug #2476) | letouzey |
| 2011-01-31 | A fine-grain control of inlining at functor application via priority levels | letouzey |
| 2011-01-07 | Extraction : fix Extract Inlined Constant for Haskell and Scheme (#2469) | letouzey |
| 2010-12-21 | Extraction: avoid type-unsafe optimisation of pattern-matchings (fix #2413) | letouzey |
| 2010-10-06 | Extraction: allow to use Extraction Inline / NoInline even from under a section. | letouzey |
| 2010-09-24 | Dead code in extraction | letouzey |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-09-20 | Extraction: re-introduce some eta-expansions in rare situations leading to '_... | letouzey |
| 2010-09-17 | Extraction: multiple fixes related with the Not_found encountered by X. Leroy | letouzey |
| 2010-09-15 | Fix likely semantic typos | glondu |
| 2010-09-13 | Fix unescaped end-of-lines (OCaml warning 29) | glondu |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-15 | Extraction: fix a bit the extraction under modules | letouzey |
| 2010-07-08 | 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-07 | 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-05 | Extraction: (yet another) rework of the renaming code | letouzey |
| 2010-07-02 | Extraction: better support of modules | letouzey |
| 2010-07-02 | Extraction: no more MPself hence no need for subst during pp | letouzey |
| 2010-06-28 | Extraction: handling modules (not functors) in Haskell by name mangling | letouzey |
| 2010-06-28 | Extraction: remove a useless match | letouzey |
| 2010-06-23 | Extraction: nicer simple extraction of custom defs (fix #2204) | letouzey |
| 2010-06-21 | Extraction: replace unicode characters in ident by ascii encodings (fix #2158... | letouzey |
| 2010-06-16 | Extraction: fix the eta reduction function used in code optimisations | letouzey |
| 2010-06-15 | Extraction: in support library, more and nicer big_int | letouzey |
| 2010-06-10 | Extraction Implicits: can accept argument names instead of just positions | letouzey |
| 2010-06-08 | 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-04 | 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-02 | Extraction: start of a support library | letouzey |
| 2010-05-21 | Extract Inductive is now possible toward non-inductive types (e.g. nat => int) | letouzey |
| 2010-05-01 | Extraction: fix type_expunge_from_sign broken in last commit | letouzey |
| 2010-04-30 | Extraction: an experimental command to get rid of some cst/constructor arguments | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-16 | 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 |
| 2009-11-09 | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin |
