Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Commits on Feb 23, 2012
  1. @BourgerieQuentin
Commits on Feb 15, 2012
  1. @BourgerieQuentin
Commits on Feb 14, 2012
  1. @OpaOnWindowsNow @BourgerieQuentin

    [fix] opatop: init lib with classic syntax

    OpaOnWindowsNow authored BourgerieQuentin committed
Commits on Feb 7, 2012
  1. @BourgerieQuentin
Commits on Jan 24, 2012
  1. @BourgerieQuentin

    [enhance] compiler: (big) Common path typing beetween several backend…

    BourgerieQuentin authored
    … + added some fix for compatibility
Commits on Dec 20, 2011
  1. [enhance] manpages: added manpage generator for opatop

    Mathieu Baudet authored
  2. [cleanup] build: shorter list of dependencies for opatop

    Mathieu Baudet authored
Commits on Sep 29, 2011
  1. [doc] opatop: disclaimers about experimental status

    François-Régis Sinot authored
  2. [fix] opatop: ignore package directives instead of failing

    François-Régis Sinot authored
Commits on Aug 10, 2011
  1. [feature] Database: making dblight compilation optional, depending on…

    Louis Gesbert authored
    … the support of Dbm in ocaml
    added some generic preprocessing in .mllib files so that this can be used for other optional dependencies too
  2. @nrs135

    [feature] Badop_light: Attempt at OPA integration (partially successf…

    nrs135 authored Louis Gesbert committed
Commits on Aug 8, 2011
  1. @fpessaux
Commits on Jul 29, 2011
  1. @fpessaux

    [cleanup] remove chars: compiler

    fpessaux authored François-Régis Sinot committed
Commits on Jul 7, 2011
  1. [cleanup] garbage: collecting some directives

    Valentin Gatien-Baron authored
Commits on Jul 1, 2011
  1. @fpessaux

    [cleanup] QML types: Removed test that never succeeded and moreover u…

    fpessaux authored
    …sed tags of TypeIdent.
    By the way, this test was useless because if it succeeded, the printer of the
    toplevel would have printed less precise information.
Commits on Jun 29, 2011
  1. @fpessaux

    [cleanup] AST: Merged Abstract and Extern tags of TypeIdent into 1 un…

    fpessaux authored
    …ique Extern.
    In fact, one implied the other, making ton of useless and confusing code. The
    aim in fine is to remove these tags from TypeIdents.
Commits on Jun 28, 2011
  1. @fpessaux
Commits on Jun 24, 2011
  1. @fpessaux
  2. @fpessaux

    [cleanup] qml level typer: Cleanup in obscure options never set.

    fpessaux authored
    By the way, removed optionnal arguments and put instead required with labels
    fot some pretty non-trivial arguments. However, experience shows that creation
    of the typer is always done with the same value for these arguments (gamma,
    annotmap and qml db scheme). I wonder if we should not internalize these
    parameters as fixed values of the typer creation function.
Commits on Jun 22, 2011
  1. [clean] most passes: removing @expanded_bypass

    Valentin Gatien-Baron authored
    not introduced anymore by BypassHoisting
Commits on Jun 21, 2011
  1. Initial open-source release

    MLstate authored
Something went wrong with that request. Please try again.